BTC $79,775.73 +3.50%
ETH $2,493.67 +2.47%
BNB $709.55 +1.95%
XRP $1.50 +2.48%
SOL $100.31 +6.71%
TRX $0.3458 +0.78%
DOGE $0.0908 -0.17%
ADA $0.2237 +2.32%
BCH $275.52 +2.04%
LINK $11.75 +3.35%
HYPE $79.80 -0.51%
AAVE $134.12 -2.05%
SUI $0.8112 -0.86%
XLM $0.1962 +2.04%
ZEC $836.18 +0.89%
BTC $79,775.73 +3.50%
ETH $2,493.67 +2.47%
BNB $709.55 +1.95%
XRP $1.50 +2.48%
SOL $100.31 +6.71%
TRX $0.3458 +0.78%
DOGE $0.0908 -0.17%
ADA $0.2237 +2.32%
BCH $275.52 +2.04%
LINK $11.75 +3.35%
HYPE $79.80 -0.51%
AAVE $134.12 -2.05%
SUI $0.8112 -0.86%
XLM $0.1962 +2.04%
ZEC $836.18 +0.89%

전체
뉴스 플래시

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는 범위를 크로스 체인 사용 사례, 소프트웨어 지갑 및 기밀 토큰 원시로 확장하였습니다.

OKX C2C에 "초보자 친화적" 상인이上线되어 신규 사용자 거래 경험을 향상시킵니다

ChainCatcher 메시지에 따르면, 공식 발표에 따라 OKX C2C는 이제 새로운 "초보자 친화적" 위탁 주문을 공식 출시했습니다. 새로운 사용자가 C2C에서 암호화폐 구매를 보다 원활하게 완료할 수 있도록, 오케이엑스는 우수한 상인을 엄격하게 선별하고, 전체 프로세스 안내 및 전용 지원을 제공하여 새로운 사용자가 거래를 더 쉽게 시작하고 더 나은 경험을 얻을 수 있도록 노력하고 있습니다. 초보자 사용자는 OKX APP을 최신 버전(버전 번호 6.136)으로 업데이트한 후, OKX C2C 암호화폐 구매 홈 페이지의 상단 영역에서 "초보자 친화적" 위탁 주문을 찾거나 "빠른 거래" 구역에서 우선 매칭할 수 있으며, 필터 기능에서 "초보자 친화적" 위탁 주문과 직접 거래를 선택할 수 있습니다.전해진 바에 따르면, OKX C2C 초보자 사용자는 다음과 같은 혜택을 누릴 수 있습니다: 더 높은 암호화폐 구매 완료율; 빠른 거래 우선 매칭 "초보자 친화적" 상인; 0 수수료 거래( C2C 매매 과정에서 모두 수수료 면제); 상인은 경험이 풍부하여 초보자가 자주 겪는 문제를 신속하게 처리할 수 있습니다; 전체 프로세스 초보자 안내, 사용자가 거래, 결제, 송금 전체 프로세스를 완료할 수 있도록 지원; 높은 신용도 및 서비스 효율성(위험 관리 시스템, 상인 품질 등 체계를 통해 더 우수하고 신뢰할 수 있는 상인을 선별); 신속한 응답 및 원활한 소통, 즉각적인 온라인 서비스를 제공하여 사용자의 문제를 즉시 답변하고 처리합니다.
2025-09-15
app_icon
ChainCatcher Building the Web3 world with innovations.