InternetMaximalism / plasma-next
Plasma Next
☆34Updated 5 months ago
Related projects: ⓘ
- A circuit to verify the voice recovery process.☆47Updated last year
- ☆40Updated 5 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆43Updated 10 months ago
- webmax is intmaxwallet signer library.☆24Updated last year
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆114Updated this week
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆89Updated last year
- BFV implementation in Python☆21Updated 2 months ago
- ☆17Updated last year
- The Ethereum Rollup Improvement Proposal repository☆95Updated last month
- Email verification circuit in halo2☆62Updated 2 months ago
- Zero Knowledge Provable JSON☆38Updated 3 months ago
- My personal notebook for various zk-related topics☆47Updated 5 months ago
- Hello World AVS☆58Updated this week
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- A user of on-chain apps can authenticate that the user is a correct holder of the specific email address and authorize anything described…☆37Updated this week
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Poseidon hash function implemented in Solidity☆40Updated last month
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆76Updated last week
- ☆48Updated last year
- ☆20Updated last week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆65Updated this week
- Concrete is a framework for building application-specific rollups on the OP Stack☆47Updated last week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆71Updated this week
- SUAVE Application Examples☆54Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆62Updated this week
- ☆53Updated last year
- A testing & development environment for Circom.☆93Updated last week
- ☆58Updated last month
- The Slush SDK allows you to spin up L3s on Starknet☆69Updated last year