axiom-crypto / axiom-apps
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for axiom-apps
- Axiom smart contracts☆27Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- ☆39Updated 2 years ago
- ☆28Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- ☆31Updated 8 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- ☆18Updated 2 years ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- bn254 pairing library for Cairo Zero☆26Updated last year
- ☆28Updated 2 years ago
- ☆32Updated 10 months ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 2 months ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- storage proof made by sp1☆24Updated 2 months ago
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- ☆19Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 7 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago