Kryha / zk-states
Verifiable state manager for React based on o1js & Mina protocol
☆10Updated last year
Related projects: ⓘ
- A circuit to verify the voice recovery process.☆47Updated last year
- Smart contracts for the Telepathy protocol☆73Updated 5 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆48Updated 3 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆45Updated last year
- BYOR - Build Your Own Rollup☆57Updated 8 months ago
- ☆13Updated 10 months ago
- Simple module to control a Safe via crosschain calls with Hashi☆28Updated 3 months ago
- A collection of resources for the dojo ecosystem☆26Updated last month
- 🔒💬 A protocol for credible commitments.☆73Updated 7 months ago
- zkSNARK circuits for the Telepathy protocol☆49Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆21Updated this week
- Solidity contracts for a next-gen rollup system.☆57Updated last week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆71Updated this week
- ☆37Updated 11 months ago
- Sindri Zero-Knowledge Proof CLI☆15Updated this week
- Javascript library implementing common utilities for zkevm☆20Updated this week
- Cross-zk-rollup aggregation☆59Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated last week
- Noir implementation of BattleZips circuits☆27Updated last year
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- ☆48Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- Simple contract modifier to add the ability to rate limit humans on any smart contract function call.☆17Updated last year
- Anonymous Proof of Ethereum Address Ownership☆36Updated this week
- Email verification circuit in halo2☆62Updated 2 months ago
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- ☆47Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A repo of example Noir projects.☆35Updated 4 months ago