QED-it/libsnark-tutorial_forge_proof 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

QED-it/libsnark-tutorial_forge_proof

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/QED-it/libsnark-tutorial_forge_proof)

Close

QED-it / libsnark-tutorial_forge_proofView on GitHubMore

• External links
• Readme badge

☆17Jul 14, 2018Updated 7 years ago

Alternatives and similar repositories for libsnark-tutorial_forge_proof

Users that are interested in libsnark-tutorial_forge_proof are comparing it to the libraries listed below

• sec-bit / libsnark_abc

  View on GitHub
  Minimal examples to use libsnark.
  ☆21Aug 27, 2020Updated 5 years ago
• crate-crypto / qesa

  View on GitHub
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Mar 4, 2020Updated 6 years ago
• zchcai / ethereum-dapps-verification

  View on GitHub
  State-of-the-art about program verification on Ethereum DApps
  ☆22Dec 6, 2023Updated 2 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• dmpierre / plasma-fold

  View on GitHub
  Implementation for https://eprint.iacr.org/2025/1300
  ☆42Sep 2, 2025Updated 6 months ago
• lambdaclass / aleo_lambda_blockchain

  View on GitHub
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Feb 8, 2023Updated 3 years ago
• barryWhiteHat / zkvm

  View on GitHub
  a sketch of what a zkvm could look like
  ☆26Apr 19, 2021Updated 4 years ago
• HarryR / zklangs

  View on GitHub
  High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation
  ☆22Apr 12, 2019Updated 6 years ago
• StarLI-Trapdoor / libsnark_sample

  View on GitHub
  Example to create merkle path proof using libsnark
  ☆44Jul 27, 2020Updated 5 years ago
• coder5876 / libsnark-tutorial

  View on GitHub
  Tutorial and example code for using libsnark
  ☆189May 17, 2021Updated 4 years ago
• moneroexamples / ring-signatures

  View on GitHub
  How to generated and verify ring signatures in monero
  ☆14Mar 27, 2016Updated 9 years ago
• NIC619 / UniRep

  View on GitHub
  ☆23Jul 15, 2023Updated 2 years ago
• paritytech / rust_solc

  View on GitHub
  easily compile solidity files from rust
  ☆20Oct 17, 2019Updated 6 years ago
• hashcloak / bonfire

  View on GitHub
  bonfire monorepo
  ☆11Aug 30, 2023Updated 2 years ago
• kilic / tetris

  View on GitHub
  ☆14Oct 19, 2024Updated last year
• erhant / lambda-0b10

  View on GitHub
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Oct 13, 2024Updated last year
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• QED-it / zkinterface

  View on GitHub
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆128Jun 13, 2023Updated 2 years ago
• q9f / eth2-bench-2020-06

  View on GitHub
  preliminary, high-level eth2-client benchmarks
  ☆16Oct 20, 2020Updated 5 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• sambacha / ethereum-api

  View on GitHub
  Solidity API contract design information for utilizing RPC/RESTful Node Interaction and GraphQL
  ☆23Oct 5, 2021Updated 4 years ago
• oula-network / aleo

  View on GitHub
  ☆16Jan 23, 2025Updated last year
• AdamISZ / borring

  View on GitHub
  Basic implementation of Borromean ring signatures in Python, for learning
  ☆15Dec 14, 2017Updated 8 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• raiden-network / raiden-services

  View on GitHub
  Development of the Raiden Monitoring and Pathfinding Services
  ☆10Mar 7, 2023Updated 3 years ago
• yashgo0018 / maci-wrapper

  View on GitHub
  Scaffold ETH 2 + MACI Voting Template
  ☆11Sep 25, 2024Updated last year
• yushih / solidity-gas-profiler

  View on GitHub
  Profile Solidity gas consumption line-wise.
  ☆23Jun 1, 2021Updated 4 years ago
• arnaucube / shamirsecretsharing

  View on GitHub
  ShamirSecretSharing Rust & Go implementation + WASM lib
  ☆18Oct 10, 2021Updated 4 years ago
• ethorhil / Plonk_Py

  View on GitHub
  My implementation of Plonk
  ☆19Jun 27, 2021Updated 4 years ago
• jlopp / us-marshals-bitcoin-auctions

  View on GitHub
  Keeping track of all bitcoin seized and sold by the US Marshals & GSA
  ☆15Mar 31, 2023Updated 2 years ago
• privacy-ethereum / website

  View on GitHub
  Privacy and Scaling Explorations
  ☆11Sep 20, 2023Updated 2 years ago
• wslyvh / nitter-scraper

  View on GitHub
  A TypeScript package for scraping tweets from Nitter without authentication.
  ☆13Jul 5, 2025Updated 8 months ago
• ethereumjs / ethereum-verified-contracts

  View on GitHub
  [DEPRECATED] Ethereum Verified Contracts
  ☆12Jun 29, 2018Updated 7 years ago
• herumi / bls-eth-rust

  View on GitHub
  ☆21Jun 28, 2022Updated 3 years ago
• matteocam / zkcsp-over-bitcoin

  View on GitHub
  An implementation for fair auditing and contingent payments in Bitcoin
  ☆23Sep 11, 2017Updated 8 years ago
• arminvoid / optimistic-zkdai

  View on GitHub
  An optimistic implementation of ZkDai
  ☆16Jan 17, 2019Updated 7 years ago
• sec-bit / vscode-secbit-ssae

  View on GitHub
  Visual Studio Code extension for SECBIT Solidity Static Analyzer
  ☆11Mar 30, 2019Updated 6 years ago
• seresistvanandras / MixEth

  View on GitHub
  MixEth: efficient, trustless coin mixing service for Ethereum
  ☆53Dec 9, 2022Updated 3 years ago
• prestwich / ethers-aws-signer

  View on GitHub
  ☆23Aug 1, 2021Updated 4 years ago