BTC $82,924.99 +0.47%
ETH $2,504.42 +0.76%
BNB $749.65 +1.05%
XRP $1.40 +0.44%
SOL $110.01 +1.03%
TRX $0.3306 -0.31%
DOGE $0.0857 +0.60%
ADA $0.2489 +2.72%
BCH $279.86 +1.23%
LINK $13.01 +1.80%
HYPE $85.46 +1.66%
AAVE $168.28 +0.73%
SUI $1.11 +4.07%
XLM $0.1965 +1.03%
ZEC $1,220.33 +1.39%
AAPL $336.41 +0.06%
AMZN $262.41 -0.06%
GOOGL $351.37 -0.12%
MSFT $535.01 -0.06%
META $719.34 +0.15%
NVDA $230.57 +0.33%
TSLA $382.26 -0.21%
SNDK $1,596.84 +0.76%
INTC $105.02 +0.42%
SPCX $163.77 +0.55%
MU $1,036.33 +0.65%
AMD $609.53 +0.10%
BTC $82,924.99 +0.47%
ETH $2,504.42 +0.76%
BNB $749.65 +1.05%
XRP $1.40 +0.44%
SOL $110.01 +1.03%
TRX $0.3306 -0.31%
DOGE $0.0857 +0.60%
ADA $0.2489 +2.72%
BCH $279.86 +1.23%
LINK $13.01 +1.80%
HYPE $85.46 +1.66%
AAVE $168.28 +0.73%
SUI $1.11 +4.07%
XLM $0.1965 +1.03%
ZEC $1,220.33 +1.39%
AAPL $336.41 +0.06%
AMZN $262.41 -0.06%
GOOGL $351.37 -0.12%
MSFT $535.01 -0.06%
META $719.34 +0.15%
NVDA $230.57 +0.33%
TSLA $382.26 -0.21%
SNDK $1,596.84 +0.76%
INTC $105.02 +0.42%
SPCX $163.77 +0.55%
MU $1,036.33 +0.65%
AMD $609.53 +0.10%

킵

전체
글
뉴스 플래시

first_img 이더리움 재단이 better.codes 챌린지를 출시하여 해시 SNARK의 증명 가능한 안전성을 향상시킵니다

이더리움 재단 형식 검증 팀이 Yukon, zkSecurity와 협력하여 만든 오픈 자동 연구 챌린지 better.codes가 이제 온라인으로 제공됩니다. 이 플랫폼은 Proximity Prize의 자가 포함 문제를 Lean으로 형식화하고, koalaIRS12의 기계 검사 신뢰성 경계를 공공 순위에 넣어 누구나 이를 개선할 수 있도록 하여 해시 기반 SNARK 및 후양자 이더리움 관련 보안 기준을 발전시키는 데 기여합니다.해결자는 AI 지능체를 가져와 Reed-Solomon 근접 문제에 대해 더 높은 신뢰성 하한을 증명하며 고정된 128비트 목표를 향해 나아갈 수 있습니다. Lean 커널은 제출된 모든 내용을 검증하며, 승격된 증명은 공개 경계를 높이고, 새로운 보조 정리, 증명 기술 및 불가능성 결과는 상류와 동기화되어 모든 참가자가 재사용할 수 있도록 합니다. 생산 환경에서 대부분의 해시 SNARK는 관련 근접 간격 및 관련 합의 결론에 의존하며, 현재 증명 가능한 결과는 연구자가 신뢰하는 기준보다 낮습니다. 이 챌린지는 개방적이고 점진적이며 검증 가능한 방식으로 이 격차를 줄이는 것을 목표로 합니다.koalaIRS12는 관련 논문에서 유래되었으며 ArkLib에서 엔드 투 엔드 형식화되었습니다. 참가자는 GitHub를 통해 로그인하고 챌린지 저장소를 클론하여 고정 정리 진술 및 검증 프레임워크 하에 제출할 수 있습니다; 비교기와 Lean 커널이 확인한 후 결과는 공공 저장소에 기록되며 해결자와 사용된 모델이 명시됩니다. 오늘 온라인으로 제공되는 것은 koalaIRS12의 증명된 하한을 128비트로 높이는 신뢰성 챌린지이며, 이후 더 많은 문제를 추가할 수 있으며 세부 사항은 프로젝트 약관에 따릅니다.

first_img 이더리움 재단이 Clear Signing 오픈 표준을 출시하여 거래 서명의 가독성을 향상시킵니다

이더리움 재단은 화요일에 Clear Signing 오픈 표준을 공식 출시하였으며, 이는 지갑 사용자가 서명할 때 표시되는 읽을 수 없는 16진수 문자열을 인간이 읽을 수 있는 거래 내용으로 대체하는 것을 목표로 합니다.이 표준은 ERC-7730을 핵심으로 하며, 지갑이 이 표준을 지원할 경우 계약의 설명자 파일을 읽고 원시 거래 데이터를 이해할 수 있는 내용으로 재구성합니다. 예를 들어 Uniswap V3 교환을 1,000 USDC를 보내고 최소 0.42 WETH를 받는 것으로 표시합니다. ERC-8176은 여기에 완전성 인증 계층을 추가하여 감사자가 서명 인증 확인 설명자의 정확성을 발표할 수 있도록 합니다. 참여자는 하드웨어 지갑(Ledger, Trezor), 소프트웨어 지갑(MetaMask, WalletConnect), 보안 회사(Cyfrin) 및 인프라(Fireblocks) 등을 포함합니다.블라인드 서명은 암호 자산 손실의 중요한 원인이 되어 왔으며, 2025년 2월 Bybit의 15억 달러 취약점 및 약 2.35억 달러 WazirX 사건은 서명자가 실제 의도를 표시하지 않은 거래를 승인한 것과 관련이 있습니다. Ledger는 2021년에 이 프로젝트를 시작하였고, 2024년에 ERC-7730으로 형식화하였으며, 올해 초에는 표준 중립성을 보장하기 위해 거버넌스 권한을 재단에 이관하였습니다. 2026년 4월에 발표된 ERC-7730 V2는 범위를 크로스 체인 사용 사례, 소프트웨어 지갑 및 기밀 토큰 원시로 확장하였습니다.
app_icon
ChainCatcher Building the Web3 world with innovations.