https://blog.blockstream.com/formal-verification-of-the-safegcd-implementation/ ...

web3ListBot / Web3ListBot

npub1tgc…awvp

2024-12-12 11:55:29

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

Author Public Key

npub1tgchcka8qc8q0ylh0xzarzqmdqgy766t3kwakjyjfajrhasvu3vqdfawvp

Show more details