A Solidity library for proving PLONKish circuits (halo2) inside the EVM. - View it on GitHub