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