Technical educational content related to ZK, cryptography, and blockchains.
Technical content
The Sumcheck protocol is an efficient tool to develop succinct arguments. It is relied upon by many proof systems, such as Lasso/Jolt by a16z crypto, HyperPlonk, Binius, Spartan, and GKR. Sumcheck was first proposed by Lund, Fortnow, Karloff, & Nisan in 1992. The sumcheck protocol is an interactive protocol
Technical content
SNARKs have gained considerable attention recently due to their broad utility in areas such as blockchain scalability, identity mechanisms, verifiable machine learning, and fighting against misinformation and fake news. We see new developments daily, but SNARKS have been around for a long time. SNARKs allow one party, the prover, to
Technical content
Authors: Roberto Catalán and Federico Carrone Bridges are generally insecure and economically inefficient. They exhibit an asymmetry between users and bridge operators, where users can easily lose funds. We propose a bridge design that is simple, modular, and utilizes multi-storage proofs and the native messaging system between Ethereum and Layer