Published files
Every file this site cites, with its size and SHA-256. Hash any file served here yourself; its digest must match the one printed. Files listed by digest only cannot be checked this way. The machine-readable lists are MANIFEST.json and FIGURES.json.
150 files are served with their bytes. 31 are listed by digest only.
Code and codec admission4 files
- claims/
certbench. json - sha256
- c64e78cdf221169b180b36516cd452c6370ead108016885f627703a35cc8137b
- bytes
- 2908
- bytes served
- yes
- claims/
patch- differential. json - sha256
- 9594e83d7305f07bd8a93f7bec80fdd6d59f095bd9696d73b38836c1a8b3972e
- bytes
- 2972
- bytes served
- yes
- results/
certbench. json - sha256
- 18fa9f79dfd902528342194c31f9c1e62ffa13dff3bbc9a501557a8f36c227fb
- bytes
- 8432
- bytes served
- yes
- results/
patch- differential. json - sha256
- 56d707f98c9ac86d35ee771b515dc73943433c4233c4a83fc4903b41e160066f
- bytes
- 8569
- bytes served
- yes
OrbitalProof: the figures on this page11 files
- v3/
measured/ ap_ bound. json - sha256
- 11050fc57b921307415e42c53e4688767d2c10a0a957c841c0ea2c08a2da286d
- bytes
- 987
- bytes served
- yes
- v3/
measured/ open_ artifacts. json - sha256
- c6aed8f50062ecd3977fc148bf1474ed7e966e1c0a1f3af24fa3abf49bc937e2
- bytes
- 2732
- bytes served
- yes
- v3/
proofs/ acvp- 255/ acvp_ ci. json - sha256
- f531ac848846ec13a923a5f3710e6e5ebf1a493ec9119222a52b072d61ff781e
- bytes
- 2245
- bytes served
- yes
- v3/
proofs/ ap- memory- bound- source/ ApBound. lean - sha256
- 1016fcc2f342d014b0d1e334de48397e54cf3b285971ca4623d8f289fb80bf7c
- bytes
- 20102
- bytes served
- yes
- v3/
proofs/ ap- memory- bound/ lean_ proof_ ci. json - sha256
- ba82e69dfa5520b596c998100eec99f585b9f0f8d6b5e340497947d922a67fc8
- bytes
- 5532
- bytes served
- yes
- v3/
proofs/ ap- quota- measured/ ap_ quota_ ci. json - sha256
- ec61c6772a5e5431be044a2539370b296bfe6e01d8efb320c59bcf76fdf4c811
- bytes
- 35009
- bytes served
- yes
- v3/
proofs/ frer- floor/ frer_ local_ check. json - sha256
- 8ea778fd0c685dd2a32c737a28b9f08117da86654c9d21675a9b1437fcee937a
- bytes
- 1280
- bytes served
- yes
- v3/
proofs/ gf16- optimal/ gf_ mult_ results. json - sha256
- c7d615c65d7bad9919a006b4c38a0c04053bb60465f130f33ca47f073e952129
- bytes
- 4336
- bytes served
- yes
- v3/
proofs/ harq- rounds/ rounds_ converse_ v54. json - sha256
- a2428baa4ebcc47fec016e51fab4d21016085ec60fb7b109738b66232d86029e
- bytes
- 4555
- bytes served
- yes
- v3/
proofs/ kyber- identification/ claimbom_ ci. json - sha256
- 9bdd257dcb3d43d04716953349f558e73189cb1cd15067f5fc74f985f9533834
- bytes
- 23322
- bytes served
- yes
- v3/
proofs/ unseeded- hunt/ unseeded_ hunt_ ci. json - sha256
- b47e41ee8c6e7daa5e1f98aea85b870c0e006c1f8d44279f08cf6ad40adcb537
- bytes
- 2929
- bytes served
- yes
(root)1 file
- REDACTIONS.
json - sha256
- 6d9857dcf15385523c76d54ffd3501ba569918069c61d96d1ebb451fc338fe63
- bytes
- 2448
- bytes served
- yes
Post-quantum Wi-Fi97 files
- agreement-
checks/ known_ failures. jsonl - sha256
- 150201d847a9f6c38ce722eff3f7a478d92d223500e2c397e8966836e6a6002c
- bytes
- 18750
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- agreement-
checks/ predictions/ ap_ resource_ tail_ latency. json - sha256
- 3bd7239172939b20d449a6d24ff196c4c713c907394480d90d0f28d39df51426
- bytes
- 1803
- bytes served
- yes
- agreement-
checks/ predictions/ claimbom_ dilithium. json - sha256
- a215a21f9c77fe3d930e2ccc6229e427be9eb4534825c3722a903dd86be1526b
- bytes
- 2980
- bytes served
- yes
- agreement-
checks/ predictions/ claimbom_ mlkem_ native. json - sha256
- 20246faf0010ac7c5463f1b24aa8c46a507aa43741a8e23830090fe0308d3f9b
- bytes
- 2960
- bytes served
- yes
- agreement-
checks/ predictions/ crossproto_ budgets_ restored. json - sha256
- 71d6913b671477fefdc8ce7462d3e1158ac2370264fc882a6f43eb47df99c08d
- bytes
- 1773
- bytes served
- yes
- agreement-
checks/ predictions/ dos_ law_ linux4k. json - sha256
- 6d63c5423f0dc013af6aca95069d1afc417d122f26e09732b159ec04349a5c32
- bytes
- 1550
- bytes served
- yes
- agreement-
checks/ predictions/ eap_ freeradius_ persistent. json - sha256
- 9665edcf657b5331aa8fa1c624c9eb6c7beb5a1e805a15b5ffe8497cfd664af8
- bytes
- 1625
- bytes served
- yes
- agreement-
checks/ predictions/ hostapd_ 2_ 11_ swap. json - sha256
- db4308e906aa29a01a9af4eff73b1311cabc43a91f8799f4833618a53d61921e
- bytes
- 1685
- bytes served
- yes
- agreement-
checks/ predictions/ hybrid_ family_ seven. json - sha256
- af2dbfa3c33d43665fbb0e206c030d08f0fa87d811d9e18d818fd1036c766287
- bytes
- 1647
- bytes served
- yes
- agreement-
checks/ predictions/ interop_ 3p_ contract. json - sha256
- 4b6d9a3082a551e83b70098e9cdbaa75c88bdfaaf80c7c645db75c026a7880ff
- bytes
- 1675
- bytes served
- yes
- agreement-
checks/ predictions/ outward_ provers. json - sha256
- 58a3e2a7d087676937782bf6a9366f34af680e517bda32843bb0f340e1bad21c
- bytes
- 3831
- bytes served
- yes
- artifacts/
claimbom/ pq- code- package- mlkem- native. bom. json - sha256
- b403aa24e41e1fcdc301d332ca7ef1d4b01925c704f6a144f22d84dd6e247711
- bytes
- 251574
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
claimbom/ pq- crystals- dilithium. bom. json - sha256
- e532d234911fa6ad66f33dec275221d6c1f7017edd38842b705a763b4e9d119b
- bytes
- 362047
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
claimbom/ pq- crystals- kyber. bom. json - sha256
- 7fbe34e3f8d88420338d25c4211c8835bd4a2929a4d88772d8b749cbb160b4f7
- bytes
- 245167
- bytes served
- yes
- artifacts/
native/ acvp_ ci. json - sha256
- f531ac848846ec13a923a5f3710e6e5ebf1a493ec9119222a52b072d61ff781e
- bytes
- 2245
- bytes served
- yes
- artifacts/
native/ adversarial_ gate_ audit_ ci. json - sha256
- a31b2768a4fc99f9fdd60c8198d6add7901384a7e0288ee8da33130eae6c269c
- bytes
- 5315
- bytes served
- yes
- artifacts/
native/ ap_ quota_ ci. json - sha256
- 8490a22a274cf3c51c932eecb702063a1ef4eeecf40714a7033928969c1701cb
- bytes
- 25055
- bytes served
- yes
- artifacts/
native/ ap_ resource_ gate_ ci. json - sha256
- b6ca20514b3389487ae2faaad6292b2b4df4e8c03f4194719833aa5ad79e7647
- bytes
- 258504
- bytes served
- yes
- artifacts/
native/ ap_ resource_ hwsim_ ci. json - sha256
- ef4b7db56aadf3c55eb0e148b0406438079e0c02e2d8dd1d4435cedcfb8091a3
- bytes
- 7543
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
native/ claimbom_ ci. json - sha256
- 9bdd257dcb3d43d04716953349f558e73189cb1cd15067f5fc74f985f9533834
- bytes
- 23322
- bytes served
- yes
- artifacts/
native/ crossproto_ impossibility_ ci. json - sha256
- 5b068dd3a78a14815d47eaf9978cbf4135ba19740776b9a9a8539621e92daca3
- bytes
- 1155
- bytes served
- yes
- artifacts/
native/ designaround_ boundaries_ ci. json - sha256
- 7137859aa1828ef0c090e1afb5875b98d59bfdfacc9b1f9286cbf23c7cb10309
- bytes
- 2619
- bytes served
- yes
- artifacts/
native/ dos_ memory_ ci. json - sha256
- 90e937e77857420ce8bfcca0b7c2f2a0e898a8c7cc44c696d9a225ccdd318b7c
- bytes
- 12759
- bytes served
- yes
- artifacts/
native/ dyncap_ ci. json - sha256
- 8684e52a9e791ed80a0f669429981ebe5747ef0f1ba5d9e0c28dc73823e648ff
- bytes
- 30335
- bytes served
- yes
- artifacts/
native/ external_ readiness_ ledger_ ci. json - sha256
- c89c2361de164d2abad4d0e19fa751cdfd31c56ecdfd39ff2af00f016a898f85
- bytes
- 957
- bytes served
- yes
- artifacts/
native/ fault_ model_ ci. json - sha256
- 57c271f88e9e2f195046728934cea23cf07197f22dccd13c7b319727068388ba
- bytes
- 1795
- bytes served
- yes
- artifacts/
native/ gate_ genus_ ci. json - sha256
- a8c30d7ddfee745afe166be8c527d7b168a295e47dbf623151387990f0879547
- bytes
- 185
- bytes served
- yes
- artifacts/
native/ hybrid_ downgrade_ citation. json - sha256
- 54cfdd596e979604216b2746aac4900ab6cce534192bc9abba41bd4df63d2535
- bytes
- 6907
- bytes served
- yes
- artifacts/
native/ ikev2_ rfc9370_ downgrade_ ci. json - sha256
- 67b4407dba41055dba3473d1e8506fd1f1dfe744001009205dd90576185fe1b3
- bytes
- 1670
- bytes served
- yes
- artifacts/
native/ interop_ 3p_ ci. json - sha256
- 6feca0be5f16c2754236770c129f84ae60232558ae277e2364457a6c2c87aa8d
- bytes
- 2388
- bytes served
- yes
- artifacts/
native/ interop_ kit_ ci. json - sha256
- 8e20b8d04bb5d73b301be79de50ee7e95fd7b008b680364978f205820f26404c
- bytes
- 537
- bytes served
- yes
- artifacts/
native/ kem_ combiner_ binding_ audit_ ci. json - sha256
- 458648980b4f8cabb77dfcfe1ca81d84d764247f44428c357359f8e069487493
- bytes
- 9006
- bytes served
- yes
- artifacts/
native/ label_ floor_ ci. json - sha256
- cf86d38e77da6c2f2a4eaec96bd6452b2ec46622dd0ddea28f7c5d3a32ea4558
- bytes
- 2300
- bytes served
- yes
- artifacts/
native/ lean_ ap_ bytes_ ci. json - sha256
- 5434634fe6f1a7f75200464d1b87a1ce674d6910cecb74ff8e877b52ad6e86e2
- bytes
- 3558
- bytes served
- yes
- artifacts/
native/ lean_ proof_ ci. json - sha256
- ba82e69dfa5520b596c998100eec99f585b9f0f8d6b5e340497947d922a67fc8
- bytes
- 5532
- bytes served
- yes
- artifacts/
native/ length_ privacy_ pareto_ ci. json - sha256
- 89784b7db444b54392c3ebecda636b6ac4426a2fcfdb7fbb80fb36b93d780c83
- bytes
- 1399
- bytes served
- yes
- artifacts/
native/ merkle_ beacon_ onair_ ci. json - sha256
- 6ddb01cefb34f63b49eb2f8e5d0608dad6364b16151094d073ec4f8a3ebf15c4
- bytes
- 32166
- bytes served
- yes
- artifacts/
native/ native_ akm_ inband_ ci. json - sha256
- 7835ffc23826212ae33f1d2f6b25099038166235f51db2ec5088a3e5a53068f3
- bytes
- 998
- bytes served
- yes
- artifacts/
native/ optimality_ cert_ ci. json - sha256
- 887300966344aacb6214c00fa1164bc3708f29b6241f1f13511a779d24db218e
- bytes
- 7378
- bytes served
- yes
- artifacts/
native/ oss_ verifiers_ ci. json - sha256
- 44adc20435e880863c1296a37e20921c3f9dc2123dc34e7bf23ba2dff2276f0c
- bytes
- 4408
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
native/ outward_ provers_ ci. json - sha256
- 89d9cf507fdf1f77ed1b3290330c0912cccd735f99249e69866c6e5c93628fb2
- bytes
- 16793
- bytes served
- yes
- artifacts/
native/ pqc_ binding_ agreement- check_ kat_ ci. json - sha256
- 85a1ccbacb3e8f17d81f0f87a8eee43bd36fff5fbfbf3d0fc418ee26c7e7512b
- bytes
- 1917
- bytes served
- yes
- artifacts/
native/ pqc_ handshake_ onair_ overhead_ ci. json - sha256
- 85fcc9962fd2168c1c115b24c5a16c257040e155f0ea0dcf5f311e074bb9410b
- bytes
- 2713
- bytes served
- yes
- artifacts/
native/ pqc_ hybrid_ downgrade_ family_ ci. json - sha256
- 5d65a8f8e9a7543a2411ebe4bc3fa3a34cb8f34d63619702881a14965fed1783
- bytes
- 5868
- bytes served
- yes
- artifacts/
native/ pqc_ keytransport_ exploitability_ ci. json - sha256
- eaef75060fdeb7594cf44a7417ef81cdf359d1f864ed7193a6e69df3dc5ae5ca
- bytes
- 6422
- bytes served
- yes
- artifacts/
native/ pqc_ keytransport_ spec_ evidence_ ci. json - sha256
- a2d96282adc6fc099b6668e01f7ff80bd7174a154054abf48eb2d9a42f7435d5
- bytes
- 5193
- bytes served
- yes
- artifacts/
native/ pqxdh_ ci. json - sha256
- 2afb28c5e88562694a3ebb6b0be6a05441e4bfde43e01bf6ec0aac11f52207f1
- bytes
- 1927
- bytes served
- yes
- artifacts/
native/ pre- registration_ ci. json - sha256
- e53535661e8bfdf95eac27f37bec99f9648428b67a3b89d147b1c666b655e1fc
- bytes
- 10432
- bytes served
- yes
- artifacts/
native/ public_ surfaces_ ci. json - sha256
- 94c0f2ba4260f26f5808a7132551982a779da1df878f95c3c97f56cdde640ef2
- bytes
- 42342
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
native/ qmc_ starvation_ ci. json - sha256
- 6efdafe19a2514b67059378c5b3249cfeaec87cd4779a3d990f0a7e7d1080662
- bytes
- 1592
- bytes served
- yes
- artifacts/
native/ quota_ curve_ ci. json - sha256
- f705b726e88606c1f1b1c1d823fc6b87eea197953989ed283d6d1f44845b4511
- bytes
- 1776
- bytes served
- yes
- artifacts/
native/ reassembly_ crossing_ ci. json - sha256
- 014c5c33fef8a8b5100a5577614149818e242dcff45a53aeb2401b4b64345a6e
- bytes
- 843
- bytes served
- yes
- artifacts/
native/ research_ commitments_ ci. json - sha256
- ed0cfecc1644b6b3de27ced1d776c8bd6658f0837c68b360e0dd3cce0b4d2ee4
- bytes
- 17023
- bytes served
- yes
- artifacts/
native/ selfcheck_ boundary. json - sha256
- 97242f12e5b3aaf60a481c57b7c29608517e9508aa58d9e38ca5c7ff6118c78e
- bytes
- 955
- bytes served
- yes
- artifacts/
native/ tightness_ bounds_ ci. json - sha256
- 3a97e8186c07fdb087d6a4decf811ef5e09d9cb4b19129b17c9036e823058f32
- bytes
- 1643
- bytes served
- yes
- artifacts/
native/ tightness_ numeric_ ci. json - sha256
- 91dea90bceecb0ce50c72e462474d1053bb3941921ded73920ca1e740dc88ba4
- bytes
- 1348
- bytes served
- yes
- artifacts/
native/ xlayer_ impossibility_ ci. json - sha256
- 282e58a7ce5cadb82e1454bdb86f0dcba8e5202b540e4bf033dbaf67b6f61103
- bytes
- 1112
- bytes served
- yes
- claims/
netlist- equivalence- 422. json - sha256
- eb32f837e94e8d867b8102d9a2739fe4da86b8db21733ea66482361b52d67318
- bytes
- 2728
- bytes served
- yes
- claims/
unseeded- hunt- 11200. json - sha256
- 562366d77516a63fb8a77b380ca33aa9fb26e0c23eb9daa71fd928ca73de8458
- bytes
- 2755
- bytes served
- yes
- dataroom/
top_ n_ check_ record. jsonl - sha256
- 9bf48d398fc36b52f21264edc3a04b8e2c3cd7da3c53f24ec80636897997097e
- bytes
- 3364
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- dataroom/
top40. json - sha256
- 6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353
- bytes
- 167747
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- dataroom/
witness_ quality. json - sha256
- 5d379a10112d400163b35100a423124c28e8bfbbdbe4378b71840eda85f75cfe
- bytes
- 143046
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- oss/
datasets/ pqc- formal- corpus/ README. md - sha256
- 9263151c567160b0e05523846eafbac39abd93c468d7da41d03dbbe48ebde9b2
- bytes
- 10740
- bytes served
- yes
- oss/
OSS_ RECONCILIATION. md - sha256
- 017920c47e388031e981950a90bc41cb28cd887f1134416dcb00d5fd5f5248d9
- bytes
- 16895
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- oss/
outbox/ pqc- claim- bom/ data/ claim_ bom. jsonl - sha256
- d2820a43fb8be8538462b4fc6633f6d7ca657c7ae456d803db5c7e88eeb9f61c
- bytes
- 22419
- bytes served
- yes
- oss/
outbox/ pqc- hybrid- downgrade- family/ data/ citation. json - sha256
- 34e52c3604235be5c3e712552962d28f45c1287ad9c6e29d4671fd4ef58f78ab
- bytes
- 6906
- bytes served
- yes
- oss/
outbox/ pqc- negative- results/ data/ negative_ results. jsonl - sha256
- 2ae1b99f63fc07e7ef58ec28220a4bb402e2b137b8f1ca41e5cc4cd5314c57b6
- bytes
- 5513
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- oss/
outbox/ pqc- state- verifier- bundle/ controls. tsv - sha256
- 0ccd20a08e90f4366dcd59ffe9a62b57ddc0941f1b9a801561c26b93f7a9f6bf
- bytes
- 701
- bytes served
- yes
- oss/
pqc- mfb/ README. md - sha256
- afaa3ed7ab687ce6a04a75a8115a09a1377e2d8faeb4148f6ada5775adb3f754
- bytes
- 17078
- bytes served
- yes
- oss/
pqc- migration- mcp/ src/ pqc_ migration_ mcp/ server. py - sha256
- f632e9e68f260506f33b0e393232ef0edf1b36dd021e5354c5ab39915f0920e4
- bytes
- 12428
- bytes served
- yes
- oss/
pqc- sizes/ README. md - sha256
- dad4f2c1b0b07b1b2c72d43a039e1475d8231655b897667153ce2b89e32ad38b
- bytes
- 14658
- bytes served
- yes
- oss/
tools/ check_ surface. py - sha256
- 3f9083a96b54472566703d81cb1b78a0553c02664687fa2a0025810d10c6c580
- bytes
- 17401
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- repro/
cbmc- bounded- decision- contracts/ EXPECTED. md - sha256
- cf06dbfbadfdf6c4a343c5874e52a2b4d5b82cbdd1119ef3d17e19d93de7f3c0
- bytes
- 2585
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- repro/
claimbom- refuted- third- party/ EXPECTED. md - sha256
- d51dc292dd62e7a2eb778a764278d1e627ded035f45246fa20324252114213db
- bytes
- 3309
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- repro/
INDEX. json - sha256
- 378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb
- bytes
- 26512
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- repro/
kyberslash- fixed- version- ct/ EXPECTED. md - sha256
- b693f47e828d3191118b3dacdc5fbcefeec84233eb54cbd2da94ff60a11e6a32
- bytes
- 3182
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- repro/
sae- proof- kill- matrix/ EXPECTED. md - sha256
- 25b20eb42c93f459b0cd9b02b5bfca3e87dd5d3c4093ddd7819efc7a9566c43f
- bytes
- 2607
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- repro/
third- party- mlkem- interop/ EXPECTED. md - sha256
- 271f8def04dd7ad9a8a2b360d6bdd88d0e86699a43dbdb14ce677200d34b7908
- bytes
- 3316
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- results/
acvp- nist- 255- vectors. json - sha256
- c9795cf630f656dab40d3f99c7dc9cc57dd3401746ddda64ee9ed3f05be5e3b7
- bytes
- 9420
- bytes served
- yes
- results/
ap- wide- memory- bound. json - sha256
- fd210ca0ecd0106dd3adfbc181be277633072b6095ceac4682c242b6a437d7f3
- bytes
- 9324
- bytes served
- yes
- results/
atlas- admits- what- does- not- fit. json - sha256
- 901683c73f039cb9b194f6b784b03b22c313f328135ba5ab6c0bbefa3239d5b7
- bytes
- 8362
- bytes served
- yes
- results/
cbmc- bounded- decision- contracts. json - sha256
- 5f0d84ab8c9dc5e0b3aedcc222e117c6f845d0531bb9ecbed493a2ba09f47538
- bytes
- 9321
- bytes served
- yes
- results/
conformal- risk- certificate. json - sha256
- 7ecdcf55041dfbe81fd3085f217445c4ddd1fdac7fb6d91a71f6df0d18e65837
- bytes
- 7972
- bytes served
- yes
- results/
counter- only- cannot- be- exactly- once. json - sha256
- 61381dc3a9ee9dcf4270acde1e38eb5cba4863363e04e9a754cc08e7dbfb23b1
- bytes
- 8326
- bytes served
- yes
- results/
forbidden- headline- gate. json - sha256
- a8eda11b0d6e2c3efeb3021c5324775c65cf71e0eecb9a3b8e256ac9d8d4aec8
- bytes
- 8397
- bytes served
- yes
- results/
kyberslash- fixed- version- ct. json - sha256
- a539d4fea14ada6f4f64132c543922e001e3e9ff5b6abf365640c7fe63cb357b
- bytes
- 11133
- bytes served
- yes
- results/
libcrux- three- way- agreement. json - sha256
- 2bff4f2d09c7e78efa4ad301e6de5826bd9ec45e9ee4e5099e0935653cc5f74f
- bytes
- 7490
- bytes served
- yes
- results/
minhw- six- floors. json - sha256
- e17286a6d23cec497fd1adbe4f636457a200020d591bb46cfa02845b96fc1dde
- bytes
- 8459
- bytes served
- yes
- results/
mlo- 755- zero- accepted. json - sha256
- 0f8bcae81c15fe1c9d8c1642e141efc2f4fc79759f48c149572aff6706b15f25
- bytes
- 8522
- bytes served
- yes
- results/
mutation- kill- rate. json - sha256
- d1650941acde47f64b801afe283a79e7049ff17f529af1618f8700ecb2c32508
- bytes
- 8775
- bytes served
- yes
- results/
netlist- equivalence- 422. json - sha256
- 3de8045641313d7b5bdd3fac8ac22d5c5192903c1def80c068a1a87e6222d29a
- bytes
- 13685
- bytes served
- yes
- results/
onair- and- cpu- attribution. json - sha256
- 7ee34ace49cbedcbf0117c3e50207d70bc8b3d5d9ed44e8ffa76638d2a1f4675
- bytes
- 9451
- bytes served
- yes
- results/
rust- python- 102- verdicts. json - sha256
- 14f01c76ddb605694d731432f59575de10ae7cbdfd0b6d0099b0735fe29ef1ca
- bytes
- 7929
- bytes served
- yes
- results/
sae- proof- kill- matrix. json - sha256
- c33e5dbb916b73f504e4bf51317d093cdf21eeb3291f70cdae15c1c3bc87aeb9
- bytes
- 10090
- bytes served
- yes
- results/
third- party- mlkem- interop. json - sha256
- 13b6339ddc5ea25b9914878cd1735e0adf24a73793382a1b18f6fc544c3ab641
- bytes
- 10582
- bytes served
- yes
- results/
unseeded- hunt- 11200. json - sha256
- ed6b3178217b531d9e0041d99b4cecfddb79b11392930be40cfc5099e733093a
- bytes
- 12440
- bytes served
- yes
- results/
zk- stark- receipt- 102. json - sha256
- 8556c55e041359676a6e81f52a2d3fef47ec87e8118464187aa1fb2e1df5c108
- bytes
- 7487
- bytes served
- yes
Wireless reliability and protocol bounds68 files
- _
root/ repro/ capinfer- mcp- disagreements/ EXPECTED. md - sha256
- f98110252e6671314511f50a60debb1c6cea10c43c079eba5ab5ebba2f588a40
- bytes
- 3941
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- _
root/ repro/ INDEX. json - sha256
- 0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee
- bytes
- 24483
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- _
root/ repro/ leastpriv- six- axis- synthesis/ EXPECTED. md - sha256
- 163265e55019c0853bd9d2c6b5861eab0ddb1e4b1d97103728a312ad7977da21
- bytes
- 6157
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- _
root/ repro/ monitorgen- five- targets/ EXPECTED. md - sha256
- 9ad52601c0cfa111a91c0d9eb9c78e45111ae3aedf141fe12d760bf1ce585869
- bytes
- 6269
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- _
root/ repro/ txn- crash- recovery/ EXPECTED. md - sha256
- afe01d3443c6322f100c30363d130b01d60f1e4a45eb73dc5fd3bbc62350cad7
- bytes
- 6513
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- _
root/ repro/ uec- interconnect- essentiality/ EXPECTED. md - sha256
- 0b077e895ea344baf1a8a16e91d9f6b5b31aef90a6bb14e0730807c35d2710d6
- bytes
- 6771
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- ARCHITECTURE.
md - sha256
- 81ed2869740b12e0520f0ab379194a8b771902085c655850abe5b6944eb0b22b
- bytes
- 209829
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
asic_ flow_ v38. json - sha256
- 5d34c18b6b3eebc1d4f7afad605d7760e1a07819cbe0920fdf057dd44c0f028f
- bytes
- 7450
- bytes served
- yes
- artifacts/
attention_ io_ floor_ v99. json - sha256
- ef3cde4234d34e384cc9f440fbbe7e3e6bfb4eb611535c84ec61ac0c61b03a60
- bytes
- 6610
- bytes served
- yes
- artifacts/
automata_ max_ essentiality. json - sha256
- 88aa70a31d00f89c406a9f4dc16eb867690e02dc16d96973884ff94d50cbb446
- bytes
- 6391
- bytes served
- yes
- artifacts/
backends/ hostapd_ runs_ index. json - sha256
- 3ea393adbcdd5b8e9398c0a6d5788a60ea98f52203562b13f3d2b9da1f62429d
- bytes
- 11133
- bytes served
- yes
- artifacts/
backends/ impossibility. json - sha256
- 22f8d899c1f2a5126038e9b0e26a40979f995db373dc3869a9e5f8c97f6feece
- bytes
- 188665
- bytes served
- yes
- artifacts/
backends/ lean_ uncredited. json - sha256
- 45e1b089dc4c8359543ce1986cf0c991e31f4838b1467a599c5bfd145d8c2830
- bytes
- 8150
- bytes served
- yes
- artifacts/
backends/ protocol_ bench_ model_ run. json - sha256
- ca2f94aef3bdcd1fdb10266038d3a5fe52033b1eff65533753044a5dca59cda8
- bytes
- 2728
- bytes served
- yes
- artifacts/
backends/ scope_ defaults_ scan. json - sha256
- a073778153b076b4e83bc0549055e93855eb359af758b29b12d4d3d772bf8bf9
- bytes
- 2645
- bytes served
- yes
- artifacts/
covert_ fbl_ v98c. json - sha256
- bc6a57509dbf7437687519e81b7640062d3b3d5eb40fe019fa4a3f901115e5dc
- bytes
- 7320
- bytes served
- yes
- artifacts/
distributed_ attention_ floor_ v101. json - sha256
- 42542a7f0ea4e7fd16d3f726254740254e97560e90ba26abb601c6113f60edcb
- bytes
- 9114
- bytes served
- yes
- artifacts/
energy_ wall. json - sha256
- 09bcb8b72d7e41e65370d7c6f21f51924baff9b5ee5bb9ef2e1181706a067eda
- bytes
- 2945
- bytes served
- yes
- artifacts/
hallucination_ floor_ v99h. json - sha256
- 6b02b6f94cbe9064435b2a908113b7f2e780464fe7064127d3470fa6641e87b2
- bytes
- 4635
- bytes served
- yes
- artifacts/
mechanism_ family_ closure_ v90. json - sha256
- da5d5b0c6e5a0db062df149651a51e09c5bc675eec8f342cf3094aca6494d44e
- bytes
- 20914
- bytes served
- yes
- artifacts/
pre- registration/ asic_ live_ bar. json - sha256
- ec5164cb543347182ffc460c05bbc2c6457875ed969ab8ba3b209fb9351563fa
- bytes
- 2566
- bytes served
- yes
- artifacts/
pre- registration/ bpf_ kernel_ load_ bar. json - sha256
- a61c49b3b768bef3bdac080bd557243bf142335b508415ba4f4db043b93f997d
- bytes
- 2491
- bytes served
- yes
- artifacts/
pre- registration/ protocol_ bench_ qwen_ bar. json - sha256
- ccc5e38a1ec1b03bb9f351a2447e2287c0d669987501be8bb92595287bad503e
- bytes
- 3011
- bytes served
- yes
- artifacts/
pre- registration/ s08_ scope_ defaults_ estate. json - sha256
- 6488b42e97d388fc685500ee213dc86dc0d0df6a947ef00acfe23bd495184be7
- bytes
- 3442
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- artifacts/
rounds_ converse_ v54. json - sha256
- a2428baa4ebcc47fec016e51fab4d21016085ec60fb7b109738b66232d86029e
- bytes
- 4555
- bytes served
- yes
- artifacts/
semantic_ max_ essentiality. json - sha256
- 01cfdb7e1ea8a39b80997bb01c4556dcbe1ccdeab635f973ba485de7ed58eac9
- bytes
- 45044
- bytes served
- yes
- artifacts/
staleness_ floor_ v93. json - sha256
- f7425f7babd579ceece3f76cc44cb49d1f6313c607259b881bb4d143697b0cf9
- bytes
- 11424
- bytes served
- yes
- artifacts/
wall_ vs_ reliability. json - sha256
- b34d4478a431299dbf94d43192c84a0cf562b103f846486fdc91a404beda005d
- bytes
- 45155
- bytes served
- yes
- claims/
composition- certificates. json - sha256
- 542b3c7c77eeaeef451c1596eb8866d2b6a0d38f5e49d7698e29c81f5baa0212
- bytes
- 1489
- bytes served
- yes
- claims/
leastpriv- six- axis- synthesis. json - sha256
- a184efa822a01ad297a86c3ddfcd21ecf65005b28b633966644ef2f6d9dd010a
- bytes
- 1669
- bytes served
- yes
- claims/
monitorgen- five- targets. json - sha256
- 63098c4fe71a09e09ac1336198fd255121f6fe82ef8b95af13fe5cdf4b4d37fa
- bytes
- 1476
- bytes served
- yes
- claims/
txn- crash- recovery. json - sha256
- ba9f78e1759cdb36808acbd5c2c804dd9cd7cce782ac8f6483b84cf6458a1121
- bytes
- 1572
- bytes served
- yes
- claims/
uec- interconnect- essentiality. json - sha256
- a52231da39b70b23eae4c06bad190fd60d4b09f1fd40ea2458c7b4711d411ddd
- bytes
- 1746
- bytes served
- yes
- dataroom/
top_ n_ check_ record. jsonl - sha256
- 0a32ca5be37efe69c4770cfdc34075f6101dfd530f8f64349812f119f1dc256f
- bytes
- 3470
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- dataroom/
top40. json - sha256
- 94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5
- bytes
- 163338
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- dataroom/
witness_ quality. json - sha256
- d54d7585c2c9014d607f3a27518062eea78a5e1ac86733df5c69067c25f5f365
- bytes
- 135112
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- lean/
frer_ local_ check. json - sha256
- 8ea778fd0c685dd2a32c737a28b9f08117da86654c9d21675a9b1437fcee937a
- bytes
- 1280
- bytes served
- yes
- lean/
TTEFrerRecoveryFoils. lean - sha256
- f27a8ab614ca15c26fb8d01fd3113a547314ddd821d2be275e5ece75ea20083d
- bytes
- 7643
- bytes served
- yes
- leastpriv/
artifacts/ leastpriv_ gate. json - sha256
- c5ecd78ef24322724472bced3c87ef3caa7a7bad0e2fb93e5b01a31b861358d3
- bytes
- 6593
- bytes served
- yes
- monitorgen/
artifacts/ kernel_ load. json - sha256
- 803e94bec7cac2694a0f356f72a9a087f7b5e628a81b36c0a55a609b0a61d5fc
- bytes
- 1940
- bytes served
- yes
- NEGATIVE_
RESULTS. md - sha256
- 6b19a644c2b10e8e8070f9af5f90ca609f5c902f20d2b6600012f999cd9f33ae
- bytes
- 16360
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- oss/
minicheck/ README. md - sha256
- 0b5c2d30841beaaa0274d403ea522d4609e232ba63b814e84ee9a5d849142882
- bytes
- 31947
- bytes served
- yes
- oss/
OSS_ RECONCILIATION. md - sha256
- 6e1418f58dc46ee0a0f7c534307f4578dc6f86de9f7b8e2fdd346a88b4ed7519
- bytes
- 13133
- bytes served
- yes
- oss/
protocol- bench/ dataset/ README. md - sha256
- 2415a3f1ba902109d80be883393a2322499fe75d15f774d2abecca4efb9070b2
- bytes
- 8652
- bytes served
- yes
- oss/
protocol- bench/ src/ protocol_ bench/ cli. py - sha256
- 21d89ed4e385e9c32290f7d57763e87e45f8716caeeb9addc2af7988ad72a2bc
- bytes
- 4487
- bytes served
- yes
- oss/
PUBLISH. md - sha256
- ed74998a2700ecf8f7c3c4da4a5bbc26d9a32c565fae209d5be2cd043421e95b
- bytes
- 7386
- bytes served
- yes
- oss/
specforge/ dataset/ README. md - sha256
- c437220b3bd01b713f5edf6f15c44e7369c37b1ffe945585ca5105bf243eb309
- bytes
- 8853
- bytes served
- yes
- oss/
specforge/ README. md - sha256
- 618926dbf4dfd501e1f33526ba46350f3c28e1bc208b0982367e70c10f191cc1
- bytes
- 19410
- bytes served
- yes
- out/
s03/ unreferenced. tsv - sha256
- db98e7a8f22aafb72b4f25c086fa7d241089950774af0206a0eafc3c7bcec239
- bytes
- 27683
- bytes served
- yes
- pcar/
vectors/ INDEX. json - sha256
- 431036f904fe93b29560e7fb6879ca65350ad2c2bcce61b085d191f837c54c38
- bytes
- 37299
- bytes served
- no, hash only
Withheld: the bytes are not published; the digest is.
- results/
automata- maximum- ceiling. json - sha256
- 67e45c3df4ddffb3eb4c1329c8c739b925d67e3732c6b9a70afdeb5f3942039b
- bytes
- 9090
- bytes served
- yes
- results/
composition- certificates. json - sha256
- d74e18ea84057b4c2b93ffce213e56ce8642d0f3adfe29c0e1dd2c7e67adbd34
- bytes
- 8267
- bytes served
- yes
- results/
covert- square- root- law. json - sha256
- 491111519428086f547352055ed7ae68c52efdab3ca74ad207ec891973bfccc4
- bytes
- 9041
- bytes served
- yes
- results/
frer- injectivity- floor. json - sha256
- c0b677136ecdbaf60e7bdd3efb0b380747f4e7b5c396518485db1575dba0d56f
- bytes
- 9381
- bytes served
- yes
- results/
leastpriv- six- axis- synthesis. json - sha256
- c3464d75bec711c0fe5e9175468e9802c4db7bd76ba11962ea5e7fdc1fbc7b2f
- bytes
- 12787
- bytes served
- yes
- results/
lm- hallucination- floor. json - sha256
- 24e9aa814af11faea3211cf2f3d9eb2795321f101c34d67308dcd8fa061287c9
- bytes
- 8994
- bytes served
- yes
- results/
monitorgen- five- targets. json - sha256
- 1a3c4f73fefa0499f3c1c778ff34802d52214156bc1b47ef3f912436db4476d5
- bytes
- 13601
- bytes served
- yes
- results/
observable- completeness- and- parameter- region. json - sha256
- 1772e47127f7a33cd4254f5aafd8647e0760beb983c5b3785e5076640976163e
- bytes
- 9661
- bytes served
- yes
- results/
provenance- lint. json - sha256
- acfde40987d0941ec4a8cc1d790d5e834e3ab1e30f4f9dec30c2f131632d39d3
- bytes
- 8688
- bytes served
- yes
- results/
rounds- sandwich. json - sha256
- 0c2e1fde32b2a8e48046f18eb8f0a4267b5ab65d4e0c83d8602f997d5a9dda74
- bytes
- 9123
- bytes served
- yes
- results/
statistical- certificates. json - sha256
- dba593b82a3573a701a6337833185555af712b095bad13f9b123b95fc2077ff3
- bytes
- 10112
- bytes served
- yes
- results/
two- engine- tail- latency- converses. json - sha256
- 65c06acf805d1de290395761e512d4437c96188f6d304b7588d1adfbaa8e59a6
- bytes
- 10413
- bytes served
- yes
- results/
txn- crash- recovery. json - sha256
- 3b5e4cbb628e822d458fdee5a5fe522ce8126364617028ed0853133b1cecb309
- bytes
- 10898
- bytes served
- yes
- results/
uec- interconnect- essentiality. json - sha256
- 4270e202405346daa7c0839e7d6fc3d6ea155772138e9abc28e78b2b9a676521
- bytes
- 16780
- bytes served
- yes
- results/
xdomain- cross- domain- foundry. json - sha256
- f0f4652630d22330f02ce839aa28bfbb984a73f9d0adc3013768ff4561f10df3
- bytes
- 9507
- bytes served
- yes
- scripts/
verify_ closure. py - sha256
- fa2e420b7d9f27f164e4040c5ac5c1d7345fcf08c34966bbbb1ea5d747fabce2
- bytes
- 2015
- bytes served
- yes
- telecom_
formal/ formal_ models/ published/ _ _ init_ _ . py - sha256
- 7b56f8059889d7f45a9bc09e55f94842eda03b893fab943d3a4fb0ffeb2b8ae5
- bytes
- 8648
- bytes served
- yes
- telecom_
formal/ reports/ published/ counterexample_ ledger. json - sha256
- 1f5b457d250b52eba08d68b5cb5d700479d16a5da4fd26c37f2d320132887671
- bytes
- 6576
- bytes served
- yes
How the numbers on this site are backed
Every result figure links to the file it comes from. Each file is listed on this page with its fingerprint.
- We never show a number before its file has loaded.
- A question we have not checked yet is marked as unchecked.
- A check that found nothing says so.
- A file with no value for a question says so.
- A number whose file is missing or has changed is not shown.
- Two files that disagree about what a number describes are both flagged.
- A number from too few samples shows its sample size.
- Two files that give different values are both shown.
- A file we cannot publish is listed by its fingerprint only.
- A measurement more than a week old shows its age.
- A question that does not apply to a page is left off it.
- A measurement whose program failed is shown as failed.