zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
☆128Jun 13, 2023Updated 3 years ago
Alternatives and similar repositories for zkinterface
Users that are interested in zkinterface are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ZkInterface WebAssembly☆13Jan 5, 2023Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- A Rust library for building R1CS gadgets☆93Oct 14, 2021Updated 4 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆325Jan 18, 2024Updated 2 years ago
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆194Nov 27, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Library for programming zk-SNARKs directly in Python☆193Jun 9, 2024Updated 2 years ago
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆118Oct 19, 2021Updated 4 years ago
- ☆117Aug 6, 2021Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated 2 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆61May 19, 2023Updated 3 years ago
- zk-SNARK library.☆1,123Feb 25, 2026Updated 4 months ago
- zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier)☆262Jun 13, 2021Updated 5 years ago
- ☆124Nov 30, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆865Oct 15, 2025Updated 9 months ago
- Implementation of the Jubjub elliptic curve group☆122Feb 25, 2026Updated 4 months ago
- ZKProofs website☆91Oct 25, 2023Updated 2 years ago
- Decentralised Voting Scheme☆17Dec 5, 2021Updated 4 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 5 years ago
- ☆15Jul 8, 2021Updated 5 years ago
- Nova: High-speed recursive zero-knowledge arguments from folding schemes☆856Jun 19, 2026Updated last month
- C++ elliptic curve library☆135Mar 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Curve ecGFp5☆71Mar 31, 2022Updated 4 years ago
- ☆10Jan 11, 2022Updated 4 years ago
- ☆114Feb 6, 2024Updated 2 years ago
- C++ library for IOP-based zkSNARKs☆182Jan 12, 2024Updated 2 years ago
- Libra zero knowledge proof system☆55Mar 16, 2023Updated 3 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Interfaces for Relations and SNARKs for these relations☆911Apr 26, 2026Updated 2 months ago
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- Java library for distributed zero knowledge proof systems☆243Apr 13, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Rust library for polynomial commitments☆435Apr 26, 2026Updated 2 months ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk team☆637Jun 15, 2026Updated last month
- Zero-knowledge virtual machine written in Rust☆246Mar 17, 2023Updated 3 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆241Oct 28, 2024Updated last year
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Feb 20, 2024Updated 2 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 7 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆126Apr 5, 2022Updated 4 years ago