Pratyush Mishra
@zkproofs.bsky.social
Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Pleading with fascists to only target the "bad" people has famously worked before, right Scott?
Shameful writing.
Shameful writing.
February 10, 2025 at 5:58 PM
Pleading with fascists to only target the "bad" people has famously worked before, right Scott?
Shameful writing.
Shameful writing.
We implement our schemes with SSDs as the external memory. Our prover incurs minimal overhead (<35%) over the memory-intensive HyperPlonk, while requiring ~2GB RAM even for circuits of size 2^28. (Of course, this requires large SSDs, but these are much cheaper than RAM!) (4/4)
December 7, 2024 at 10:39 PM
We implement our schemes with SSDs as the external memory. Our prover incurs minimal overhead (<35%) over the memory-intensive HyperPlonk, while requiring ~2GB RAM even for circuits of size 2^28. (Of course, this requires large SSDs, but these are much cheaper than RAM!) (4/4)
We design linear-time RW streaming algorithms for many SNARK building blocks, including various PIOPs (eg. sumcheck) & PC schemes. We compose these to obtain a linear-time prover for the HyperPlonk SNARK.(Known read-only streaming SNARKs require quasilinear time) (3/4)
December 7, 2024 at 10:39 PM
We design linear-time RW streaming algorithms for many SNARK building blocks, including various PIOPs (eg. sumcheck) & PC schemes. We compose these to obtain a linear-time prover for the HyperPlonk SNARK.(Known read-only streaming SNARKs require quasilinear time) (3/4)
Excited to share our new work, Scribe!
Scribe is a new low-memory SNARK that is able to prove arbitrarily-large circuits while using minimal memory.
Joint work with my excellent student coauthors Anubhav, Tushar, Karan, and Steve. (1/4)
Link: eprint.iacr.org/2024/1970
Scribe is a new low-memory SNARK that is able to prove arbitrarily-large circuits while using minimal memory.
Joint work with my excellent student coauthors Anubhav, Tushar, Karan, and Steve. (1/4)
Link: eprint.iacr.org/2024/1970
December 7, 2024 at 10:39 PM
Excited to share our new work, Scribe!
Scribe is a new low-memory SNARK that is able to prove arbitrarily-large circuits while using minimal memory.
Joint work with my excellent student coauthors Anubhav, Tushar, Karan, and Steve. (1/4)
Link: eprint.iacr.org/2024/1970
Scribe is a new low-memory SNARK that is able to prove arbitrarily-large circuits while using minimal memory.
Joint work with my excellent student coauthors Anubhav, Tushar, Karan, and Steve. (1/4)
Link: eprint.iacr.org/2024/1970
Kind of on point, except for the painting part =P
December 4, 2024 at 6:33 AM
Kind of on point, except for the painting part =P
Bluesky now has over 10 million users, and I was #22,044!
September 17, 2024 at 11:35 AM
Bluesky now has over 10 million users, and I was #22,044!