Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak
(wordpress.com)
We published our video on zero-knowledge proofs!
We published our video on 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.
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.
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.
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.