CertiK

Web3 애플리케이션의 발전과 함께 스테이블코인은 중앙은행과 기관의 주요 관심사로 떠오르며, 글로벌 결제 및 금융 인프라를 재편할 것으로 기대된다. 형식적 검증은 기술적 수단으로서 스테이블코인 프로젝트가 《GENIUS 법안》을 포함한 규제 요구 사항을 충족하고 보다 신뢰할 수 있는 계약 체계를 구축하는 데 효과적으로 도움을 줄 수 있다.

5월 12일부터 13일까지 총 64건의 러그풀(탈출 사기)이 체인에서 발생했으며, 몇 분마다 하나씩 발생했습니다. 이 짧은 24시간도 안 되는 시간 동안 총 손실 금액은 272 SOL로, 약 4.59만 달러에 해당합니다.

ZK 취약점은 해커가 허위 거래를 증명하기 위한 위조 ZK 증명을 제출하고 ZK 증명 검사기가 이를 수용하도록 만들 수 있습니다.

형식화 검증 기술이 zkVM(제로 지식 가상 머신)에 어떻게 적용되는지를 깊이 이해하기 위해, 본문은 단일 명령어의 검증에 초점을 맞출 것이다.

이번 협력은 거래소 플랫폼, 모바일端, 지갑 보안 및 스마트 계약 감사 등 여러 분야를 포괄합니다.

본 문서는 "탈출 사기" 방식을 통해 자산 수확을 진행하는 대규모 자동화 해커 팀을 공개할 것입니다.

미래에는 점차 등장하는 확장 솔루션과 스마트 계약 등 많은 혁신이 비트코인 생태계를 다시 한 번 재편할 것이다.

비트코인 생태계의 고무적인 2023년을 되돌아보고, 그 미래 발전 추세에 대한 전망을 제시합니다.

1월 6일, MangoFarmSOL은 사기 탈퇴를 시행하여 프로젝트 계약에서 사용자들이 입금한 13,512 SOL(당시 약 126만 달러)을 이전하고, 악성 프론트를 배포하여 사용자들을 오도하여 "긴급 이동"을 승인하게 한 후 약 6만 달러를 탈취했습니다.

CertiK의 Skyfall 팀과 보안 전문가 Dawuge가 '2023년 삼성 모바일 보안 명예의 전당'에 선정되었습니다.