Skip to content

proof: partition byte forgeries by returned component coverage - #757

Merged
Nicola-Ceornea merged 5 commits into
masterfrom
research/easycrypt-forgery-partition-20260928
Sep 29, 2026
Merged

proof: partition byte forgeries by returned component coverage#757
Nicola-Ceornea merged 5 commits into
masterfrom
research/easycrypt-forgery-partition-20260928

docs: record returned-coordinate partition proof replay

74c394b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Claude security review
succeeded Sep 29, 2026 in 5s