All workflows

Workflow runs

• feat: add the Groth16 terminal verifier, its export tooling, and cost…

  failed:
  .github/workflows/source-checks.yml#52:Commitf7fcb14pushedbyeigmax
  main

  Nov 5, 2026Failure
  More actions for workflow run 52

• feat: add the Groth16 terminal verifier, its export tooling, and cost measurements

  failed:
  .github/workflows/source-checks.yml#51:Pull request#5byfelicityin
  felicityin:docs/verifier-cost-table

  Nov 5, 2026Failure
  More actions for workflow run 51

• feat: add the Groth16 terminal verifier, its export tooling, and cost measurements

  failed:
  .github/workflows/source-checks.yml#50:Pull request#5byfelicityin
  felicityin:docs/verifier-cost-table

  Nov 5, 2026Failure
  More actions for workflow run 50

• feat: add the Groth16 terminal verifier, its export tooling, and cost measurements

  failed:
  .github/workflows/source-checks.yml#49:Pull request#5byfelicityin
  felicityin:docs/verifier-cost-table

  Nov 5, 2026Failure
  More actions for workflow run 49

• feat: add the Groth16 terminal verifier, its export tooling, and cost measurements

  failed:
  .github/workflows/source-checks.yml#48:Pull request#5byfelicityin
  felicityin:docs/verifier-cost-table

  Nov 5, 2026Failure
  More actions for workflow run 48

• feat: add the Groth16 terminal verifier, its export tooling, and cost measurements

  failed:
  .github/workflows/source-checks.yml#47:Pull request#5byfelicityin
  felicityin:docs/verifier-cost-table

  Nov 5, 2026Failure
  More actions for workflow run 47

• feat: add the Groth16 terminal verifier, its export tooling, and cost measurements

  failed:
  .github/workflows/source-checks.yml#46:Pull request#5byfelicityin
  felicityin:docs/verifier-cost-table

  Nov 5, 2026Failure
  More actions for workflow run 46

• feat: export WHIR verifier fixtures from Ziren's capture hook (#4)

  failed:
  .github/workflows/source-checks.yml#45:Commit8c3adabpushedbyeigmax
  main

  Nov 5, 2026Failure
  More actions for workflow run 45

• Document Metis bridge protocol and cost model (#3)

  failed:
  .github/workflows/source-checks.yml#44:Commite0e5837pushedbyeigmax
  main

  Oct 28, 2026Failure
  More actions for workflow run 44

• docs: settle bridge design decisions and redraw overview

  failed:
  .github/workflows/source-checks.yml#43:Commit5b0f43dpushedbyeigmax
  docs/metis-cost-model

  Oct 28, 2026Failure
  More actions for workflow run 43

• docs: describe bridge doc measurements as prototype measurements

  failed:
  .github/workflows/source-checks.yml#42:Commit3dfe934pushedbyeigmax
  docs/metis-cost-model

  Oct 28, 2026Failure
  More actions for workflow run 42

• docs: replace Metis mainnet data with assumed costs

  failed:
  .github/workflows/source-checks.yml#41:Commitf8234c2pushedbyeigmax
  docs/metis-cost-model

  Oct 28, 2026Failure
  More actions for workflow run 41

• docs: replace Metis mainnet data with assumed costs

  failed:
  .github/workflows/source-checks.yml#40:Commit1e433a3pushedbyeigmax
  docs/metis-cost-model

  Oct 28, 2026Failure
  More actions for workflow run 40

• docs: separate proving compute budget from verification costs

  failed:
  .github/workflows/source-checks.yml#39:Commit379fc5epushedbyeigmax
  docs/metis-cost-model

  Oct 23, 2026Failure
  More actions for workflow run 39

• docs: consolidate optimization research into cost model

  failed:
  .github/workflows/source-checks.yml#38:Commit9d67c84pushedbyeigmax
  docs/metis-cost-model

  Oct 23, 2026Failure
  More actions for workflow run 38

• docs: research Metis proving and finalization optimizations

  failed:
  .github/workflows/source-checks.yml#37:Commitbeb997fpushedbyeigmax
  docs/metis-cost-model

  Oct 23, 2026Failure
  More actions for workflow run 37

• docs: model demand-driven proof finalization and catch-up costs

  failed:
  .github/workflows/source-checks.yml#36:Commit4b7066cpushedbyeigmax
  docs/metis-cost-model

  Oct 23, 2026Failure
  More actions for workflow run 36

• docs: record verified Metis publication costs and proof budgets

  failed:
  .github/workflows/source-checks.yml#35:Commitefd3c85pushedbyeigmax
  docs/metis-cost-model

  Oct 23, 2026Failure
  More actions for workflow run 35

• Add MetisOPSuccinctL2OutputOracle, note verifier costs, simplify repr…

  failed:
  .github/workflows/source-checks.yml#34:Commit436695dpushedbyeigmax
  main

  Oct 22, 2026Failure
  More actions for workflow run 34

• Add MetisOPSuccinctL2OutputOracle against current Metis SCC

  failed:
  .github/workflows/source-checks.yml#33:Commit95d8cc5pushedbyeigmax
  docs/output-oracle-costs-reproduction

  Oct 22, 2026Failure
  More actions for workflow run 33

• Name the output oracle MetisOPSuccinctL2OutputOracle, note verifier c…

  failed:
  .github/workflows/source-checks.yml#32:Commit7d22eb6pushedbyeigmax
  docs/output-oracle-costs-reproduction

  Oct 22, 2026Failure
  More actions for workflow run 32

• Name the output oracle after OP Succinct, note verifier costs, simpli…

  failed:
  .github/workflows/source-checks.yml#31:Commita60506dpushedbyeigmax
  docs/output-oracle-costs-reproduction

  Oct 22, 2026Failure
  More actions for workflow run 31

• Add OPSuccinct bridge design and Ziren shrink Solidity verifier (#1)

  failed:
  .github/workflows/source-checks.yml#30:Commit1aa2997pushedbyeigmax
  main

  Oct 22, 2026Failure
  More actions for workflow run 30

• Rename shrink-export CI job to ziren-shrink-export

  failed:
  .github/workflows/source-checks.yml#29:Commit82803c7pushedbyeigmax
  feat/zkop-terminal-and-design

  Oct 22, 2026Failure
  More actions for workflow run 29

• Merge verifier design into README, rename crate to ziren-shrink-export

  failed:
  .github/workflows/source-checks.yml#28:Commit40cb253pushedbyeigmax
  feat/zkop-terminal-and-design

  Oct 22, 2026Failure
  More actions for workflow run 28