InVeridisebyVeridiseZK Fundamentals: What is a proof?This is the first article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.Oct 27, 20231Oct 27, 20231
InVeridisebyVeridiseZK Fundamentals: Interactive ProofsThis is the second article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.Nov 9, 2023Nov 9, 2023
InVeridisebyVeridiseZK Fundamentals: Zero-Knowledge ProofsThis is the third article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.Dec 1, 2023Dec 1, 2023
InVeridisebyVeridiseZK Fundamentals: The Fiat-Shamir TransformToday we explore interactive ZK proofs without interactionDec 22, 2023Dec 22, 2023
InVeridisebyVeridiseZK Fundamentals: SuccinctnessThis is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.Jan 12, 20241Jan 12, 20241
InVeridisebyVeridiseZK Fundamentals: Intermediate RepresentationsWe cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)Feb 2, 2024Feb 2, 2024
InVeridisebyVeridiseZK Fundamentals: Proof SystemsWe cover Interactive Proofs (IP), Probabilistically Checkable Proofs (PCPs), Linear PCPs, Multi-prover Interactive Protocols (MIPs), and…Feb 21, 2024Feb 21, 2024
