TechFlow 소식에 따르면 최근 Move 생태계의 초기 기여자인 MoveBit와 Aptos Move 담당자 볼프강 그리스캄프(Wolfgang Grieskamp)가 공동으로 FMBC-24(Formal Methods for Blockchains) 학술 논문을 발표했다. 이 논문은 형식 검증 방법을 통해 Aptos 체인 스마트 계약의 보안성을 확보함으로써 다양한 응용 시나리오에서 안정적인 성능을 보장할 수 있음을 지적했다. MoveBit의 핵심 개발자 루이스 로(Luis Loh)와 조로트 첸(Zorrot Chen)은 해당 연구의 핵심 개발 과정에 깊이 관여하며, Aptos 프레임워크의 보안성 강화에 중요한 기여를 했다. 특히 볼프강은 향후 ETAPS 컨퍼런스에서 MoveBit가 적극 참여한 Aptos의 형식 검증 작업을 소개할 예정이다.
Web3 심층 보도에 집중하고 흐름을 통찰
기고하고 싶어요
보도 요청
위험 고지: 본 사이트의 모든 콘텐츠는 투자 조언이 아니며, 어떠한 매매 신호·거래 유도 서비스도 제공하지 않습니다. 인민은행 등 10개 부처의 「가상화폐 거래·투기 위험 방지 및 처리에 관한 통지」에 따라 투자자 여러분의 리스크 인식을 높이시기 바랍니다. 문의 / support@techflowpost.com 琼ICP备2022009338号




