Bhaskar KrishnamachariUnderstanding Zero-Knowledge Proofs: Part 4— Polynomial CommitmentsIn part 2 of this series, we went over some basic mathematical background needed for cryptography, namely finite fields, cyclic groups, and…Jul 14, 2024Jul 14, 2024
Bhaskar KrishnamachariUnderstanding Zero-Knowledge Proofs: Part 5-Arithmetic Circuits and R1CSIn previous posts, we have looked at some basics of zero-knowledge proofs for privacy-sensitive verifiable computation. In part 4 we looked…Jul 14, 20242Jul 14, 20242
InDev GeniusbyLuis SoaresImplementing Zero Knowledge Multi-Party Computation in RustIn this tutorial, we explore the foundational concepts and practical implementation of a simplified zk-rollup-like system in Rust! 🦀Apr 10, 2024Apr 10, 2024
Bhaskar KrishnamachariUnderstanding Zero-Knowledge Proofs: Part 1— Verifiable Computation with zk-SNARKsIn my view, one of the most consequential developments in cryptography as well as distributed computing in the past decade has been the…Jul 14, 2024Jul 14, 2024
InCoinmonksbyLuis SoaresImplementing an Arithmetic Circuit Compiler in RustImplementing an arithmetic circuit compiler in Rust involves creating a system that can parse a polynomial expression, construct an…Jun 24, 2024Jun 24, 2024
InMatter LabsbyAlex GluchowskiOptimistic vs. ZK Rollup: Deep DiveIn-depth comparison of two most promising L2 approaches in Ethereum todayNov 4, 20194Nov 4, 20194
InVeridisebyVeridiseZK Security Workshop recap: Winners and presentationsLast year, from Oct 30th to Nov 3rd, 2023, we collaborated with Secureum to organize an online ZK Security Workshop. You can read the…Mar 25, 2024Mar 25, 2024
Crypto FairyUnder the hood of zkSNARKs — PLONK protocol: part 5Previous articles in the PLONK series served as preparations before we got our hands dirty and started implementing the protocol. Diving…Nov 19, 2023Nov 19, 2023
InBetter ProgrammingbyLaszlo FazekasUnderstanding Zero-Knowledge Proofs Through the Source Code of Tornado CashDive into the world of smart contracts with Zero-knowledge proofMar 7, 202212Mar 7, 202212
InJavaScript in Plain EnglishbyLaszlo FazekasZero-Knowledge Group Membership Management With the Semaphore ProtocolSemaphore is a zero-knowledge protocol enabling anonymous group membership proof and signaling that we can use for many things. Anonymous…Nov 12, 2023Nov 12, 2023
Crypto FairySangria: A PLONK-ish folding schemeFolding schemes are optimization techniques used by Zero Knowledge Proofs. They target two main areas: memory usage and proof generation…Feb 13, 2024Feb 13, 2024
Yu Jiang ThamBuilding a Zero Knowledge web app with Halo 2 and Wasm (part 1)In this two-part series, we’ll explore building a Zero Knowledge circuit using the Halo 2 zkSNARK proving system and subsequently how we…Apr 26, 2023Apr 26, 2023
