Alternatives

Products that do what I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust does

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…

1. 1RL
   Risp – Lisp in Rust▲314

   2019 · m.stopa.io

2. 2CA
   Cannoli – A compiler for a subset of Python written in Rust▲292

   2018 · github.com

3. 3AF
   A first project in Rust – in-memory order book▲91

   2020 · github.com

4. 4FA
   fcp – A significantly faster alternative to cp(1), written in Rust▲88

   2021 · github.com

5. 5AT
   Askama – Type-safe, compiled Jinja-like templates for Rust▲82

   2017 · github.com

6. 6SD
   Sonyflake – distributed unique ID generator implemented in Rust▲66

   2020 · github.com

7. 7RI
   Rust Implementation of Conway's Game of Life▲76

   2020 · github.com

8. 8RS
   Rust-starter, a boilerplate to build Rust CLI applications▲97

   2021 · github.com

9. 9OT
   Ockam – Tools for end-to-end encryption, in Rust▲10

   2021 · github.com

10. 10RB
    Rust built open-sourced CLI tool for API specification validation▲23

    2022 · github.com

11. 11CP
    CryptoProof – post proofs to the Ethereum blockchain for free▲55

    2018 · cryptoproof.org

12. 12ZV
    ZK Visualizer – I built this while learning zero-knowledge proofs▲5

    I was learning ZK proofs and found that visualizing things really helped me understand them. Noticed there aren't many interactive visualizations out there, so I built one. Here's the first version: zkvisualizer.com It walks through the full pipeline step by step (Problem → Circuit → R1CS → Polynomials → Witness → Proof → Verification) with real Groth16 proofs generated in your browser using snarkjs. You can toggle between what the prover knows vs what the verifier sees, and there's a tamper detection demo where you can watch verification fail. This is still very early on, but I would be…

    Jan 2026 · zkvisualizer.com

13. 13EA
    Encrusted – A Zork Interpreter Written in Rust / WebAssembly▲6

    2018 · sterlingdemille.com

14. 14AF
    A formally verified native Delta Lake implementation in Rust▲8

    2022 · github.com

15. 15LA
    Lambash, a WIP λ-Calculus Unix Shell Written in Rust▲7

    2019 · github.com

16. 16AF
    A fast lines-of-code counter written in Rust▲26

    2016 · github.com

17. 17AT
    `argon2rs`, the pure Rust password hashing library▲5

    2016 · github.com

18. 18ZO
    Zero-overhead compile-time builder pattern for Rust▲9

    2025 · github.com

19. 19IC
    I Created a Rust Crate to Handle KMP (Knuth-Morris-Pratt Algorithm)▲9

    Please tell me your opinion

    2024 · crates.io

20. 20SA
    Spaik, a Lisp compiler/VM with a moving GC written in Rust▲5

    2021 · github.com

21. 21TA
    Tokei, a fast command line code counter written in Rust▲10

    2018 · github.com

22. 22AR
    A REPL for practising bitwise operations, written in Rust▲5

    2017 · github.com

23. 23SE
    Secure end-to-end client sessions and API calls using crypto key pairs▲9

    Hello. I made this project as an experiment in using key cryptography for user identity in a client server model, and for some future peer to peer projects that I am working on. I am looking for feedback, please let me know what you think. Also, Merry Christmas to HN! :-)

    2022 · github.com

24. 24HA
    Hekate – A Zero-Copy ZK Engine Overcoming the Memory Wall▲8

    Most ZK proving systems are optimized for server-grade hardware with massive RAM. When scaling to industrial-sized traces (2^20+ rows), they often hit a "Memory Wall" where allocation and data movement become a larger bottleneck than the actual computation. I have been developing Hekate, a ZK engine written in Rust that utilizes a Zero-Copy streaming model and a hybrid tiled evaluator. To test its limits, I ran a head-to-head benchmark against Binius64 on an Apple M3 Max laptop using Keccak-256. The results highlight a significant architectural divergence: At 2^15 rows: Binius64 is faster…

    Jan 2026

Ranked by how close each launch is in meaning, then by votes. Refine with a description →