BitVM/garbled-snark-verifier external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

BitVM/garbled-snark-verifier

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/BitVM/garbled-snark-verifier)

Close

BitVM / garbled-snark-verifierView on GitHubMore

• External links
• Readme badge

☆22Dec 9, 2025Updated 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

• tari-project / bulletproofs-plus

  View on GitHub
  ☆11Jul 14, 2025Updated 7 months ago
• alpenlabs / bitcoind-async-client

  View on GitHub
  BitcoinD JSON-RPC Async Client
  ☆21Updated this week
• yrrid / submission-wasm-msm

  View on GitHub
  ☆13Nov 2, 2022Updated 3 years ago
• zig-bitcoin / bitcoin-primitives

  View on GitHub
  Libraries and primitives for Bitcoin, written in Zig.
  ☆19Sep 18, 2024Updated last year
• keep-starknet-strange / starknet-agentic

  View on GitHub
  Smart contracts, tools, and skills for AI agents that transact on Starknet
  ☆73Updated this week
• halseth / output-zero

  View on GitHub
  ☆25Feb 21, 2025Updated last year
• arshbot / awesome-ctv-csfs

  View on GitHub
  This is a curated list of all resources for learning and developing for the CTV+CSFS upgrade to Bitcoin
  ☆24Jun 9, 2025Updated 8 months ago
• taproot-wizards / purrfect_vault

  View on GitHub
  Demo of an onchain Bitcoin Vault using OP_CAT
  ☆58Sep 27, 2024Updated last year
• timimm / awesome-zero-knowledge-proofs-security

  View on GitHub
  ☆37Dec 11, 2025Updated 2 months ago
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 7 months ago
• secp256k1lab / secp256k1lab

  View on GitHub
  An INSECURE implementation of the secp256k1 elliptic curve and related cryptographic schemes written in Python, intended for prototyping,…
  ☆32Jan 20, 2026Updated last month
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Feb 27, 2026Updated last week
• keep-starknet-strange / starkzap

  View on GitHub
  Starknet SDK for seamless wallet integration
  ☆75Updated this week
• ShieldedCSV / ShieldedCSV

  View on GitHub
  ☆44Sep 20, 2024Updated last year
• miXwui / framework-laptop-fn-keys-fix

  View on GitHub
  Fixes for the function keys sticking on the Framework Laptop
  ☆12Jul 9, 2022Updated 3 years ago
• rust-bitcoin / rust-bitcoin-maintainer-tools

  View on GitHub
  Scripts, test vectors, and other things used by or across multiple repositories in the rust-bitcoin ecosystem.
  ☆12Updated this week
• kdheepak / JET.nvim

  View on GitHub
  ☆11Jul 26, 2023Updated 2 years ago
• betrybe / esperanto

  View on GitHub
  Markdown parse compatible with open learning xml
  ☆13May 10, 2023Updated 2 years ago
• distributed-lab / nero

  View on GitHub
  Practical implementation of the BitVM2 protocol
  ☆14Dec 24, 2024Updated last year
• rust-bitcoin / rust-bitcoind-json-rpc

  View on GitHub
  Support for Bitcoin Core's JSON-RPC API
  ☆13Nov 26, 2024Updated last year
• storopoli / sudoku

  View on GitHub
  Sudoku in the Browser
  ☆11Jun 11, 2025Updated 8 months ago
• haskell / array

  View on GitHub
  ☆15Feb 1, 2026Updated last month
• indiscipline / nix-db-repair

  View on GitHub
  Automatically fix Nix/NixOS error `SQLite statement 'delete from ValidPaths where path = *;': constraint failed`
  ☆13Mar 17, 2025Updated 11 months ago
• shramee / hanji

  View on GitHub
  Hanji generates docs for your Cairo library
  ☆10Jun 5, 2023Updated 2 years ago
• rikhuijzer / Skans.jl

  View on GitHub
  Monitor web pages and get notified when a page has changed
  ☆12Dec 2, 2022Updated 3 years ago
• unknwon / labeler

  View on GitHub
  Labeler is a CLI tool to sync labels for a GitHub repository with templates.
  ☆13Mar 12, 2023Updated 2 years ago
• nicebread / p-hacker

  View on GitHub
  ☆10Jan 13, 2017Updated 9 years ago
• teeann / scholar-import

  View on GitHub
  Emacs package to import Bibtex & PDF from Google Scholar
  ☆12Apr 12, 2023Updated 2 years ago
• ynohtna92 / ord20-indexer

  View on GitHub
  Ordinals Ord20 Meta Protocol Indexer
  ☆12May 7, 2025Updated 9 months ago
• ResultadosDigitais / paddy-elixir

  View on GitHub
  Elixir wrapper around GCP Pub Sub
  ☆11Feb 10, 2025Updated last year
• lambdaclass / metal_playground

  View on GitHub
  A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
  ☆10Mar 17, 2023Updated 2 years ago
• markhwhiteii / processr

  View on GitHub
  R implementation for the PROCESS macro
  ☆12Dec 2, 2020Updated 5 years ago
• arminsabouri / FROST-Notebook

  View on GitHub
  Learn how FROST works by implementing it!
  ☆11Nov 8, 2023Updated 2 years ago
• fargolo / TextGraphs.jl

  View on GitHub
  Graph representations of text
  ☆13Sep 20, 2023Updated 2 years ago
• haskell-actions / run-fourmolu

  View on GitHub
  Fourmolu GitHub Action
  ☆13Oct 25, 2024Updated last year
• snarkify / arkmsm

  View on GitHub
  ☆50Feb 11, 2025Updated last year
• utreexo / pytreexo

  View on GitHub
  Minimal utreexo library in python
  ☆11Aug 27, 2024Updated last year
• lukemerrick / RollingTimeWindows.jl

  View on GitHub
  ☆12Apr 25, 2021Updated 4 years ago
• webwire / webwire-cli

  View on GitHub
  Webwire Command Line Interface
  ☆17Jan 10, 2024Updated 2 years ago