Audit of Zkopru zk-SNARK Circuits + Smart Contracts for Ethereum Foundation

Ethereum Foundation has requested that Least Authority perform a security audit of the Zkopru (zk-optimistic-rollup) zk-SNARK Circuits and Smart Contracts. Zkopru, a Zcash-Style privacy solution, is a layer-2 scaling solution for private transactions using zk-SNARK and optimistic rollup on the Ethereum Blockchain. It supports private transfer and private atomic swap within the layer-2 network between ETH, ERC-20, and ERC-721 at a low cost. In addition, with the pay-in-advance feature, it aims to allow users to withdraw assets from the layer-2 before the finalization.