← Latest products

I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust

Implementation of Groth16 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge Protocol using Rust. I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust.

Open source

8 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Chaum Pedersen ZK Protocol Using gRPC

    github.com

    Chaum Pedersen zero-knowledge protocol over gRPC in Rust

    Hacker News10 pts

  2. CambiOS

    github.com

    a new Rust-based, sovereign identity, zero-trust OS

    Hacker News8 pts

  3. zkGolf

    zk.golf

    Competitive optimization of formally verified circuits

    Hacker News69 pts

  4. Hekate

    news.ycombinator.com

    A Zero-Copy ZK Engine Overcoming the Memory Wall

    Hacker News8 pts

  5. Hacker News API SDKs → Code Generation in Rust

    hacker-news.sideko.dev

    We built an SDK / Documentation generator for REST APIs.

    Hacker News39 pts