Techub News報道：Centrifuge 完成核心協議 1589 項屬性的形式化驗證
不偏不倚，我會先存檔，之後有進展再一起看。
$BTC 現報 83386.94。來源不止一家的話分量更高，只有一家的先當參考。