MynaWallet / monorepo
☆16Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for monorepo
- A circuit to verify the voice recovery process.☆49Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- ☆37Updated 10 months ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- ☆15Updated 9 months ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- RLN circuits in Circom☆29Updated 4 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- ☆46Updated 8 months ago
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year
- Honk Verifier in Solidity☆49Updated last month
- Axiom smart contracts☆27Updated last year
- ☆12Updated 10 months ago
- ☆34Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- ☆18Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- ☆39Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆32Updated 11 months ago
- RSA verification circuit using halo2 library.☆56Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 7 months ago
- ☆34Updated this week
- Noir implementation of RSA-verify☆41Updated 11 months ago
- BFV implementation in Python☆23Updated 4 months ago
- Behold the almighty 🗿totem🗿☆17Updated 2 months ago
- Batch ECDSA in circom☆32Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago