Web3ReadList - https://blog.blockstream.com/formal-verification-of-the-safegcd-implementation/快速 GCD 算法的 #formalVerify 形式化证明

11:55 · Dec 12, 2024 · Thu

https://blog.blockstream.com/formal-verification-of-the-safegcd-implementation/
快速 GCD 算法的 #formalVerify 形式化证明

Formal Verification of the Safegcd Implementation

Formal Verification of the Safegcd Implementation

Verifying an Implementation of a Novel Modular Inversion Algorithm using a Proof Assistant

Powered by BroadcastChannel & Sepia