garbled-snark-verifier repository
☆18May 27, 2026Updated 5 months ago
Alternatives and similar repositories for garbled-snark-verifier
Users that are interested in garbled-snark-verifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clementine repository☆106Jul 14, 2026Updated 3 months ago
- ☆27Mar 12, 2026Updated 7 months ago
- ☆17Mar 18, 2023Updated 3 years ago
- ☆42Jul 25, 2024Updated 2 years ago
- Bitcoin DA Adapter for Sovereign SDK☆47Mar 28, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆52Oct 10, 2023Updated 3 years ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Jul 8, 2024Updated 2 years ago
- ☆23May 1, 2025Updated last year
- ☆18Apr 24, 2025Updated last year
- Write a lattice-based cryptographic protocol in a Rust-based DSL, much as you would write it on paper, and run it on GPUs, with no CUDA a…☆21Oct 19, 2026Updated last week
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 3 years ago
- ☆206Nov 25, 2023Updated 2 years ago
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated last year
- 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.
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- ☆69Apr 1, 2026Updated 6 months ago
- Mozak RISC-V Virtual Machine☆24Mar 24, 2025Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated 2 years ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Nov 6, 2024Updated last year
- Assemblyscript btc runtime☆21Jul 2, 2026Updated 3 months ago
- ☆20Oct 21, 2026Updated last week
- ☆11Apr 2, 2026Updated 6 months ago
- bn254 pairing library for Cairo Zero☆26Dec 15, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Open/close channel on Lightning Network using Nostr and DLCs☆12Oct 28, 2025Updated last year
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated last year
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- ☆55Jun 24, 2026Updated 4 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 3 years ago
- 💧 Core Contracts for iZiSwap.☆35Jun 6, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Internal engineering designs☆14May 19, 2026Updated 5 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated last year
- SDK for writing application circuits on Brevis☆33Feb 26, 2026Updated 8 months ago
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 9 months ago
- common types used by mostro and clients☆12Oct 7, 2026Updated 3 weeks ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆63May 22, 2023Updated 3 years ago