☆23Mar 12, 2026Updated 2 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:
- ☆11Apr 29, 2026Updated 3 weeks ago
- Smart contracts, tools, and skills for AI agents that transact on Starknet☆79Updated this week
- ☆13Nov 2, 2022Updated 3 years ago
- A custom provider which implements all metamask inpage api. metamask simulator.☆10Sep 18, 2021Updated 4 years ago
- ☆25Feb 21, 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.
- Learn how FROST works by implementing it!☆11Nov 8, 2023Updated 2 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 3 years ago
- ☆15Updated this week
- Libraries and primitives for Bitcoin, written in Zig.☆19Sep 18, 2024Updated last year
- Groth16 over ICICLE☆45Jul 16, 2025Updated 10 months ago
- Bitcoin Script interpreter implemented in Rust☆53Dec 11, 2025Updated 5 months ago
- ☆12Mar 30, 2023Updated 3 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29May 4, 2026Updated 3 weeks ago
- Materials and slides for talks I've given in the past☆14Feb 20, 2026Updated 3 months 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.
- ☆15Feb 14, 2024Updated 2 years ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- ☆16Aug 19, 2024Updated last year
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆72Nov 30, 2021Updated 4 years ago
- Minimal utreexo library in python☆11Aug 27, 2024Updated last year
- Demo of an onchain Bitcoin Vault using OP_CAT☆58Sep 27, 2024Updated last year
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Mar 19, 2026Updated 2 months ago
- BitcoinD JSON-RPC Async Client☆21May 11, 2026Updated 2 weeks ago
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 5 months 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.
- ☆15Dec 27, 2023Updated 2 years ago
- ☆12Dec 20, 2023Updated 2 years ago
- Web app for visualization the state of the Penumbra DEX☆12Apr 10, 2025Updated last year
- Tutorial to connect a Wallet (argentX, Braavos, ...) in your DAPP, using the new Wallet API and the new WalletAccount class of Starknet.j…☆18May 11, 2026Updated 2 weeks ago
- This repository contains information about its author, Dan Forbes☆43Sep 7, 2021Updated 4 years ago
- ☆16Apr 7, 2023Updated 3 years ago
- Efficient compression of Bitcoin's header chain☆12Aug 23, 2019Updated 6 years ago
- A UTxO friendly wallet extension for CKB☆15May 5, 2023Updated 3 years ago
- An INSECURE implementation of the secp256k1 elliptic curve and related cryptographic schemes written in Python, intended for prototyping,…☆32Jan 20, 2026Updated 4 months 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.
- Plugin on Python; Create signatures for rust binaries☆18Dec 8, 2022Updated 3 years ago
- A domain-specific language for writing AIR constraints for STARKs☆96Apr 16, 2026Updated last month
- `clar2wasm` is a compiler for generating WebAssembly from Clarity.☆25Updated this week
- Generate a logical circuit for BitVM Bitcoin from a C like source code☆13Sep 8, 2024Updated last year
- We found a bass. This is how we did it. -- Amazing Anglers☆15Aug 2, 2016Updated 9 years ago
- Extracting the semantics of Noir to Lean for formal verification☆40Updated this week
- A decentralised bitcoin exchange☆15Oct 4, 2022Updated 3 years ago