personaelabs / heyanon-v1Links
Enabling credibly pseudonymous posting @ heyanon.xyz
☆31Updated 2 years ago
Alternatives and similar repositories for heyanon-v1
Users that are interested in heyanon-v1 are comparing it to the libraries listed below
Sorting:
- Circuits used by heyanon☆21Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆17Updated last year
- ZK Erdos Numbers using recursive SNARKs☆80Updated 2 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆90Updated 2 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Updated 2 years ago
- ☆17Updated 3 years ago
- My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome☆67Updated 3 years ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆48Updated 5 months ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆22Updated last week
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- ☆46Updated 3 years ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- ☆34Updated last year
- Trustless BTC-ETH exchange.☆28Updated 2 years ago
- Axiom smart contracts☆26Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- notes for community call for ZKML Community☆12Updated 2 years ago
- ☆47Updated 3 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- World ID Example. Create an airdrop of ERC-20 tokens that can only be claimed once by a single human. Completely privacy preserving.☆23Updated 2 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Jupyter kernel for Cairo smart contract language☆32Updated 3 years ago
- Privacy preserving governance mechanism using zero knowledge for proof of merkle inclusion.☆22Updated 3 years ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- ☆17Updated 2 years ago
- Breathe air☆25Updated last year
- A set of librairies in Cairo for use on StarkNet☆41Updated 3 years ago