Skip to content

Monorepo of tools for using the halo2 proving system in-browser using WASM.

License

Notifications You must be signed in to change notification settings

shreyas-londhe/halo2-browser

 
 

Repository files navigation

halo2-browser

This is a monorepo for using the halo2 proving system in-browser using WASM. To discuss or collaborate, join our community on Telegram.

Directory Structure

  • halo2-wasm - WASM bindings on top of core circuit functionality (ie. proving, keygen, etc.) that can easily be extended to include your own circuit functions
    • halo2-lib-wasm - WASM bindings for all the core halo2-lib in-circuit operations (ie. add, sub, select_from_idx, etc.)
  • halo2-lib-js - Typescript wrapper around halo2-lib-wasm to facilitate writing circuits in JS/TS environments and running the circuits with halo2-wasm
  • halo2-repl - a browser-based REPL for writing halo2 circuits in Typescript, powered by halo2-wasm and halo2-lib-js
  • cli - a command line tool to run mock/keygen/prove/verify on halo2-wasm circuits

License

All files within this repository are licensed under the MIT license.

About

Monorepo of tools for using the halo2 proving system in-browser using WASM.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TypeScript 55.1%
  • Rust 36.5%
  • JavaScript 4.9%
  • Python 1.8%
  • Shell 1.7%