你以為正式驗證只是博士生的工作嗎？再想想看。

@ChandrakanaNaN 演示了 Certora 的 Sunbeam 如何讓所有人都能驗證 @StellarOrg 上的 Soroban 智能合約。👇 https://t.co/UdsBbp6Usc