trifle-labs / anybody-problem
Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.
☆19Updated last month
Alternatives and similar repositories for anybody-problem:
Users that are interested in anybody-problem are comparing it to the libraries listed below
- ☆2Updated 10 months ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆16Updated 9 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated 9 months ago
- ☆17Updated last year
- Based on https://eprint.iacr.org/2022/1510☆24Updated 3 months ago
- Solidity contracts for a next-gen rollup system.☆63Updated 2 months ago
- Installation tooling for Noir☆25Updated this week
- Library and gadget to do regex string matches in halo2☆35Updated 6 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated last week
- Behold the almighty 🗿totem🗿☆17Updated 4 months ago
- ☆48Updated 10 months ago
- Using folding schemes for a provable bitcoin light client☆31Updated 8 months ago
- ☆33Updated last year
- A Noir's backend implementation using Gnark☆33Updated 10 months ago
- RLN circuits in Circom☆29Updated 6 months ago
- ☆34Updated last year
- WETH3074 is a new version of the WETH contract which utilizes EIP-3074 to avoid the need for wrapping/unwrapping. In essence it turns ETH…☆39Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- ☆39Updated 2 years ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 2 years ago
- Like Safe... but secret 🥷🏽☆57Updated 3 weeks ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 3 months ago
- PoC of Revm execution in SGX☆80Updated last year