Rust implementation of the TLSNotary protocol
☆441Aug 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for tlsn
Users that are interested in tlsn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multi-party computation libraries written in Rust 🦀☆298Jul 12, 2026Updated last month
- TLSNotary clients: a Chrome extension and a native iOS/Android app, with a shared plugin system and verifier server.☆36Jun 26, 2026Updated 2 months ago
- NPM Modules for proving and verifying using TLSNotary in the browser☆26Feb 4, 2026Updated 7 months ago
- client side proving☆40Mar 12, 2025Updated last year
- Making client-side ZK proving on mobile simple.☆242Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pluto Web Prover 🦀☆41Mar 18, 2025Updated last year
- Experimental folding schemes library☆286Jul 26, 2026Updated last month
- Performance and security acceleration for zkVMs.☆503Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated 2 years ago
- ☆157Feb 26, 2024Updated 2 years ago
- Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.☆431Aug 26, 2026Updated last week
- ☆34Jul 14, 2026Updated last month
- Diamond iO implementation https://eprint.iacr.org/2025/236☆99Jun 1, 2026Updated 3 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated 2 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.
- Ecne: An engine for verifying the soundness of R1CS constraints☆115Aug 2, 2022Updated 4 years ago
- ☆131Dec 23, 2024Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆230Updated this week
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆1,022Updated this week
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 9 months ago
- A monorepo for vOPRF-based secure nullifiers☆23Apr 13, 2025Updated last year
- ☆65Aug 24, 2026Updated 2 weeks ago
- Middleware to compile Circom circuits to Nova prover☆247Mar 1, 2024Updated 2 years ago
- A trustless P2P fiat onramp powered by ZK proofs.☆340Jun 18, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆105Mar 3, 2026Updated 6 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆142May 5, 2026Updated 4 months ago
- Extractable Witness Encryption for KZG Commitments☆33Nov 29, 2024Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Dec 5, 2023Updated 2 years ago
- A STARK-based VM focused on code reuse, performance, and modularity☆345Apr 27, 2026Updated 4 months ago
- Email verification circuit in halo2☆72Jul 3, 2024Updated 2 years ago
- The Halo2 zero-knowledge proving system☆917Updated this week
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- pod2 & spec☆28Aug 31, 2026Updated last week
- We're living in Obfustopia☆28Jan 2, 2025Updated last year
- ☆84Jan 7, 2025Updated last year
- Libraries for finite field, elliptic curve, and polynomial arithmetic☆888Aug 31, 2026Updated last week
- A toolkit for polynomial IOPs (PIOPs)☆847Updated this week
- Zuzalu Passport☆364Nov 16, 2025Updated 9 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Jul 1, 2026Updated 2 months ago