主張:今後数年でソフトウェアの正式な検証コストが(知的!)に抑えられるにつれて、ソフトウェアの大多数が正式に検証される革命が起こるでしょう
そして、確かにDeFiには正式な検証が必要です!
3.65K