Introducing SNAIL
Verifiable computation at 1.2-1.3x the speed of native execution*, more than 10,000x faster than state-of-the-art SNARKs
* for e.g. typical zkVM computations
Verifiable computation at 1.2-1.3x the speed of native execution*, more than 10,000x faster than state-of-the-art SNARKs
* for e.g. typical zkVM computations
The protocol uses no cryptography beyond hashing for Fiat-Shamir.
Paper:
Write me here or at ole@repyhlabs.com for any questions, corrections, or feedbackeprint.iacr.org/2025/728
Paper:
Write me here or at ole@repyhlabs.com for any questions, corrections, or feedbackeprint.iacr.org/2025/728
• • •
Missing some Tweet in this thread? You can try to
force a refresh
