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

Hacker News

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. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved. Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient. I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make this a practical ZK verifier. Let me know what you think! Happy to answer questions about the design, challenges, or ZK cryptography in general.

Visit product View on Hacker NewsDec 17, 2024

Share card

Actual performance

6points

3comments

Did not reach leaderboard

Launch Intel predictions

Analyze your own launch →

Indie HackersFits the IH revenue-focused audience · Missing: supports, reddit linkedin, podcasting

71%71% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.

best fitHighest predicted score across all platforms for this description.

Product HuntOn track for Day 1 leaderboard · Strong signals: using, code · Missing: mac, agents, macos

53%53% predicted probability of success on Product Hunt, based on ML models trained on real launch data.

Hacker NewsStrong engagement from HN community · Strong signals: ide, io · Missing: https docs, excited, just released

53%53% predicted probability of success on Hacker News, based on ML models trained on real launch data.

nativeThis product was originally launched on this platform.

TrustMRRLess likely to generate early MRR · Strong signals: way · Missing: mobile apps, ios, personal

45%45% predicted probability of success on TrustMRR, based on ML models trained on real launch data.

AppSumoMay struggle as an AppSumo deal · Strong signals: efficient · Missing: plus, platform, intuitive

40%40% predicted probability of success on AppSumo, based on ML models trained on real launch data.

Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue

17%17% predicted probability of success on Acquire.com, based on ML models trained on real launch data.

BetaListMay not resonate with beta-testers · Strong signals: crypto · Missing: web3, chat, cryptocurrency

0%0% predicted probability of success on BetaList, based on ML models trained on real launch data.

Incorrect prediction on native model

Similar products

Rust Database from Scratch70%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Rust Database from Scratch

Hacker News8

Aurea, a lossy image codec I built from scratch that beats JPEG (Rust)62%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Aurea, a lossy image codec I built from scratch that beats JPEG (Rust)

Hacker News4

How to Annoy Your Coworkers for $42 Using ClojureScript and Rust47%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

How to Annoy Your Coworkers for $42 Using ClojureScript and Rust

Hacker News74

Built a blog using Rust and Axum51%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Built a blog using Rust and Axum

Hacker News7

I launched Claritask (built from scratch in the open; not a programmer)60%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

I launched Claritask (built from scratch in the open; not a programmer)

Hacker News15

NOVAInetwork45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

AI-native Layer 1 blockchain built from scratch in Rust

Indie Hackers1ai

Emulating aarch64 in software using JIT compilation and Rust48%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Emulating aarch64 in software using JIT compilation and Rust

Hacker News2

Merkle proof in the context of a blockchain from scratch49%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Merkle proof in the context of a blockchain from scratch

Hacker News1

Nested VMs from Scratch in C66%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Nested VMs from Scratch in C

Hacker News4

A debugger from scratch – part 166%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

A debugger from scratch – part 1

Hacker News3

Browse all products Analyze your launch