zk-kit / zk-kit.solidityLinks
A monorepo of reusable contracts for zero-knowledge technologies.
☆19Updated 7 months ago
Alternatives and similar repositories for zk-kit.solidity
Users that are interested in zk-kit.solidity are comparing it to the libraries listed below
Sorting:
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Axiom smart contracts☆26Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆50Updated last year
- storage proof made by sp1☆25Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆28Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- RLN circuits in Noir☆13Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Updated 2 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- Base64 encoding for Aztec's noir language☆16Updated 2 years ago
- ☆27Updated 2 years ago
- Like Safe... but secret 🥷🏽☆63Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated 2 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- rust types and services for Zenith 🎀☆29Updated 10 months ago
- Ethereum stateless tools☆45Updated 9 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 11 months ago
- This rollup will only let you click the cookie☆21Updated 2 years ago
- Remote Attestation VErification☆35Updated last year
- Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem☆23Updated 2 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Updated 7 months ago
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated 2 years ago