엄격하게 검증되었습니다. 🛡️ @cantinaxyz 감사에서 형식 검증 콘테스트를 지원해 준 @CertoraInc에게 감사드립니다. 수백 개의 Aquarius AMM 속성이 검사, 검증을 거쳐 정확한 것으로 입증되었습니다. 한 번에 한 가지 증거를 제시하며 DeFi 인프라를 발전시킵니다.
이 기사는 기계로 번역되었습니다
원문 표시
Certora
@CertoraInc
09-01
Our report for the @AquariusDeFi formal verification contest on @cantinaxyz is also now public!
Thanks to all participants who together verified hundreds of properties of the Aquarius AMM infrastructure for @StellarOrg.
Learn more 👇 x.com/cantinaxyz/sta…
섹터:
Twitter에서
면책조항: 상기 내용은 작자의 개인적인 의견입니다. 따라서 이는 Followin의 입장과 무관하며 Followin과 관련된 어떠한 투자 제안도 구성하지 않습니다.
라이크
즐겨찾기에 추가
코멘트
공유
