privacy-scaling-explorations / circom-ecdsa-p256
Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom
☆13Updated last year
Alternatives and similar repositories for circom-ecdsa-p256:
Users that are interested in circom-ecdsa-p256 are comparing it to the libraries listed below
- Hashing circuits implemented in circom☆14Updated this week
- ☆2Updated 10 months ago
- ☆61Updated 10 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Updated 10 months ago
- BFV implementation in Python☆24Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- Include halo2 example circuits☆86Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆44Updated last week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆12Updated 9 months ago
- Poseidon hash function implemented in Solidity☆44Updated 5 months ago
- Provides tools for testing circom circuits.☆56Updated 7 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆35Updated last year
- ☆48Updated this week
- zero knowledge proof aggregator for general circuit☆71Updated 8 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 10 months ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆39Updated last year
- A monorepo of reusable Circom circuits.☆22Updated last week
- Circuits library for matrix operations in circom☆32Updated 7 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 4 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- Verifiable FHE with GKR☆25Updated 3 months ago
- ☆20Updated last year
- SHA512 Circom circuits☆15Updated 2 years ago
- ☆88Updated 5 months ago
- Zero Knowledge Proof for RSA☆55Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- ☆38Updated last year