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 7 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
• 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
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• akosba / xjsnark

  View on GitHub
  A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
  ☆194Nov 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
  ☆218Dec 17, 2022Updated 3 years ago
• lovesh / pixel-signature

  View on GitHub
  Pixel: Forward secure multi-signatures and threshold signatures
  ☆16Apr 28, 2022Updated 4 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
  ☆106Jan 5, 2021Updated 5 years ago
• 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
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• 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
  ☆56Jul 31, 2020Updated 5 years ago
• ucbrise / MerkleSquare

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

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

  View on GitHub
  ☆13Jan 18, 2021Updated 5 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
• 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 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• 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
• hcrypt-project / obliviousJ

  View on GitHub
  Implements an encryptable machine (shapeCPU Java)
  ☆11Aug 26, 2015Updated 10 years ago
• 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 month
• GottfriedHerold / Chipmunk

  View on GitHub
  ☆11Aug 20, 2024Updated last year
• AI Agents on 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.
• ZKProofs / ZKProofs.github.io

  View on GitHub
  ZKProofs website
  ☆91Oct 25, 2023Updated 2 years ago
• 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 8 years ago
• multiversx / mx-deprecated-node-prototype

  View on GitHub
  Elrond Node (Prototype / PoC)
  ☆19Nov 21, 2018Updated 7 years ago
• sikoba / isekai

  View on GitHub
  Isekai verifiable computation project
  ☆46Mar 6, 2023Updated 3 years ago
• ebfull / hackishlibsnarkbindings

  View on GitHub
  ☆13Jul 28, 2016Updated 9 years ago