GitHub repository: samuelburnham/solidity-verifier
Primary language: Solidity
Description: Solidity implementation of Nova proving system verifier