Explore ZK scaling

Open expede opened this issue 4 years ago • 2 comments

Chained proofs rarely become extremely long in practice (except with RSA, but that's more on RSA). There are several ways around this problem, including moving proofs to a DHT, but SNARKs/STARKs seem like a fruitful possible future direction. Mainly noting down here since it's come up a bunch in conversations

Dec 01 '21 05:12 expede

Also thought about this approach. Definitely seems like the right direction for chained proofs!

Mar 24 '22 09:03 oed

This seems basically what we're talking about https://eprint.iacr.org/2022/878.pdf

Sep 17 '22 20:09 expede