Halo and more: exploring incremental verification and SNARKs without pairings

from blog Vitalik Buterin's website, | ↗ original
This post cannot be viewed on Minifeed. ↗ Open original

Related

Snark, Chord, and Trust in Algorithms
Marc Brooker's Blog | original ↗
Finite-State Machines, Part 1: Modeling with Haskell Data Types
Oskar Wickström | original ↗
Swiftly Up to Speed: The Power of Swift Types
matt.sh | original ↗
Logic Colloquium 2005 Day 2
Home on consequently.org | original ↗
Hashed classes in CSS
CSS Wizardry | original ↗
An introduction to vectorization
cr.yp.to blog | original ↗
Some small suggestions for the Intel instruction set
cr.yp.to blog | original ↗
An alias-based formulation of the borrow checker
baby steps | original ↗
bootstrapping: the once and future compiler
the website of jyn | original ↗
Relevant Restricted Quantification
Home on consequently.org | original ↗

More from Vitalik Buterin's website

d/acc: one year later
5 Jan 2025 | original ↗
What I would love to see in a wallet
3 Dec 2024 | original ↗
From prediction markets to info finance
9 Nov 2024 | original ↗
Possible futures of the Ethereum protocol, part 6: The Splurge
29 Oct 2024 | original ↗
Possible futures of the Ethereum protocol, part 5: The Purge
26 Oct 2024 | original ↗