jasonmorton

7 ms·

1.
by jasonmorton 1y ago
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 https://github.com/zkonduit/ezkl (our proj
2.
by jasonmorton 3y ago
You can ZK an XGBoost or neural net with https://github.com/zkonduit/ezkl
3.
by jasonmorton 3y ago
Here is the twitter thread providing an introduction and some background: https://twitter.com/ezklxyz/status/1712940546182774936
4.
Show HN: Turn ML/AI models into zero-knowledge proofs(github.com)
4 points by jasonmorton 3y ago|1 comments
5.
by jasonmorton 3y ago
> 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 universe, under some currently believed as
6.
by jasonmorton 3y ago
One can cryptographically prove the correct inference of a small AI model now with https://github.com/zkonduit/ezkl (our open-source package).
7.
by jasonmorton 3y ago
Our project proves AI model execution with cryptography, but without any trusted hardware (using zero-knowledge proofs): https://github.com/zkonduit/ezkl
8.
by jasonmorton 4y ago
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 people which they would trust for a rollup, most say ZK is t
9.
by jasonmorton 4y ago
Here are two good places to start: http://learn.0xparc.org/ https://www.youtube.com/playlist?list=PLj80z0cJm8QErn3akRcqv...
10.
by jasonmorton 4y ago
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 ). Speed and memory usage is improving q
11.
by jasonmorton 5y ago
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+ years ago.
12.
by jasonmorton 5y ago
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 document, no matter the recent version. Something went o
13.
by jasonmorton 6y ago
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 same sense, in that they were not authored by a re
14.
by jasonmorton 6y ago
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 autonomy in their education. It's a very nice com
15.
by jasonmorton 7y ago
Thanks, looks like this is: https://github.com/jitsi/jitsi-meet
16.
by jasonmorton 7y ago
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 doesn't have to support more than one or two vid
17.
by jasonmorton 7y ago
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.
18.
by jasonmorton 7y ago
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 your grant or assignment of copyright to them. The rules ar
19.
by jasonmorton 8y ago
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 "Berkeley Problems in Mathematics." It contains
20.
by jasonmorton 8y ago
12.15 on p 167 of http://cdn.batstrading.com/resources/regulation/rule_book/BA...
21.
by jasonmorton 8y ago
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 of the criminal cases involve finding an email or text messa
22.
by jasonmorton 8y ago
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 firm or exchange might detect or p
23.
by jasonmorton 9y ago
Interesting, why is that? Hedge fund returns certainly don't suffer from light speed issues (although missing data can be a problem).
24.
Bell's theorem-like effects from missing data and write skew(arxiv.org)
2 points by jasonmorton 9y ago|3 comments
25.
by jasonmorton 10y ago
Thank you, I will try these. I was looking at your repo but couldn't tell if it would work remotely.
26.
by jasonmorton 10y ago
Anyone know if there is any terminal + server side piece that, like terminology or iterm2, lets me inline plot in R, python over ssh? Linux or mac.
27.
by jasonmorton 10y ago
Imagine a distant future where advances in technology makes everyone fantastically wealthy in modern terms. Material goods are as cheap as digital storage feels now. What would spend money on in this utopia? My guess would be extending o
28.
by jasonmorton 10y ago
Right - would you rather rely on a theorem which the author claimed is true, but won't let you see the proof, or one where the proof is published and reviewed? That's the choice between closed and open source math software.
29.
by jasonmorton 11y ago
Among the interesting things about Ethereum is that they built a billion-dollar "company" in a totally nontraditional way. Instead of VC, they raised money in a presale, the developers have liquidity from the beginning, and none
30.
by jasonmorton 11y ago
This is almost exactly the singularity-igniting innovation described in the sci fi book "Avogadro Corp" by William Hertling.

More ›