金融基礎設施應足夠易於檢視,而不僅僅是足夠強大以執行。Pact 強調可讀的合約邏輯,並支援形式化驗證。這是一種值得認真對待的設計哲學。 kadena:native @kdaced #KadenaCommunityEdition