certora

fix: Added addresses for Plasma and Bob and fixed some consensus in r… #15

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request September 25, 2025 09:57

sendra

opened #114

bgd-labs:fix/readme-tables-bob-plasma

Status Skipped

Total duration 6s

Artifacts –

certora-review.yml

on: pull_request