Floating-point numerics rot. Hardware changes, libraries drift, and “verified” results become impossible to reproduce years later.
ADIC (Arithmetic Digital Integrity Certificate) freezes numerical proofs by converting any computation into a finite ledger of integer operations — additions/multiplications only — that anyone can re-verify forever.
It’s a reproducibility layer for mathematics and scientific computing, sitting above hardware and compilers. Think “CI/CD for proofs.”
1 comment
[ 0.27 ms ] story [ 9.9 ms ] threadADIC (Arithmetic Digital Integrity Certificate) freezes numerical proofs by converting any computation into a finite ledger of integer operations — additions/multiplications only — that anyone can re-verify forever.
It’s a reproducibility layer for mathematics and scientific computing, sitting above hardware and compilers. Think “CI/CD for proofs.”
Here’s a readable intro: https://medium.com/@hide.pollini.kenkou/freezing-chaos-for-e...
And an application to IUT (the world’s hardest math): https://medium.com/@hide.pollini.kenkou/inter-universal-teic...
If you care about numerical stability, proof reproducibility, or long-term scientific memory, this might be interesting.