Hacker News with Generative AI: Zero-Knowledge Proofs

Show HN: I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust (github.com/Dyslex7c)
This project is a custom implementation of the Groth16 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zkSNARK) protocol, built from the ground up using fundamental cryptographic principles in Rust.

Cryptography, Rust, Zero-Knowledge Proofs

6 points by furfural 32 days ago | 3 comments

SP1: A performant, 100% open-source, contributor-friendly zkVM (succinct.xyz)
We’re excited to announce Succinct Processor 1 (SP1): our first-generation zero-knowledge virtual machine (zkVM) that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs.

Zero-Knowledge Proofs, Open Source, Virtual Machines, Rust, Programming Languages

81 points by plastic3169 41 days ago | 47 comments

Cryptography, Programming, Zero-Knowledge Proofs

281 points by oskarth 141 days ago | 165 comments

Zero-Knowledge Proofs, Cryptography, Blockchain, Privacy, Scaling

12 points by SkyMarshal 214 days ago | 3 comments