crema-labs / aes-circomLinks
Generic AES Implementation in Circom
☆25Updated last year
Alternatives and similar repositories for aes-circom
Users that are interested in aes-circom are comparing it to the libraries listed below
Sorting:
- ECDSA P384 implementation for circom☆17Updated last year
- Circom ASN.1 Parser☆20Updated last year
- banyan's hot on-chain data storage zk proofs☆14Updated 8 months ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆28Updated 5 months ago
- A Swiss knife for Noir☆16Updated last week
- The first CHIP-8 zkvm☆21Updated last year
- Noir library to verify JWT tokens, and prove claims.☆32Updated last month
- Circuits for Pluto's `web-prover`☆25Updated 9 months ago
- ☆59Updated last month
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Updated last month
- ☆24Updated 10 months ago
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆44Updated 4 months ago
- RLN circuits in Noir☆13Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- ☆50Updated last year
- A monorepo for vOPRF-based secure nullifiers☆19Updated 9 months ago
- client side proving☆39Updated 10 months ago
- Semaphore Protocol with Noir.☆11Updated 10 months ago
- Extracting the semantics of Noir to Lean for formal verification☆35Updated last week
- Circom AES-GCM circuits☆33Updated 2 months ago
- Verify JWTs using SNARK circuits☆29Updated last year
- Compiler framework for ZK VMs☆35Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆17Updated last year
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆21Updated 4 months ago
- Hashing circuits implemented in circom☆27Updated last year
- ☆31Updated 3 months ago
- Noir implementation of RSA-verify☆43Updated 2 years ago
- Verifiable FHE with GKR☆27Updated last year
- halo2-lib-eddsa☆11Updated last year