trifle-labs / anybody-problemLinks
Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.
☆20Updated this week
Alternatives and similar repositories for anybody-problem
Users that are interested in anybody-problem are comparing it to the libraries listed below
Sorting:
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆2Updated last year
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- Behold the almighty 🗿totem🗿☆18Updated 8 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- ☆33Updated last year
- RLN circuits in Circom☆30Updated 10 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆36Updated 2 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- Verify JWTs using SNARK circuits☆28Updated 10 months ago
- ☆21Updated 3 months ago
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- ☆13Updated 2 weeks ago
- Axiom smart contracts☆26Updated last year
- wip pod2 & spec☆12Updated this week
- ☆16Updated 3 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Proving shortest paths with recursive SNARKs☆12Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Body horror fulfilment center simulator☆25Updated 8 months ago
- ☆34Updated last year
- Provides tools for testing circom circuits.☆59Updated last week
- Based on https://eprint.iacr.org/2022/1510☆26Updated 7 months ago
- Like Safe... but secret 🥷🏽☆60Updated 5 months ago
- ☆18Updated 9 months ago
- A Noir circuit that mimics Solidity's ecrecover☆52Updated 6 months ago
- wipppp☆17Updated 3 years ago