什么是Pact语言？如何通过形式化验证保障Kadena安全？

Pact语言是一种专门为区块链智能合约设计的编程语言，主要用于Kadena区块链网络中的应用开发。与一些传统智能合约语言相比，Pact在设计之初就强调可读性、可审计性以及安全性。开发者可以利用Pact语言编写链上程序，并通过形式化验证工具对