Pinned Loading

1. halo2-rsa halo2-rsa Public

   RSA verification circuit using halo2 library.

   Rust 56 14

2. halo2-dynamic-sha256 halo2-dynamic-sha256 Public

   Forked from dan-da/halo2_sha256

   SHA256 verification circuit in halo2 supporting dynamic length input.

   Rust 6 7

3. circuit_converters circuit_converters Public

   Convert various types of boolean/arithmetic circuits to a specified format.

   Rust 1

4. rust-searchable-pke rust-searchable-pke Public

   Forked from atulmahind/PEKS

   Rust library of Public Key Searchable Encryption schemes.

   Rust 2 1

5. vdf_for_ethereum vdf_for_ethereum Public

   Forked from ZenGo-X/vdf

   Simple RSA VDF in Rust

   Rust 1

6. rust-paillier rust-paillier Public

   Forked from mortendahl/rust-paillier

   A pure-Rust implementation of the Paillier encryption scheme

   Rust 2