Techub News报道：Centrifuge 完成核心协议 1589 项属性的形式化验证
不偏不倚，我会先存档，之后有进展再一起看。
$BTC 现报 83386.94。来源不止一家的话分量更高，只有一家的先当参考。