Bạn nghĩ rằng xác minh hình thức chỉ dành cho tiến sĩ? Hãy nghĩ lại.

@ChandrakanaNaN trình bày cách Sunbeam của Certora giúp việc xác minh các hợp đồng thông minh Soroban trên @StellarOrg trở nên dễ dàng tiếp cận với tất cả mọi người. 👇 https://t.co/UdsBbp6Usc