Popular repositories Loading

1. halo2-rsa halo2-rsa Public

   Forked from SoraSuegami/halo2-rsa

   RSA verification circuit using halo2 library.

   Rust

2. study_halo2 study_halo2 Public

   Rust

3. gevulot gevulot Public

   Forked from gevulotnetwork/gevulot

   Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.

   Rust

4. sumcheck-rs sumcheck-rs Public

   sumcheck protocol implementation in rust

   Rust

5. bigint-range-proof bigint-range-proof Public

   This repository implements range proofs for big integers using the zkVM (zero-knowledge virtual machine).

   Rust