Electron-Labs / aes-circomLinks
AES-GCM implementation in Circom
☆38Updated 2 years ago
Alternatives and similar repositories for aes-circom
Users that are interested in aes-circom are comparing it to the libraries listed below
Sorting:
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- ☆50Updated 2 weeks ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated 3 weeks ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Provides tools for testing circom circuits.☆61Updated 2 weeks ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- ☆94Updated 10 months ago
- Zero Knowledge Proof for RSA☆55Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆2Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 6 months ago
- Hashing circuits implemented in circom☆22Updated 5 months ago
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆95Updated last week
- keccak256 hash implementation in Circom☆80Updated 3 years ago
- ☆23Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Solidity implementation of Nova proving system verifier☆63Updated last year
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- ☆132Updated 3 years ago
- DPC with Universal Setup☆46Updated 2 years ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆14Updated last year
- ☆51Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- A minimal KZG polynominal commitment library with a Solidity verifier☆71Updated last year
- SHA512 Circom circuits☆15Updated 2 years ago
- ED25519 implementation in Circom☆116Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- polynomial commitments from linear codes☆45Updated 6 months ago