amiller/pinocchio 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

amiller/pinocchio

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/amiller/pinocchio)

Close

amiller / pinocchioView on GitHubMore

• External links
• Readme badge

pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!

☆18Oct 16, 2017Updated 8 years ago

Alternatives and similar repositories for pinocchio

Users that are interested in pinocchio are comparing it to the libraries listed below

• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• daira / r1cs

  View on GitHub
  Presentations about R1CS
  ☆19May 1, 2019Updated 6 years ago
• aspiers / zkp-eddsa-point-doubler

  View on GitHub
  Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates
  ☆12Nov 20, 2018Updated 7 years ago
• arcalinea / bellman-examples

  View on GitHub
  examples for bellman zk-snarks library
  ☆76Oct 30, 2018Updated 7 years ago
• simplespy / DiemForensics

  View on GitHub
  ☆13Jan 18, 2021Updated 5 years ago
• kozyilmaz / lightning-xchain-atomic-swap

  View on GitHub
  Lightning Cross Chain Atomic Swap
  ☆17Apr 1, 2018Updated 7 years ago
• GoATTeam / GoAT

  View on GitHub
  Geolocate your files!
  ☆16Jan 7, 2022Updated 4 years ago
• nicola / rust-yinyan

  View on GitHub
  ☆13Feb 14, 2020Updated 6 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• GregVardz / LessRekt

  View on GitHub
  ☆16Jun 21, 2021Updated 4 years ago
• anemoi-hash / anemoi-hash

  View on GitHub
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆14Jul 9, 2023Updated 2 years ago
• LayerXcom / gram

  View on GitHub
  A 64bit-TinyRAM simulator in Go
  ☆13Oct 18, 2018Updated 7 years ago
• LayerXcom / lx-sonic

  View on GitHub
  Sonic implementation in Rust
  ☆17Jun 4, 2019Updated 6 years ago
• lovesh / pixel-signature

  View on GitHub
  Pixel: Forward secure multi-signatures and threshold signatures
  ☆16Apr 28, 2022Updated 3 years ago
• heliaxdev / plonk

  View on GitHub
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
  ☆14May 25, 2022Updated 3 years ago
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• paritytech / ring-proof

  View on GitHub
  ring-vrf ring proof v2.5
  ☆20Updated this week
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• corda / msr-vc

  View on GitHub
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Sep 17, 2019Updated 6 years ago
• akosba / jsnark

  View on GitHub
  A Java library for zk-SNARK circuits
  ☆215Dec 17, 2022Updated 3 years ago
• matter-labs-archive / rollup

  View on GitHub
  Matter Labs' ZK Rollup
  ☆107Jan 5, 2021Updated 5 years ago
• EspressoSystems / veri-zexe

  View on GitHub
  DPC with Universal Setup
  ☆46May 25, 2023Updated 2 years ago
• AlexandreBelling / go-boojum

  View on GitHub
  A golang demo for zk-SNARK aggregation
  ☆41Jun 23, 2019Updated 6 years ago
• sorrge / LSAG

  View on GitHub
  Linkable ring signature
  ☆19May 31, 2013Updated 12 years ago
• dusk-network / dusk-poseidon-merkle

  View on GitHub
  ☆20Dec 24, 2019Updated 6 years ago
• manganese / zcash-empirical-analysis

  View on GitHub
  Source code used in the 'An Empirical Analysis of Anonymity in Zcash' research
  ☆24Oct 15, 2019Updated 6 years ago
• akosba / xjsnark

  View on GitHub
  A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
  ☆193Nov 27, 2022Updated 3 years ago
• avar / DWTFYWWI

  View on GitHub
  The DWTFYWWI software license; "Do Whatever The Fuck You Want With It"
  ☆28Apr 12, 2010Updated 15 years ago
• drewstone / rust-miximus

  View on GitHub
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆22May 6, 2019Updated 6 years ago
• ucbrise / MerkleSquare

  View on GitHub
  A Go library for MerkleSquare: A Low-Latency Transparency Log System
  ☆23Apr 27, 2021Updated 4 years ago
• AntoineRondelet / zerocash-ethereum

  View on GitHub
  Smart contract - Zerocash-like approach for privacy on Ethereum
  ☆21Nov 4, 2018Updated 7 years ago
• sikoba / isekai

  View on GitHub
  Isekai verifiable computation project
  ☆46Mar 6, 2023Updated 3 years ago
• boltlabs-inc / zeekoe

  View on GitHub
  Zero-knowledge layer-2 payment channels
  ☆23Jun 5, 2023Updated 2 years ago
• ZKProofs / ZKProofs.github.io

  View on GitHub
  ZKProofs website
  ☆90Oct 25, 2023Updated 2 years ago
• randombit / pairings.py

  View on GitHub
  Elliptic curve pairing in Python
  ☆57Jul 31, 2020Updated 5 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
• amiller / instant-poker

  View on GitHub
  Off-chain poker in Ethereum
  ☆23Feb 10, 2017Updated 9 years ago
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 3, 2021Updated 4 years ago
• alex-ozdemir / bellman-bignat

  View on GitHub
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆55Jun 2, 2024Updated last year