Думаете, формальная верификация только для кандидатов наук? Подумайте еще раз.@ChandrakanaNaN рассказывает о том, как Sunbeam от Certora делает верификацию смарт-контрактов Soroban на @StellarOrg доступной для всех. 👇 https://t.co/UdsBbp6Usc