2a0b3c1cd5a36bb15c4f95035b8dd5a0b2ac7880c8a2a9f724cc3a45dee04c30  README_RU.md
569c55749cb38cced809676bd8d87aad060fd8fda06b152149116f77d00ab3a0  REPRODUCE.md
d723afcd75811d050ab8e4aa5812030517aa37a43b9e83531b6a7469365dfe6c  certificate.json
9377aa1847262f65af40e9d4429dbf094c05f2126b4934d0a609b937f3961abf  evidence/packaging-checks.json
5ad69bf3ad48717a7beb1a083d2229241934fd01370062bbcdf89e15ff29349e  evidence/runtime/Settlement.runtime.bin
bcd4c2202eb04c521ba20ceaa1a581d55a0f02e480f408575821c907bd499eaf  evidence/source-excerpts/Makefile
dc96ddfcd9993b22f583909b3272274ea191089d0d90c1a125597d0b2672577f  evidence/source-excerpts/README.md
e8fe8456024fed93e62898bc7d8c88b946a4588086504cf5f790169338540e56  evidence/source-excerpts/Vickrey/Abi.lean
9846846668d93dcf5ace13ff154b5c79410cd9ab28711321809cd1780d22402e  evidence/source-excerpts/Vickrey/Admissibility.lean
f7e6cd65baf217490e33b159dd2203962dea4e4301914d7762985086532c2ab6  evidence/source-excerpts/Vickrey/Economics.lean
e7cfa36adc2e4781c75f84b6cc69e820f074aa7f0bb34ace1a6d498b5971a8f0  evidence/source-excerpts/Vickrey/EvmRefinementGoal.lean
e929187df423456b0889c7b30cfddf4a7e565b20b7fff87d8aa12d25e739ac2d  evidence/source-excerpts/Vickrey/Model.lean
45056c00cf84b495e52e5d3dde367609afc9a81d4b3984e4e94f9611a1583724  evidence/source-excerpts/Vickrey/SettlementProof.lean
2607c4326db51db03c769e25e905db191b582a9a17ae731411dfe0b2b28fdef5  evidence/source-excerpts/artifacts/Settlement.runtime.hex
bd56f472fb1f2e0b7c08bdec03cfc1468582c2eeaf75baccfbb4c458b8b4136a  evidence/source-excerpts/contracts/Settlement.yul
735c52c5e839e1fa02fd711d6e35809c473585a80bf9eeae585854039d941e26  evidence/source-excerpts/lake-manifest.json
db7bb24b756d745bbde83fe92718b51bd3625dae3701ba0f598d0eedcd3f3028  evidence/source-excerpts/lean-toolchain
cf63bc278456a264353b8f624c026752ed0d9b97e083cd072e0265465c0476ea  evidence/source-excerpts/results/negative-test.json
8081b5155bf6148a7d622e3eed3db03283941cee7bb44d5b8c8137b6f78f6686  evidence/source-excerpts/results/verification.json
cae54faeb7e0e853a0b7bd0c745fb83e62554aefbae111ef449233a3b54e5538  evidence/source-excerpts/versions.json
bfec0fd0ffd5ed1770e6c16f11136cbad9b206352028af87ac7c98bebd8099a3  evidence/source-index.json
71248e9f906ba8057d4d3cba2b2dd69815648b9950b0ded1858bf81ac741e023  manifest.json
58afc8373a611f6fc639c15a93f5be442662b350a13a3f20118fe2fd3a8d49b7  tools/build_source_bundle.py
13956a4da67bd487d9c70debda066fce6f827254109053956f5d81b6b2013d4f  tools/test_package_tools.py
791a5b0392f70e870463694e56148d89145cee771b6c310b23bbbbcdac9076e2  tools/verify_package.py
