Published files
Every file this site cites, with its size and SHA-256. The machine-readable lists are MANIFEST.json and FIGURES.json; each number on the home page names the file and the field it was read from.
28 files are served.
Measurements made when this site was built
10 filesEach of these was produced when the site was built, from files named inside it. Three of them stand in for cited files that record an absolute path to a locally built solver binary: those are committed by sha256 here and their fields are read out, but their bytes are not published.
- chipletos/
v3/ measured/ artifacts. json - path
- chipletos/v3/measured/artifacts.json
- sha256
- 47b92db433d269db7429af5bc4b1ec4ca05d92d0e5d9d44fcfa390e59b5e5100
- bytes
- 6252
- visibility
- public
- chipletos/
v3/ measured/ independent_ solver_ broadened. json - path
- chipletos/v3/measured/independent_solver_broadened.json
- sha256
- 4f514353325d903091e3dac5f0edc0d6e98c0540c84c5215a7eb0fa28be80c4c
- bytes
- 3196
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- benchmarks/fastercap/operator_vs_fastercap_broadened_2026_07_08.json
- source sha256
- 4fa47e1986bd3aa4f90934a05136a10a513137c841b4271d50bf34d5fc11c709
- chipletos/
v3/ measured/ independent_ solver_ same_ tool. json - path
- chipletos/v3/measured/independent_solver_same_tool.json
- sha256
- b5f3878540f62063f6bad60c4608750f1c9843dcfae778dbfae6c4fa8132c573
- bytes
- 2024
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- benchmarks/release_shadow/independent_coupling_release_tournament_2026_07.json
- source sha256
- e95162eb886dd659ba0cef62c3768cde6678cf91c96a22a21412d1d945f49501
- chipletos/
v3/ measured/ independent_ solver. json - path
- chipletos/v3/measured/independent_solver.json
- sha256
- 0b4e615b199b72da082cf135b2e4cea55b6ca02ac97e5d59319cb528062ccaef
- bytes
- 2368
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- benchmarks/fastercap/operator_vs_fastercap_2026_07.json
- source sha256
- f77856fdec4bf3ececc77a17a1a109a4553ab91c426b017c2820c5b26c8c584e
- chipletos/
v3/ measured/ ip_ ledger. json - path
- chipletos/v3/measured/ip_ledger.json
- sha256
- 9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81
- bytes
- 5663
- visibility
- public
- chipletos/
v3/ measured/ packaging_ scope. json - path
- chipletos/v3/measured/packaging_scope.json
- sha256
- c1ed7b01b769fd0f61c60e1f15f110d99f802255573aee14cc1da23069e6b4cb
- bytes
- 770
- visibility
- public
- chipletos/
v3/ measured/ pairwise_ superposition. json - path
- chipletos/v3/measured/pairwise_superposition.json
- sha256
- 9e44220b7ed3ee760b5254736a6c8a5963a3c832b1857cdbd3af359352931e10
- bytes
- 1762
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- benchmarks/fastercap/pairwise_indictment_2026_09.json
- source sha256
- 0601b34a8bdc7d8abdbbbd7871a1e86bbb3850c7e94dc0316644fbaf6ec25b62
- chipletos/
v3/ measured/ self_ check. json - path
- chipletos/v3/measured/self_check.json
- sha256
- ffcbf5e4887e0c0cf4b051abe356eb9ed1dfd873ab5f843a4394821641063cb1
- bytes
- 2008
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- dataroom/TOP_N_ATTESTATION.jsonl
- source sha256
- 73bf88d1ecd6c3299599f1929a6fda2e3b20dbe725d908375a1aec5038f199e8
- chipletos/
v3/ measured/ verified_ checker. json - path
- chipletos/v3/measured/verified_checker.json
- sha256
- 78d7abe7c450d9349d46d493f69ade44c3e641721e89b8e85d42b3f1d351f061
- bytes
- 1338
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- reports/security/cake_lpr_certify.json
- source sha256
- 3b0e087d58968b55f9f2d6b9569d090d6cadbb1b89f6ec61d113344c283e2caf
- chipletos/
v3/ measured/ zk_ hiding. json - path
- chipletos/v3/measured/zk_hiding.json
- sha256
- 0cc1eec1d491e43014d2e2080375748e3bff7189f98c2b41e015c54e33e275d1
- bytes
- 703
- visibility
- public
Cited files, published byte for byte
18 filesEach of these is the exact file the result came from, read out of its repository at the revision recorded beside it. Hash it yourself; the digest must match.
- chipletos/
v3/ proofs/ aerial- enclosure/ sprint232_ kpis. json - path
- chipletos/v3/proofs/aerial-enclosure/sprint232_kpis.json
- sha256
- 78390e0c7b20ca9c730b3b4b9ad26bfb25759f5445fa2f1d478c998e1967450c
- bytes
- 3159
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/patent/sprint232_kpis.json
- chipletos/
v3/ proofs/ aes- 0. 13- percent/ hiding_ fractions. json - path
- chipletos/v3/proofs/aes-0.13-percent/hiding_fractions.json
- sha256
- 93abe53b177d79f0d99dbb4ab859375b8df5f92672e6fb5413a0e8956a70c784
- bytes
- 9211
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- reports/security/hiding_fractions.json
- chipletos/
v3/ proofs/ aes- constant- time- localized/ zk_ ct_ aes. json - path
- chipletos/v3/proofs/aes-constant-time-localized/zk_ct_aes.json
- sha256
- 0eb4cf4c9ec7805635b41791effe47466055cabf0bdd0ec4389f644e8d2d22c4
- bytes
- 1858
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- reports/security/zk_ct_aes.json
- chipletos/
v3/ proofs/ cone- sufficiency/ ConeSufficiency. lean - path
- chipletos/v3/proofs/cone-sufficiency/ConeSufficiency.lean
- sha256
- 182f9dd334c3d42e49cfbbd1f2e76ff7414ba425e0af5191025a4e8c160b7835
- bytes
- 22558
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- lean/ConeSufficiency.lean
- chipletos/
v3/ proofs/ confidential- mask- stark/ mask_ stark_ receipt. bin - path
- chipletos/v3/proofs/confidential-mask-stark/mask_stark_receipt.bin
- sha256
- 8044693d10f3dc2a9a317145672813b66ac7890e7703dd4421d08c68ee72d672
- bytes
- 268570
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/zk_stark_maskproof/mask_stark_receipt.bin
- chipletos/
v3/ proofs/ divider- zero- bits/ bv_ decide_ divider. json - path
- chipletos/v3/proofs/divider-zero-bits/bv_decide_divider.json
- sha256
- 93d35516260259f68ef77b75b30c4c829d9a07d69e3d642d4198b52856c7277b
- bytes
- 409
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- reports/security/bv_decide_divider.json
- chipletos/
v3/ proofs/ mask- rule- repair/ leaderboard_ detail. json - path
- chipletos/v3/proofs/mask-rule-repair/leaderboard_detail.json
- sha256
- 0fbdcd6c0d1205d002a76da8da50c0aba6a9ff53eab88d224c557575b5442861
- bytes
- 64142
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/reports/leaderboard_detail.json
- chipletos/
v3/ proofs/ pairwise- floor/ family_ two_ tight_ pairs_ certified_ sup_ 2026_ 08. json - path
- chipletos/v3/proofs/pairwise-floor/family_two_tight_pairs_certified_sup_2026_08.json
- sha256
- 88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d
- bytes
- 234599
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- benchmarks/impossibility/family_two_tight_pairs_certified_sup_2026_08.json
- chipletos/
v3/ proofs/ passive- by- construction/ PassiveConstruction. lean - path
- chipletos/v3/proofs/passive-by-construction/PassiveConstruction.lean
- sha256
- a7f3e939103f7c203494b3ff1d84a4eea14b886ad38cae795fec14f12754703b
- bytes
- 1355
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- proofs/lean/Genesis/Genesis/PassiveConstruction.lean
- chipletos/
v3/ proofs/ reticle- certificate/ sprint252_ kpis. json - path
- chipletos/v3/proofs/reticle-certificate/sprint252_kpis.json
- sha256
- ca01ad10d4697ceb4ea791e8a69cfa56b0bfd0176c52ffba225c090788e1a381
- bytes
- 5246
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/patent/sprint252_kpis.json
- chipletos/
v3/ proofs/ screening- ceiling- any- n/ ScreeningCeilingGeneralN. lean - path
- chipletos/v3/proofs/screening-ceiling-any-n/ScreeningCeilingGeneralN.lean
- sha256
- c8d23cb4697785505f0a72a7ad46990c1aa6218d44894c7f7635faf6af186ab5
- bytes
- 12358
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- proofs/lean/Genesis/Genesis/ScreeningCeilingGeneralN.lean
- chipletos/
v3/ proofs/ signoff- bit- floor/ SignoffBitFloor. lean - path
- chipletos/v3/proofs/signoff-bit-floor/SignoffBitFloor.lean
- sha256
- 364d52042a552b1efe0af5fc038b9e6da18a0668287c2481b4cd9b3733437d19
- bytes
- 4762
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- proofs/lean/Genesis/Genesis/SignoffBitFloor.lean
- chipletos/
v3/ proofs/ thin- mask- gap/ sprint254_ kpis. json - path
- chipletos/v3/proofs/thin-mask-gap/sprint254_kpis.json
- sha256
- 80e8edce67750b2b40747c61c54ce8a8b2a5e9b446842eac7fda7aea71df2338
- bytes
- 6428
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/patent/sprint254_kpis.json
- chipletos/
v3/ proofs/ third- party- escapes/ sprint211_ kpis. json - path
- chipletos/v3/proofs/third-party-escapes/sprint211_kpis.json
- sha256
- 8c638384201b7ee6b625401fd4455e1b1d8df6f81c0de1a7cc49467aa4eac7d5
- bytes
- 338
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/patent/sprint211_kpis.json
- chipletos/
v3/ proofs/ trace- floor/ CapacityFloor. lean - path
- chipletos/v3/proofs/trace-floor/CapacityFloor.lean
- sha256
- 6a0c1a407ba9487ba3189c698e2540671fc6c7b81e1d7bb7422b4f1e151be305
- bytes
- 11150
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- lean/CapacityFloor.lean
- chipletos/
v3/ proofs/ two- sided- envelope/ family_ two_ tight_ pairs_ floor_ 2026_ 07. json - path
- chipletos/v3/proofs/two-sided-envelope/family_two_tight_pairs_floor_2026_07.json
- sha256
- ab2b776d4c2a44bbdda2334164560cdaf996a670154c381fc3ee447cd3b88372
- bytes
- 1622
- visibility
- public
- read from
- genesis (packaging & extraction) @ 39f6b06f
- path there
- benchmarks/impossibility/family_two_tight_pairs_floor_2026_07.json
- chipletos/
v3/ proofs/ unprintable- 36nm/ evidence. json - path
- chipletos/v3/proofs/unprintable-36nm/evidence.json
- sha256
- c0308cad0627deb3fb0363bed0d7335f84d246c84f9312cc2ccfd19961ecca1b
- bytes
- 187614
- visibility
- public
- read from
- computational-lithography @ 6125a0f
- path there
- computational_lithography_lab/reports/f605_unprintable/evidence.json
- chipletos/
v3/ proofs/ verifier- soundness- z3/ verifier_ soundness. json - path
- chipletos/v3/proofs/verifier-soundness-z3/verifier_soundness.json
- sha256
- 4372b0266a6ad647eed0d31d8b9fab58dfa8bd821e1915962e4fd2a127c10fe6
- bytes
- 11867
- visibility
- public
- read from
- eda-platform (confidential verification) @ e25b611
- path there
- reports/formal/verifier_soundness.json
Evidence state of every number this page binds to a file
No figure is printed on this page. Each of the twelve states below is listed with the rule that would put one there.
- loadinga figure read in the browser before its file has loaded
- unsearcheda question this page has never checked
- searched none founda question checked with nothing found
- no data availablea file that exists but holds no value for the row
- search faileda figure whose served file is missing or no longer hashes to its record
- unresolved identitytwo files that disagree about which object a figure describes
- underpowereda sample too small for the claim, printed with its n
- contradictorytwo files that give different values for one quantity, both shown
- license restricteda file that cannot be published, shown by path and hash only
- stalea measurement older than ninety days, printed with its age
- not applicablea question that does not apply to this page
- analysis faileda measurement whose generator errored