0xturboblitz / totemLinks
Behold the almighty πΏtotemπΏ
β18Updated 10 months ago
Alternatives and similar repositories for totem
Users that are interested in totem are comparing it to the libraries listed below
Sorting:
- β2Updated last year
- Verify a chain of x509 certificates in halo2β31Updated last year
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot β¦β41Updated 2 years ago
- Honk Verifier in Solidityβ50Updated 9 months ago
- barretenburg in rust (here we go)β98Updated last year
- A monorepo of reusable Noir circuits.β43Updated last week
- Nova Verifier in Circom so it can be verified onChainβ58Updated 2 years ago
- β31Updated last year
- Infinitely Compressible Governance using Recursive SNARKsβ31Updated 2 years ago
- β61Updated last year
- a noir library for multiparty computation primitivesβ18Updated last week
- BigInt library for Aztec's noir languageβ32Updated last year
- β38Updated last year
- Share private EVM state attestations using STARK proofsβ73Updated 3 years ago
- β24Updated this week
- Noir library to verify JWT tokens, and prove claims.β28Updated 3 months ago
- β18Updated 3 months ago
- PoC of Revm execution in SGXβ80Updated last year
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)β17Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chainβ39Updated 2 years ago
- bn254 pairing library for Cairo Zeroβ26Updated 2 years ago
- Axiom smart contractsβ26Updated 2 years ago
- Library and gadget to do regex string matches in halo2β35Updated last year
- Generate a zero-knowledge proof for a SHA1 pre-image.β12Updated last year
- β70Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.β90Updated 2 years ago
- Noir implementation of RSA-verifyβ43Updated last year
- Export Circom verifier to Cairoβ49Updated 3 years ago
- RLN circuits in Circomβ30Updated last year
- Circuits, written in circom, for Proof Of Solvencyβ26Updated 2 years ago