• Adrian Sutton's avatar
    proofs Add a proofs-tools docker image (#11825) · 327e6e68
    Adrian Sutton authored
    * op-challenger: Add a "big" op-challenger docker image including asterisc and kona
    
    * proofs-tools: Rename op-challenger-deps to proofs-tools and use tagged asterisc and kona sources.
    
    * proofs-tools: Use more recent version of challenger for testing
    
    * proofs-tools: Remove TODO
    
    * proofs-tools: Only build for amd64 - kona doesn't support arm64.
    
    * proofs-tools: Add README
    
    * proofs-tools: Use challenger v1.1.0
    327e6e68
README.md 445 Bytes