☆23Mar 12, 2026Updated last month
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:
- ☆11Jul 14, 2025Updated 9 months ago
- Smart contracts, tools, and skills for AI agents that transact on Starknet☆79Updated this week
- ☆13Nov 2, 2022Updated 3 years ago
- ☆10Sep 8, 2023Updated 2 years ago
- ☆11Jan 19, 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.
- ☆25Feb 21, 2025Updated last year
- 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 9 months ago
- ☆12Mar 30, 2023Updated 3 years ago
- Bitcoin Script interpreter implemented in Rust☆53Dec 11, 2025Updated 4 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆26Apr 6, 2026Updated last week
- 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 Cardano native tokens airdrop Python3 script☆15Mar 3, 2022Updated 4 years ago
- Materials and slides for talks I've given in the past☆14Feb 20, 2026Updated last month
- ☆15Feb 14, 2024Updated 2 years ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- ☆15Aug 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
- ☆16Nov 2, 2024Updated last year
- Minimal utreexo library in python☆11Aug 27, 2024Updated last year
- Demo of an onchain Bitcoin Vault using OP_CAT☆58Sep 27, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Mar 19, 2026Updated 3 weeks ago
- BitcoinD JSON-RPC Async Client☆21Apr 1, 2026Updated 2 weeks ago
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 4 months ago
- ☆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
- This repository contains information about its author, Dan Forbes☆43Sep 7, 2021Updated 4 years ago
- Tutorial to connect a Wallet (argentX, Braavos, ...) in your DAPP, using the new Wallet API and the new WalletAccount class of Starknet.j…☆18Dec 9, 2025Updated 4 months ago
- Efficient compression of Bitcoin's header chain☆12Aug 23, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An INSECURE implementation of the secp256k1 elliptic curve and related cryptographic schemes written in Python, intended for prototyping,…☆32Jan 20, 2026Updated 2 months ago
- WebGPU MSM implementation☆17Oct 28, 2025Updated 5 months ago
- A domain-specific language for writing AIR constraints for STARKs☆96Mar 23, 2026Updated 3 weeks ago
- `clar2wasm` is a compiler for generating WebAssembly from Clarity.☆24Mar 26, 2026Updated 2 weeks ago
- 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☆37Updated this week