Alternatives and similar repositories for Halo2-Book

Users that are interested in Halo2-Book are comparing it to the libraries listed below

• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• Trapdoor-Tech / halo2-book-chinese

  View on GitHub
  ☆10Jan 11, 2022Updated 4 years ago
• IvanVladimir04 / Halo-Wars-Resurgence

  View on GitHub
  ☆13Feb 20, 2022Updated 3 years ago
• AztecProtocol / aztec-v1-specification

  View on GitHub
  AZTEC protocol specification
  ☆31Feb 12, 2020Updated 6 years ago
• GHmods / scze

  View on GitHub
  Half-Life: Zombie Edition Port for Sven Co-op
  ☆13Jul 17, 2023Updated 2 years ago
• bbowman410 / VGraph

  View on GitHub
  Vulnerable code clone detection technique. Published in EuroS&P2020
  ☆10Sep 4, 2020Updated 5 years ago
• masa-08 / bot-stepn

  View on GitHub
  STEPN用のBOT
  ☆10Apr 11, 2022Updated 3 years ago
• WTFAcademy / solui

  View on GitHub
  Solidity Contract ABI to UI, using React.
  ☆13Mar 25, 2023Updated 2 years ago
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated 3 weeks ago
• geometryxyz / sparkworks

  View on GitHub
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Nov 23, 2022Updated 3 years ago
• DKmaster16 / HL2_GRAI

  View on GitHub
  Half-Life 2 Gameplay Rebalance AI + is a mod-patch to the steam version of half life 2, aiming to improve AI, rework gameplay and to add …
  ☆11Sep 22, 2023Updated 2 years ago
• carmen41511 / awesome-decentralized-vpn

  View on GitHub
  A curated list of awesome decentralized VPN (dVPN) resources, libraries, repos, tools and more.
  ☆10Jun 15, 2023Updated 2 years ago
• ChrisCN97 / zecoler

  View on GitHub
  Source code for EMSE 2023 paper "Zero-Shot Code Representation Learning via Prompt Tuning"
  ☆13Feb 15, 2023Updated 2 years ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• therealyingtong / ultraplonk-workshop

  View on GitHub
  ☆10Aug 21, 2022Updated 3 years ago
• luaforge / lldebug

  View on GitHub
  This is a debugger for Lua inspired by the visual studio. It is possible to debug in a special environment like "the coroutine obj…
  ☆12Jan 21, 2011Updated 15 years ago
• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• BerntA / MasterSwordClassic

  View on GitHub
  Master Sword: Continued (Classic)
  ☆10Nov 21, 2023Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• adafruit / CircuitPython_Badge_README

  View on GitHub
  A template README file for including with CircuitPython badges.
  ☆10Feb 2, 2021Updated 5 years ago
• WebAssembly / nontrapping-float-to-int-conversions

  View on GitHub
  Proposal to add non-trapping float-to-int conversions to WebAssembly
  ☆17Aug 22, 2022Updated 3 years ago
• eerkaijun / fri-rust

  View on GitHub
  Step by step implementation of FRI
  ☆13Feb 9, 2025Updated last year
• hitsz-ids / duetector

  View on GitHub
  duetector🔍: Data Usage Extensible Detector for data usage observability.
  ☆12Jan 19, 2026Updated 3 weeks ago
• asanso / CryptoWithSageMath

  View on GitHub
  Cryptography in SageMath.
  ☆10Dec 17, 2018Updated 7 years ago
• ucsb-seclab / nft-security-study

  View on GitHub
  Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"
  ☆11Dec 20, 2022Updated 3 years ago
• Bisht13 / gnark-bn254-verifier

  View on GitHub
  ☆13Aug 15, 2024Updated last year
• HaloMods / Direct2U

  View on GitHub
  Tool made for the H2CE (Halo 2 Custom Edition) mod for downloading its maps
  ☆10Aug 27, 2017Updated 8 years ago
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 years ago
• ColliderVM / collidervm_toy

  View on GitHub
  ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
  ☆18Jun 5, 2025Updated 8 months ago
• matneee / microbit-nokia5110-PCD8544-lcd

  View on GitHub
  Fast Micro:bit micropython functions for Nokia 5110 LCDs
  ☆10Mar 20, 2025Updated 10 months ago
• tenthirtyone / ethereum_better_honey_pot

  View on GitHub
  ☆10Feb 16, 2018Updated 7 years ago
• exp-table / starknet-playground

  View on GitHub
  My playgrounderino for starkneterino
  ☆13Nov 24, 2021Updated 4 years ago
• pradeepr-roboticist / UR5Robot-MEX-Matlab

  View on GitHub
  Matlab classes for computing forward kinematics and inverse kinematics of a UR5 robot along with a class for visualizing it
  ☆11Jun 17, 2019Updated 6 years ago
• AztecProtocol / aztec-2-bug-bounty

  View on GitHub
  ☆17Jun 3, 2022Updated 3 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• agoragames / halo-reach-api

  View on GitHub
  Ruby gem for interacting with the Halo:Reach API
  ☆17Mar 11, 2021Updated 4 years ago
• Kevin-Zh-CS / FigureDrawer

  View on GitHub
  Scripts for drawing figures in your paper
  ☆10Jan 8, 2025Updated last year
• bariscodefxy / Half-Life-PHP

  View on GitHub
  Half-Life written in PHP.
  ☆11Aug 25, 2024Updated last year
• OpenZeppelin / sgp

  View on GitHub
  Solidity ANTLR4 grammar Python parser
  ☆13Mar 11, 2025Updated 11 months ago