认为形式化验证只适用于博士生吗？再想想看。

@ChandrakanaNaN 通过 Certora 的 Sunbeam 如何让验证 Soroban 智能合约在 @StellarOrg 对所有人都变得容易。👇 https://t.co/UdsBbp6Usc