nalinbhardwaj / isokratia
Infinitely Compressible Governance using Recursive SNARKs
☆31Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for isokratia
- ☆39Updated 2 years ago
- Axiom smart contracts☆27Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆17Updated last year
- A minimal example of recursion in Noir.☆11Updated last year
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 6 months ago
- ☆34Updated last year
- Honk Verifier in Solidity☆49Updated last month
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated 11 months ago
- Behold the almighty 🗿totem🗿☆17Updated 2 months ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Make compressed 4337 bundles swole again☆46Updated 5 months ago
- ☆31Updated 8 months ago
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 9 months ago
- ☆18Updated 2 years ago
- A simple merkle distributor written in Cairo☆37Updated 2 years ago
- Like Safe... but secret 🥷🏽☆52Updated last week
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- ☆34Updated 2 months ago
- ☆10Updated last year
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Decentralized Summation System☆45Updated 2 years ago
- Circuits, written in circom, for Proof Of Solvency☆26Updated last year
- wipppp☆17Updated 2 years ago