Viewing profile — jasonmorton

This lets you verify the signature on the model. It won’t help you tell that a decision came from that model. If you want to verify the inference that a model makes, check out http…

You can ZK an XGBoost or neural net with https://github.com/zkonduit/ezkl

Here is the twitter thread providing an introduction and some background: https://twitter.com/ezklxyz/status/1712940546182774936

Compile almost any pytorch, tensorflow, and sklearn code into fast zero-knowledge circuits with corresponding wasm or on-chain verifiers. Ezkl aims to be the simplest way to run ML…

> Checking the work takes the same resources as doing the work. > As much as this would be wonderful in a universe where it's possible, it's simply not possible. We do live in that…

One can cryptographically prove the correct inference of a small AI model now with https://github.com/zkonduit/ezkl (our open-source package).

Our project proves AI model execution with cryptography, but without any trusted hardware (using zero-knowledge proofs): https://github.com/zkonduit/ezkl

There are definitely certain scenarios, especially around verifiable compute, in which you can think of ZK as a software alternative to a secure enclave. Interestingly, if you ask …

Here are two good places to start: http://learn.0xparc.org/ https://www.youtube.com/playlist?list=PLj80z0cJm8QErn3akRcqv...

Examples include the various zkEVM projects, risc0, and slightly more limited stuff like our effort to compile PyTorch/ONNX to a zk circuit ( https://github.com/zkonduit/ezkl ). Sp…

Not OP, but for me adding or deleting a character in the middle of a paragraph in a latex doc hangs for maybe .5s or more, often. This is a fairly new phenomenon, never happened 2+…

I've been using emacs for many years now, and I'm sad to say that it has never been slower, despite the hardware getting better. Now it lags like crazy when editing a latex documen…

Many ads are not clicked on by a real person, but a bot, or someone clicking ads as fast as possible because it is their job. Many comments would be considered "fraudulent" in the …

We've been working with Modulo as well; the experience is excellent and is constantly adapting to make it work for our kids, rather than imposing a formula. They enjoy having some …

Thanks, looks like this is: https://github.com/jitsi/jitsi-meet

Can anyone recommend a good open-source chat and call solution? I'm looking for something I can run on my own server to support friends and family, with an iOS and Android app. It …

There are some high-quality open access journals (e.g. https://www.emis.de/journals/SIGMA/ ) that don't charge authors. They use arxiv overlay. It is entirely possible.

Copyright assignments made by authors can be cancelled [1]. For papers and books from before 1994 or so (25 years from present), you can write a letter to the publisher cancelling …

Here is a proven approach for at least the first part, building foundations and being ready for graduate work. Many Berkeley Ph.D. students passed through this route. Get the book …

12.15 on p 167 of http://cdn.batstrading.com/resources/regulation/rule_book/BA...

Yes, it seems like intent is important, but in some cases (e.g. the BATS rule), no intent is needed. There are statistical properties that indicate intent, but it seems like most o…

Here https://drive.google.com/file/d/0Bzu6iGPza2s9amFURTFzenRWVGg... are some slides from a talk I gave last year at Strata about what spoofing and layering is, and how a trading f…

Interesting, why is that? Hedge fund returns certainly don't suffer from light speed issues (although missing data can be a problem).

Thank you, I will try these. I was looking at your repo but couldn't tell if it would work remotely.