Halo 2

Halo 2 was created by the Electric Coin Company (who also created Zcash) as a solution to some of the inefficiencies and security issues (such as trusted setup) of Zcash. The Halo 2 proof system is implemented via a set of Rust crates that enable the creation and verification of zkSNARK proofs without a trusted setup.

The functions that we are creating to generate the circuit, proofs, proving/verifying keys, etc. can all be compiled down to WebAssembly, which can subsequently be used in a web app.