voltrevo / mpc-framework
Create MPC apps with TypeScript.
☆32Updated 3 weeks ago
Alternatives and similar repositories for mpc-framework:
Users that are interested in mpc-framework are comparing it to the libraries listed below
- ZK Email in Noir☆62Updated last week
- A language for building arithmetic circuits based on TypeScript☆27Updated 3 weeks ago
- ☆65Updated 8 months ago
- ☆2Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆20Updated 4 months ago
- Email verification circuit in halo2☆68Updated 9 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Circom arithmetic circuits and concepts explained, in depth.☆26Updated 3 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- Poseidon hash function implemented in Solidity☆48Updated 7 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Public releases for the Valida toolchain☆16Updated 3 weeks ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- ZK proofs for image authenticity☆38Updated 2 weeks ago
- Proving physical interactions with digital signatures☆32Updated 8 months ago
- Provides tools for testing circom circuits.☆59Updated 2 weeks ago
- A PoC repo for a HyperNova impl☆83Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated 11 months ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆16Updated 3 months ago
- Solidity implementation of Nova proving system verifier☆60Updated last year
- ☆50Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ☆49Updated last year
- ☆38Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆50Updated 9 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year