bcc-research/CryptoUtilitiesNotebooks 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

bcc-research/CryptoUtilitiesNotebooks

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/bcc-research/CryptoUtilitiesNotebooks)

Close

bcc-research / CryptoUtilitiesNotebooksView on GitHubMore

• External links
• Readme badge

Notebooks showing how to use CryptoUtilities

☆14Apr 17, 2025Updated 11 months ago

Alternatives and similar repositories for CryptoUtilitiesNotebooks

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

• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• BrianSeong99 / zkHyperliquid

  View on GitHub
  A PoC of zkVM powered Hyperliquid
  ☆15Mar 23, 2025Updated 11 months ago
• Sofianel5 / zk-img-editor

  View on GitHub
  ☆22Feb 19, 2024Updated 2 years ago
• bcc-research / CryptoUtilities.jl

  View on GitHub
  ☆16Mar 13, 2026Updated last week
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago
• argumentcomputer / ix

  View on GitHub
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆69Updated this week
• celo-org / plumo-prover

  View on GitHub
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Jan 4, 2022Updated 4 years ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• phantomzone-org / obfustopia

  View on GitHub
  We're living in Obfustopia
  ☆27Jan 2, 2025Updated last year
• supernovahs / zk-sunade

  View on GitHub
  Groth16 verifier on Arbitrum Stylus
  ☆25Dec 10, 2023Updated 2 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• paulmillr / micro-zk-proofs

  View on GitHub
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆60Nov 22, 2025Updated 3 months ago
• socathie / zkPhoto

  View on GitHub
  Private authentic photo sharing using ZKP
  ☆25Apr 17, 2023Updated 2 years ago
• adietrichs / geth-workshop

  View on GitHub
  ☆11Jul 21, 2021Updated 4 years ago
• EDGDrummond / DeVo

  View on GitHub
  Decentralised Voting Scheme
  ☆16Dec 5, 2021Updated 4 years ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• QEDProtocol / plonky2.5

  View on GitHub
  🪩 verify plonky3 proofs in plonky2
  ☆19Mar 28, 2024Updated last year
• geometryxyz / technical_notes

  View on GitHub
  A collection of technical notes from the Geometry research team.
  ☆47Apr 17, 2023Updated 2 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 4 months ago
• succinctlabs / hypercube-verifier

  View on GitHub
  ☆46Dec 10, 2025Updated 3 months ago
• mimoo / cryptobible

  View on GitHub
  Auditing Applied Cryptography
  ☆11Sep 26, 2019Updated 6 years ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 7 months ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated last year
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆24Feb 18, 2026Updated last month
• succinctlabs / sp1-contracts

  View on GitHub
  Smart contracts for onchain verification of SP1.
  ☆137Feb 24, 2026Updated 3 weeks ago
• junkurihara / httpsig-rs

  View on GitHub
  Rust implementation of IETF RFC 9421, http message signatures
  ☆30Mar 9, 2026Updated last week
• arkworks-rs / gm17

  View on GitHub
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆13Oct 29, 2024Updated last year
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• kobigurk / plonk

  View on GitHub
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
  ☆15Aug 10, 2020Updated 5 years ago
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 11 months ago
• tcoratger / whir-p3

  View on GitHub
  ☆62Updated this week
• a16z / zkvm-benchmarks

  View on GitHub
  Benchmarks of popular zkVMs including Jolt
  ☆64Apr 19, 2024Updated last year
• Developer-DAO / rpc

  View on GitHub
  ☆13Mar 13, 2026Updated last week
• ourzora / nouns-connect

  View on GitHub
  Connect your Nouns DAOs to DApps
  ☆12Sep 27, 2023Updated 2 years ago