Re:AlphaProof Code
by pcthrowaway on Tuesday November 10, 2026 @10:55PM
(#50449578)
From this I think it's a given that they were talking about the implementation, not the specification
> To confirm that AlphaProof Code can tell correct code from buggy code, we reintroduced two real, previously fixed bugs into an isolated version of Signal's code. In both cases, the system produced a machine-checked proof that the buggy version was insecure.
> To confirm that AlphaProof Code can tell correct code from buggy code, we reintroduced two real, previously fixed bugs into an isolated version of Signal's code. In both cases, the system produced a machine-checked proof that the buggy version was insecure.