axiom-crypto / axiom-sdk-core
Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
☆36Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for axiom-sdk-core
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- ☆60Updated 4 months ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- Axiom smart contracts☆27Updated last year
- Bridge aTokens to Starknet☆44Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- ☆34Updated last year
- ☆41Updated 7 months ago
- ☆30Updated 3 weeks ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- ☆37Updated 10 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- Email verification circuit in halo2☆63Updated 4 months ago
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆56Updated 7 months ago
- Honk Verifier in Solidity☆49Updated last month
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 9 months ago
- A collection of works discussing the security aspects of StarkNet☆39Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Symbiotic Core smart contracts☆36Updated this week
- Noir implementation of RSA-verify☆41Updated 11 months ago