imdea-software/LeanFraudProofs: L2HistoryCCS

Published August 29, 2025 | Version FinalCCSS

Software Open

Mechanization of proofs in the paper 'A Secure Sequencer and Data Availability Committee for Rollups' to appear in CCS2025.

Files

Name	Size	Download all
imdea-software/LeanFraudProofs-FinalCCSS.zip md5:002d3cb205e6028fab4801562e8d4825	10.5 MB	Preview Download

Is supplement to: Software: https://github.com/imdea-software/LeanFraudProofs/tree/FinalCCSS (URL)

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more