Certora

Certora

팔로우하기

Industry-leading formal verification tools & smart contract audits for DeFi protocols.

포스팅

월요일 @Balancer v2 취약점 공격 이후, 저희는 해당 팀과 긴밀히 협력하여 문제의 최초 근본 원인 분석을 개발하고, 영향을 받았거나 잠재적으로 취약한 모든 풀을 식별하고, v3도 동일한 공격에 취약했는지 여부를 확인했습니다. 분석 내용은 다음과 같습니다.

세토라 챔피언스 🦸‍♂️ DeFi를 안전하게 지키는 뛰어난 연구자들을 소개합니다. 이번에는: @0xlemonaudits 현재 불가리아에서 정보학을 공부하고 있는 0xlemon은 이미 @ether_fi, 체인링크(Chainlink), Unistaker 및 Usual ETH0의 보안을 도왔습니다.

🚨 NPM 공급망 공격 🚨 오늘 해커들은 피싱 이메일을 통해 패키지 관리자의 계정을 침해하여 주간 다운로드 횟수가 26억 건 이상인 인기 NPM 패키지에 악성 코드를 주입했습니다. 해커들은 시스템을 장악한 후, 패키지를 업데이트하고 브라우저 기반 인터셉터 역할을 하는 악성 코드를 주입하여 네트워크 트래픽과 애플리케이션 API를 가로챌 수 있도록 했습니다. 이 악성 코드는 브라우저 기반 암호화폐 거래를 가로채 지갑 주소를 공격자가 제어하는 주소로 변경합니다. 침해 규모에도 불구하고 공격자는 단 몇 달러만 훔친 것으로 보입니다. 하지만 이는 운영 보안이 최우선 과제임을 분명히 보여줍니다… 👉 @sec_phoenix에서 즉시 이 탐지기를 실행하여 영향을 받았는지 확인하세요: github.com/Security-Phoenix-de...… 안전 유의하세요. 🛡️

엄격하게 검증되었습니다. 🛡️ @cantinaxyz 감사에서 형식 검증 콘테스트를 지원해 준 @CertoraInc에게 감사드립니다. 수백 개의 Aquarius AMM 속성이 검사, 검증을 거쳐 정확한 것으로 입증되었습니다. 한 번에 한 가지 증거를 제시하며 DeFi 인프라를 발전시킵니다.

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…

Certora Prover v7.29.1이 출시되었습니다! Prover는 스마트 컨트랙트가 모든 가능한 상태와 입력에 대해 올바르게 동작하는지 검증하는 오픈소스 도구입니다. 이번 릴리스에는 더욱 안전한 사양을 작성하고, 구성을 간소화하고, 더욱 효율적으로 작업할 수 있도록 돕는 새로운 기능이 추가되었습니다. 새로운 기능 소개 👇🧵

이스탄불에서 @솔라나크로스로드와 함께 놀라운 시간을 보냈습니다. 다음 목적지: @솔라나컨퍼런스와 SVM 서밋, @솔라레이어_랩스 주최 🚀 익명의 사용자, 당신도 거기 있을 건가요? 👀

GM(Good Morning) 뉴욕시! 🗽 저희는 @솔라나(Solana)컨퍼런스 중에 우리의 대표적인 달리기 및 걷기 행사를 주최하고 있으며, 하루를 편안하게 시작하고 커뮤니티와 연결할 수 있는 방법입니다. 📅 5월 20일 🕗 오전 8시 🥐 커피와 아침 식사 제공 저희와 함께 움직이며 솔라나(Solana)를 가속화해 봅시다 😉

Loading..