2021-04-28 阅读(140) 作者(kaifamei)

来源/LongHash



Tezos（特所思）作为著名的 PoS 公链，其亮点并不仅仅只是 Staking，Tezos 的形式化验证特征同样也是其主要技术亮点之一。形式化验证能让 DeFi 的安全性方面如...