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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• daira / r1cs

  View on GitHub
  Presentations about R1CS
  ☆19May 1, 2019Updated 6 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
• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• arcalinea / bellman-examples

  View on GitHub
  examples for bellman zk-snarks library
  ☆77Oct 30, 2018Updated 7 years ago
• paritytech / ring-proof

  View on GitHub
  ring-vrf ring proof v2.5
  ☆20Mar 5, 2026Updated 3 weeks ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• nicola / rust-yinyan

  View on GitHub
  ☆13Feb 14, 2020Updated 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
• aspiers / zkp-eddsa-point-doubler

  View on GitHub
  Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates
  ☆11Nov 20, 2018Updated 7 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
• LayerXcom / gram

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

  View on GitHub
  A Java library for zk-SNARK circuits
  ☆216Dec 17, 2022Updated 3 years ago
• lovesh / pixel-signature

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

  View on GitHub
  A library for supporting zk-SNARKs to Substrate
  ☆29Jun 23, 2022Updated 3 years ago
• matter-labs-archive / rollup

  View on GitHub
  Matter Labs' ZK Rollup
  ☆107Jan 5, 2021Updated 5 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• dusk-network / dusk-poseidon-merkle

  View on GitHub
  ☆20Dec 24, 2019Updated 6 years ago
• howardwu / libsnark-tutorial

  View on GitHub
  A zkSNARK tutorial and development environment
  ☆410Jan 3, 2021Updated 5 years ago
• nickgian / ECC-OCaml

  View on GitHub
  Elliptic Curves Cryptography for OCaml
  ☆12Oct 26, 2019Updated 6 years ago
• AlexandreBelling / go-boojum

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

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• randombit / pairings.py

  View on GitHub
  Elliptic curve pairing in Python
  ☆57Jul 31, 2020Updated 5 years ago
• ucbrise / MerkleSquare

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

  View on GitHub
  ☆15Nov 18, 2024Updated last year
• simplespy / DiemForensics

  View on GitHub
  ☆13Jan 18, 2021Updated 5 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• 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
• edwjchen / Silph

  View on GitHub
  ☆12May 22, 2023Updated 2 years ago
• InternetMaximalism / verkle-tree

  View on GitHub
  Rust implementation for Verkle tree.
  ☆15Apr 18, 2022Updated 3 years ago
• SpinResearch / lamport_sigs.rs

  View on GitHub
  A Rust implementation of the Lamport one-time signature scheme
  ☆15Nov 30, 2022Updated 3 years ago
• GregVardz / LessRekt

  View on GitHub
  ☆16Jun 21, 2021Updated 4 years ago
• isislovecruft / xocolatl

  View on GitHub
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Jan 27, 2015Updated 11 years ago
• LayerXcom / lx-sonic

  View on GitHub
  Sonic implementation in Rust
  ☆17Jun 4, 2019Updated 6 years ago
• weijiekoh / zkmm

  View on GitHub
  A Mastermind game using zk-snarks
  ☆169Jul 24, 2022Updated 3 years ago
• hcrypt-project / obliviousJ

  View on GitHub
  Implements an encryptable machine (shapeCPU Java)
  ☆11Aug 26, 2015Updated 10 years ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• rollupnc / RollupNC

  View on GitHub
  non-custodial exchange build with rollup
  ☆104Dec 10, 2022Updated 3 years ago
• CPerezz / caulk_plus

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

  View on GitHub
  Pointcheval Sanders signature
  ☆27Mar 16, 2026Updated last week
• GottfriedHerold / Chipmunk

  View on GitHub
  ☆11Aug 20, 2024Updated last year
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• lovesh / bulletproofs-r1cs-gadgets

  View on GitHub
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆92Dec 31, 2022Updated 3 years ago
• SpinResearch / rustysecrets-cli

  View on GitHub
  🔑 Command-line wrapper around RustySecrets, a Rust implementation of threshold Shamir's secret sharing.
  ☆10Apr 1, 2018Updated 7 years ago