DossierENTITY

machine-checked theorems

Coverage of machine-checked theorems in the Nexus archive.

Earliest in view: Jul 29 · 01:05 UTCMost recent: Jul 29 · 01:05 UTC

Co-mentioned in this coverage

Recent coverage

SECURITYJul 29 · 01:05 UTCCOINTELEGRAPH
Zcash says Ironwood proof rules out undetectable counterfeiting bugs
Zcash researchers published over 2,700 machine-checked theorems to eliminate undetectable counterfeiting bugs in Ironwood. The theorems aim to ensure the security of Zcash's cryptographic protocols against such vulnerabilities.