Read-only public files.
| Name | Size | Modified |
|---|---|---|
| ⬑ .. | ||
| 📁 java/ | 2026-10-03 12:45 | |
| 📁 lua/ | 2026-10-09 04:15 | |
| 📁 neg-corpus/ | 2026-10-03 22:02 | |
| 📁 php/ | 2026-10-06 15:07 | |
| 📁 php-cleanroom/ | 2026-10-06 15:09 | |
| 📁 ruby/ | 2026-10-06 15:07 | |
| 📁 ruby-cleanroom/ | 2026-10-06 15:09 | |
| 📁 sha/ | 2026-10-09 09:44 | |
| 📁 swift/ | 2026-10-03 19:58 | |
| 📄 DRAFT14-NOTES.md | 1.6 KB | 2026-10-09 00:05 |
| 📄 README.md | 2.8 KB | 2026-10-04 12:46 |
| 📄 REPORT.md | 10.2 KB | 2026-10-04 12:46 |
| 📄 TUPLES.md | 3.1 KB | 2026-10-09 07:49 |
| 📄 aer1-14-vs-15.diff | 2.0 KB | 2026-10-09 07:49 |
| 📄 aer1_make.js | 3.4 KB | 2026-10-09 01:13 |
| 📄 kit_commitment.js | 2.2 KB | 2026-10-01 22:22 |
| 📄 receipt-6613973e.json | 6.9 KB | 2026-10-09 01:13 |
| 📄 results.txt | 17.6 KB | 2026-10-04 12:46 |
| 📄 results14.txt | 18.7 KB | 2026-10-09 00:05 |
| 📄 run_vectors.js | 15.2 KB | 2026-10-04 12:46 |
| 📄 verify.js | 51.5 KB | 2026-10-09 00:05 |