최근 MetaTrust Labs와 난양공대 등 여러 대학의 공동 연구팀이 발표한 학술 논문 "GPTScan: Detecting Logic Vulneraries in Smart Contracts by Combining GPT with Program Analysis"가 세계 최고 학술 컨퍼런스인 ICSE2024 컨퍼런스를 통과했습니다. 소프트웨어 엔지니어링 분야 심사위원단이 검토하고 출판했습니다. 본 논문에서는 스마트 계약 논리 취약점을 탐지하는 능력을 향상시키기 위해 프로그램 분석 기술과 결합된 GPT 대규모 언어 모델의 사용을 연구합니다. 각 논리적 취약점 유형을 다양한 시나리오와 속성으로 세분화한 후 GPT와 일치 및 식별하고 정적 분석 및 검증을 사용하여 탐지율과 정확성을 향상시켜 스마트 계약 개발의 보안과 신뢰성을 향상시키는 것을 목표로 합니다.
계정 가입
이미 존재한 계정
가입을 클릭하여 코인타임의 <a class="underline" href="#term-of-service">서비스 약관</a> 과 a class="underline" href="#privacy-policy">개인정보 보호 정책</a> . 에 동의함.
email 로 로그인
email 로 가입
사용자 이메일
수신함을 확인하세요
중의 링크를 통해 로그인 하세요
중의 링크를 통해 가입 하세요
AI 기반 GPTScan은 스마트 계약 취약점 탐지 능력을 효과적으로 향상시킵니다. MetaTrust 논문은 ICSE 국제 소프트웨어 엔지니어링 컨퍼런스에 후보로 올랐습니다.
-
Wechat scan to share
Recommended for you
-
XEX는 11월 22일 19:00(UTC+8)에 Slerf/USDT 영구 계약을 공식 출시했습니다.
11월 22일 뉴스에 따르면 XEX는 11월 22일 19:00(UTC+8)에 Slerf/USDT 무기한 계약을 공식적으로 출시했습니다. -
XRP가 상승을 주도하고 기존 통화가 회복됩니다. 알트코인 시즌이 돌아왔다는 신호인가요?
호황을 누리고 있는 밈 시장에 비해 기존 알트코인들은 조용히 상승세를 보이고 있는 것으로 보인다. 밈 코인만큼 눈길을 끌지는 못하지만 꾸준한 상승세로 시장의 주목을 모으고 있다.
-
SOL이 새로운 최고점에 도달했습니다. "King of Meme Chain"이 세 번째 현물 ETF가 될 수 있을까요?
활성 솔라나 지갑 주소의 수는 5월 100만 개에서 현재 880만 개로 급증했습니다.
-
게리 양: 트럼프가 당선된 이후 상황이 극적으로 바뀌었습니다.
본질적으로 글로벌 환경은 급격하고 급격한 변화를 겪고 있으며, 개발에 대한 기대는 전혀 다른 개념으로 혼합되어 있습니다. 엔트로피가 감소하는 것이 아니라 증가하는 추세 속에서 새로운 시대가 도래하는 급격한 변화의 쓰나미가 다가오고 있습니다. 혼돈 속에서 점차 한계점을 넘어섰습니다.
-
바이낸스는 SLERFUSDT 및 SCRTUSDT 무기한 계약을 출시할 예정입니다.
바이낸스는 2024년 11월 21일(UTC) 11시 30분에 SLERFUSDT 및 SCRTUSDT 영구 계약을 출시하여 최대 75배의 레버리지를 지원합니다. -
MARA Holdings, Inc., 7억 달러 규모의 전환선순위 채권 사모 계획 발표
MARA Holdings, Inc.는 오늘 2030년 만기 전환성 선순위 채권("채권")의 원금 총액 7억 달러를 비공개로 발행할 계획이라고 발표했습니다. 수익금은 주로 비트코인을 구매하고 2026년 만기 기존 전환 선순위 채권을 재매입하는 데 사용됩니다. 메모 및 일반적인 기업 목적으로 사용됩니다. MARA는 사적으로 협상된 거래에서 2026년 만기의 기존 전환사채("기존 2026년 전환사채")의 일부를 재매입하기 위해 채권 매각 순 수익금 중 최대 2억 달러를 사용할 것으로 예상하고 있으며 나머지 순 수익금은 다음과 같습니다. 더 많은 비트코인을 구매하고 운전 자본, 전략적 인수, 기존 자산 확장, 추가 부채 및 기타 미결제 부채 상환을 포함할 수 있는 일반적인 기업 목적으로 사용됩니다. -
머스크가 이끄는 미국 정부 효율성국은 블록체인 선거 시스템 'eVote' 구축을 검토할 계획이다.
시바견 익명의 수석 개발자 쿠사마 시토시(Shytoshi Kusama)는 X(구 트위터)에 정보를 전달했고, 카르다노(Cardano), 하이퍼레저(Hyperledger), 헤데라(Hedera) 등 블록체인 플랫폼이 협력해 전국적인 전자투표 및 신원확인 솔루션을 만들고 있다고 분석가들은 믿고 있다. 이는 선거의 진실성을 보장하겠다는 트럼프의 오랜 강조와 일치합니다. 쿠사마 시토시(Shytoshi Kusama)는 시스템의 성공이 완전 동형암호(FHE) 통합에 달려 있다고 믿으며 트럼프에게 전문 블록체인 고문을 임명할 것을 촉구했습니다. -
중국과 페루는 디지털 경제 등 분야 협력을 강화하고 AI, 블록체인 등 기하급수적 기술 발전을 촉진하기로 합의했다.
신화통신에 따르면, 중화인민공화국과 페루공화국은 포괄적인 전략적 파트너십을 심화하기 위한 공동성명을 발표했고, 양측은 디지털 경제, 기술 혁신, 디지털 변혁, 과학기술 분야에서 협력을 강화하기로 합의했습니다. 인재교류, 기술이전, 디지털 보안 등을 추진하고 인공지능, 로봇공학, 사물인터넷, 블록체인, 데이터 분석, 나노기술, 원격의료 등 기하급수적인 기술 발전을 촉진한다. -
AxiomNet은 블록체인 애플리케이션 시나리오를 심화하기 위한 주요 시장 확장 계획을 발표합니다.
11월 15일, AxiomNet은 AI 기반 블록체인 데이터 솔루션을 더 많은 주요 산업과 시장에 홍보하고 글로벌 규모로 블록체인 적용을 더욱 촉진하는 것을 목표로 하는 주요 시장 확장 계획의 출시를 발표했습니다. AxiomNet은 분산 금융(DeFi), 사물 인터넷(IoT), 공급망 관리 및 기타 분야를 위한 지능형 데이터 솔루션을 제공하는 데 중점을 두고 있습니다. 이 시장 확장 계획을 통해 AxiomNet은 더 많은 지역과 산업에 진출하고 기업과 개발자에게 고품질의 정확한 실시간 데이터 지원을 제공하며 블록체인 애플리케이션의 효율성과 보안을 향상시킬 수 있습니다.
모든 댓글