Skip to content

Additional Workloads/Vectors#290

Draft
SeanCheatham wants to merge 1 commit into
mainfrom
power_table_bug
Draft

Additional Workloads/Vectors#290
SeanCheatham wants to merge 1 commit into
mainfrom
power_table_bug

Conversation

@SeanCheatham
Copy link
Copy Markdown
Collaborator

Introduces 4 new workloads to reproduce findings from an experimental environment:

  • DoChainStoreSelfHead: After container kill, does it resume with consistent underlying data?
  • DoF3CertMonotonic: After network partition, are F3 certs increasing in number?
  • DoMsigF410ApproveAudit: An Ethereum "sender"'s message gets interpreted as EIP-1559 even if it's meant for a Filecoin actor instead
  • DoWindowPoStAudit: Miner submits PoSt with stale deadline

@SeanCheatham SeanCheatham added the antithesis-test-filecoin Label to build and run only implementations. label May 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

antithesis-test-filecoin Label to build and run only implementations.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant