diff --git a/.github/workflows/build-ci-image.yaml b/.github/workflows/build-ci-image.yaml index 7f040f2..960ffa7 100644 --- a/.github/workflows/build-ci-image.yaml +++ b/.github/workflows/build-ci-image.yaml @@ -9,7 +9,7 @@ on: - "*" jobs: build: - runs-on: ubuntu-latest + runs-on: ubuntu-latest-m steps: - name: Checkout uses: actions/checkout@v3 diff --git a/cli/README.md b/cli/README.md index 56b2206..36c93f1 100644 --- a/cli/README.md +++ b/cli/README.md @@ -58,3 +58,20 @@ todo ### Prove todo + +### Estimate + +You can estimate the number of cycles and segments using risc0 emulation to step through an ELF by passing the `estimate` command the path to a manifest.json and an inputs file (if required). + +``` +bonsol -k ./keypair.json -u http://localhost:8899 estimate \ + --manifest-path program/manifest.json \ + --input-file program/inputs.json \ + --max-cycles 16777216 # this is the default + +# Example Output: +# +# User cycles: 3380 +# Total cycles: 65536 +# Segments: 1 +```