wikipedia:Halo2
proof system
Zircuit, LRT, zkEVM, ZRC, Sequencer Level Security (SLS), Zircuit provers
Advertising: