☆27Mar 12, 2026Updated 7 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:
- garbled-snark-verifier repository☆18May 27, 2026Updated 5 months ago
- FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.☆16May 12, 2025Updated last year
- ☆20Nov 3, 2025Updated last year
- A Trust-minimized Bitcoin Bridge☆515Oct 22, 2026Updated 2 weeks ago
- A domain-specific language for writing AIR constraints for STARKs☆97Apr 16, 2026Updated 6 months 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.
- ☆12Sep 24, 2025Updated last year
- ☆31Mar 31, 2025Updated last year
- ☆10Sep 7, 2026Updated last month
- Weighted Schnorr Threshold Signatures☆34May 1, 2026Updated 6 months ago
- Demo of an onchain Bitcoin Vault using OP_CAT☆58Sep 27, 2024Updated 2 years ago
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Oct 9, 2026Updated 3 weeks ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated 2 years ago
- ☆28Feb 21, 2025Updated last year
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆11Apr 22, 2025Updated last year
- 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.
- Maliciously-Secure Multi-Party Computation (MPC) Engine using Authenticated Garbling☆38Oct 28, 2026Updated last week
- `clar2wasm` is a compiler for generating WebAssembly from Clarity.☆26Oct 9, 2026Updated 3 weeks ago
- ☆11Jan 19, 2024Updated 2 years ago
- The implementation of Ethereum's BN254 using Liquid's SimplicityHL script☆27Nov 19, 2025Updated 11 months ago
- ☆13Nov 2, 2022Updated 4 years ago
- ☆10Sep 8, 2023Updated 3 years ago
- Because, frankly, doing this stuff in C sucked way too much.☆13Oct 27, 2025Updated last year
- Great Restored Script Interpreter☆12Dec 13, 2024Updated last year
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Apr 30, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆26Nov 24, 2025Updated 11 months ago
- Rust crates designed to simplify building Bitcoin wallets with Arkade☆42Updated this week
- WebGPU MSM implementation☆15Oct 28, 2025Updated last year
- ☆46Sep 20, 2024Updated 2 years ago
- ☆19Oct 18, 2021Updated 5 years ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆160Aug 11, 2026Updated 2 months ago
- Local Time Machine for OrbitDB☆11Feb 13, 2026Updated 8 months ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated 2 years ago
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- 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.
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated last year
- Wrappers around secp256k1 to expose the underlying math, specifically unwrapped points and scalars with multiexponentiation☆12Apr 20, 2025Updated last year
- Materials and slides for talks I've given in the past☆14Aug 16, 2026Updated 2 months ago
- MosaicMem in Rust - Hybrid Spatial Memory for Video World Models☆19Mar 26, 2026Updated 7 months ago
- Learn how FROST works by implementing it!☆11Nov 8, 2023Updated 2 years ago
- Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everyth…☆17May 12, 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