risc0 / risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
https://risczero.com
Apache License 2.0
87 stars 18 forks source link

Add Solidity linting and improve coverage for formatting in CI #97

Open nategraf opened 6 months ago

nategraf commented 6 months ago
nategraf commented 5 months ago

We should add Slither as well https://book.getfoundry.sh/config/static-analyzers