BTC $80,314.25 -0.27%
ETH $2,324.94 -0.71%
BNB $743.52 +0.31%
XRP $1.30 -0.15%
SOL $101.79 +0.32%
TRX $0.3306 +0.50%
DOGE $0.0776 +0.71%
ADA $0.2063 +0.43%
BCH $278.25 +0.98%
LINK $11.52 +0.95%
HYPE $78.36 +1.75%
AAVE $136.65 +0.21%
SUI $0.9201 +0.35%
XLM $0.1695 +0.17%
ZEC $1,248.24 +3.23%
AAPL $345.19 -0.47%
AMZN $248.95 -0.08%
GOOGL $320.06 -0.23%
MSFT $530.79 +1.33%
META $642.41 -0.04%
NVDA $215.72 +1.42%
TSLA $394.84 +5.99%
SNDK $1,263.91 +1.16%
INTC $90.74 +4.00%
SPCX $149.44 +0.40%
MU $907.60 +1.75%
AMD $530.10 +1.49%
BTC $80,314.25 -0.27%
ETH $2,324.94 -0.71%
BNB $743.52 +0.31%
XRP $1.30 -0.15%
SOL $101.79 +0.32%
TRX $0.3306 +0.50%
DOGE $0.0776 +0.71%
ADA $0.2063 +0.43%
BCH $278.25 +0.98%
LINK $11.52 +0.95%
HYPE $78.36 +1.75%
AAVE $136.65 +0.21%
SUI $0.9201 +0.35%
XLM $0.1695 +0.17%
ZEC $1,248.24 +3.23%
AAPL $345.19 -0.47%
AMZN $248.95 -0.08%
GOOGL $320.06 -0.23%
MSFT $530.79 +1.33%
META $642.41 -0.04%
NVDA $215.72 +1.42%
TSLA $394.84 +5.99%
SNDK $1,263.91 +1.16%
INTC $90.74 +4.00%
SPCX $149.44 +0.40%
MU $907.60 +1.75%
AMD $530.10 +1.49%

라이브

전체
글
뉴스 플래시

first_img Anthropic: Claude는 대규모 형식 검증 오픈 소스 라이브러리입니다

인공지능 회사 Anthropic의 Frontier Red Team은 10월 22일 연구를 발표하며 대형 언어 모델이 더 큰 규모에서 자동으로 형식 증명을 작성할 수 있다고 밝혔습니다. 팀은 Theorem과 협력하여 Claude를 사용해 RISC-V 어셈블리 레벨에서 100개 이상의 실제 오픈 소스 라이브러리에 대한 안전 속성을 증명했으며, 이는 AI를 사용하여 어셈블리 레벨에서 생산 소프트웨어에 대해 대규모 형식 검증을 수행한 것으로 알려진 최초의 사례라고 합니다. 증명 작성 과정에서 수년간 발견되지 않았던 취약점도 발견되었습니다.실험은 Google OSS-Fuzz에 이미 존재하는 컴파일 가능한 퍼즈 테스트를 사양으로 변환했습니다: 단일 스레드 정적 바이너리, 고정 메모리 예산, RISC-V CPU 및 Linux 등의 가정 하에, 64MB 미만의 임의 입력에 대해 프로그램은 정상적으로 종료되어야 하며 메모리 안전 오류나 단언 실패를 유발하지 않아야 합니다. 몇 주 내에 Claude는 발견된 문제를 수정한 후 123개의 OSS-Fuzz 라이브러리 중 239개의 진입점에 대해 위의 속성을 증명했습니다. 증명은 컴파일된 RISC-V 명령어를 대상으로 하며, 약 1.8억 줄의 Rocq로 이루어져 있으며 Rocq 커널에 의해 검증됩니다. 페이지는 이것이 이러한 라이브러리에 취약점이 없다는 것을 의미하지 않으며, 남은 문제는 신뢰할 수 있는 구성 요소나 증명 범위 밖에 있을 수 있다고 언급했습니다.페이지는 또한 팀이 Claude에게 RFC 1950을 형식화하도록 하였고, x86 바이너리 레벨에서 Linux 커널의 zlib 구현이 해당 사양을 준수함을 증명했다고 밝혔습니다; Rust로 작성된 Python의 대규모 하위 집합을 커버하는 인터프리터는 170만 개 이상의 무작위 생성 프로그램과 CPython 행동이 일치하는 비율이 99.95%였습니다. 36개의 소규모 검증 작업에서 Opus 5.5는 필요한 토큰의 절반이 Opus 5보다 약 40% 적다고 증명했습니다. 팀은 또한 증명이 단일 스레드, 정적 링크된 RISC-V 바이너리를 대상으로 하며, 증명 검증기가 사양이 현실에 부합하는지 판단할 수 없다고 지적했습니다.

first_img DeepSeek 오픈 소스 승천 기본 구성 요소, 컴파일, 계산 및 통신 라이브러리 포함

인공지능 회사 DeepSeek가 화웨이의 승천 계산 플랫폼을 위한 인프라 구성 요소를 공식 오픈소스화했습니다. 여기에는 TileLang 고급 언어 컴파일 도구, 계산 라이브러리 및 분산 통신 라이브러리가 포함되며, 이전에 엔비디아 플랫폼을 위한 오픈소스 구성 요소와 일대일로 대응합니다. TileLang은 범용적이고 프로그래밍이 더 간단하며 하드웨어 성능 한계에 도달할 수 있는 고급 언어를 제공하는 것을 목표로 하며, CUDA에 비해 개발 효율성을 높이고 논리를 단순화할 수 있습니다. 또한, 그 프로그래밍 모델은 칩 특성을 활용할 수 있습니다.TileLang 경로는 먼저 엔비디아 플랫폼에서 검증되었으며, 이미 DeepSeek V4 시리즈 모델 훈련에서 대부분의 연산자의 구현을 지원하고 있습니다. 이번에 오픈소스화된 승천 버전은 승천 Ascend C 저수준 명령어를 캡슐화하여 하드웨어 성능을 손상시키지 않으면서 고급 언어 프로그래밍 방식을 제공합니다. 현재 DeepSeek 훈련에서 사용되는 모든 TileLang 연산자는 승천에서 고성능 구현이 존재합니다.동시에 오픈소스화된 구성 요소에는 DeepGEMM, DeepEP, TileKernels, FlashMLA 및 DeepSelect가 포함되어 있으며, 각각 범용 행렬 연산, 대규모 장치 간 통신, 일반 벡터 계산 및 메모리 접근, 긴 컨텍스트 희소 주의 및 데이터 필터링에 사용됩니다. DeepSeek는 여러 주요 테스트에서 관련 계산 및 통신 성능이 하드웨어 한계에 근접했다고 주장하며, 연구 개발 과정에서 화웨이 팀의 지원을 받았고, 양측은 승천 950 기반의 128 카드 초 노드 솔루션을 추진하며 계산 및 통신을 깊이 최적화했습니다.

Bitget CEO 라이브 방송에서 플랫폼 8년 만의 첫 안전 사건에 대해 응답: 공격은 제3자 보안 제품의 취약점에서 발생했으며, 손실은 사용자 보호 기금이 부담합니다

오늘 커뮤니티 라이브 방송에서 Bitget CEO Gracy는 최근의 안전 사건 및 플랫폼 재무 상태에 대해 응답했습니다. 그녀는 Bitget이 설립된 8년 동안 처음으로 겪는 안전 사건이라고 솔직하게 밝혔습니다. 완전한 추적을 통해 해커는 제3자 보안 제품의 취약점을 이용해 내부 네트워크 권한 증명서를 탈취하고, 지갑 시스템에 위조된 출금 명령을 보내어 지갑이 위험 검증을 우회하는 비정상적인 이체를 실행하도록 속였습니다. Gracy는 이번 사건에서 개인 키가 유출되지 않았고, 콜드 월렛에 영향을 미치지 않았으며, 구체적인 기술 세부 사항은 공식 발표될 안전 보고서에서 자세히 공개될 것이라고 강조했습니다.Gracy는 이번 사건의 확인된 손실이 보호 기금의 범위 내에 있으며, 사용자 자금의 안전에는 영향을 미치지 않는다고 지적했습니다. 플랫폼의 자체 자금은 14억 달러를 초과하며, 그 중 약 4.64억 달러는 사용자 보호 기금입니다. 플랫폼은 2022년 보호 기금을 설립할 때의 안전 약속을 계속 이행할 것이며, 1주일 내에 기금 규모를 3억 달러의 기준선으로 지속적으로 보충할 계획입니다."보호 기금은 단순한 구호가 아니라 극단적인 안전 사건 발생 시 사용자에게 실질적인 보장을 제공하는 중요한 메커니즘입니다." Gracy는 갑작스러운 안전 도전에 직면했을 때 플랫폼의 종합적인 실력과 책임을 적극적으로 수용하는 능력이 위험 대응 능력과 장기적인 신뢰도를 평가하는 중요한 기준이라고 말했습니다. Bitget은 사용자 이익을 최우선으로 하는 장기적인 약속을 지속적으로 이행할 것입니다.

Rust 기본 라이브러리 arrayref가 공급망 공격을 받았으며, 북한 해커의 소행으로 의심되고 있다

Cryptopolitan에 따르면, 공격자는 공급망 공격을 통해 세 개의 널리 사용되는 Rust 코드 패키지의 악성 버전을 배포했으며, 그 중 arrayref라는 라이브러리는 약 4분의 3의 Rust 개발 환경에서 사용됩니다. 악성 업데이트는 사용자가 프로젝트를 컴파일할 때 자동으로 로그인 정보를 훔치는 백도어를 숨기고 있으며, 영향을 받은 버전을 컴파일한 사용자는 컴퓨터와 키가 노출되었을 수 있습니다.Wiz 연구원들은 arrayref 공격의 명령 및 제어 경로가 북한 해커 조직 Sapphire Sleet 및 UNC1069가 사용하는 Mastra 행동과 겹친다고 지적했습니다. IP 주소는 동일한 보안 인증서를 공유하며 동일한 호스팅 업체인 Hostwinds를 사용합니다. 공격자는 단지 철자가 틀린 proc-macro1 의존성을 추가하여 인기 있는 proc-macro2를 모방했으며, 기존 코드는 수정하지 않아 테스트와 빌드를 통과했습니다. 공격은 게시된 지 86분 후에 삭제되었지만 이미 대량으로 다운로드되었습니다. 영향을 받은 패키지는 Solana 및 Ethereum 도구에서 널리 사용됩니다. Rust 팀은 유지 관리자의 비악의적 행동을 믿고 있으며, 그들의 장치나 자격 증명이 침해되었을 수 있다고 생각합니다.

캐피탈 그룹, 스트라이브에 500만 달러 추가 투자, 비트디어는 비트코인 제로 포지션 유지

BBX 데이터에 따르면, 지난 주말 전 세계 기관 자본과 상장 광산 기업들이 디지털 자산 생태계의 자금 배치 및 자산 재구성에 활발히 움직였으며, 주요 동향은 다음과 같습니다:전통 자산 관리 거대 기업 Capital Group이 암호화 재무에 대규모로 투자: 최고 투자 관리 회사 Capital Group 산하의 SMALLCAP World Fund가 최근 최신 포지션을 공개했으며, 비트코인 재무 회사 Strive의 주식 481,772주(약 552만 달러 가치)를 추가로 매입했습니다. 이번 추가 매입을 통해 해당 펀드는 현재 Strive의 주식 293만 주(총 가치 약 3,362만 달러)를 보유하고 있으며, 이는 전통적인 월스트리트 자산 관리 자본이 간접적으로 비트코인 자산에 대한 강한 관심을 보이고 있음을 강조합니다.Bitdeer가 채굴 장부를 공개하며 "제로 보유" 법화 운영을 고수: 나스닥 상장 비트코인 채굴 기업 Bitdeer (NASDAQ: $BTDR)가 최신 생산 및 보유 데이터를 발표했습니다. 7월 24일 주 기준으로, 비트코인 채굴 생산량은 274.6 BTC였으며, 같은 기간 공개 시장에서 274.8 BTC를 전량 판매하여 순 증가량은 0 BTC였습니다. 많은 동종 업계가 비트코인을 대량으로 보유하는 상황 속에서도, Bitdeer는 여전히 순수 법화 운영의 "비트코인 제로 보유" 전략을 확고히 유지하고 있습니다.비인(Poolin)이 파산 신청, 5,200만 달러에 텍사스 광산 매각: 오래된 채굴 풀 비인(Poolin)이 미국 뉴저지주 지역 파산 법원에 제11장 파산 보호를 공식적으로 신청했습니다. 법원 문서에 따르면, 파산 신청 전 총 부채는 약 1.731억 달러(그 중 약 1.637억 달러는 2022년 약세장에서 인출을 중단한 후 Poolin Wallet 고객에게 발행된 무담보 채권)이며, 채권자 수는 10,001명에서 25,000명 사이로 추정됩니다. 현재 비인은 5,200만 달러의 총 가격으로 텍사스주 광산 자산을 매각할 계획이며, Thor CALAP LLC와 계약을 체결하였고, 후자는 Pyote 및 Tarbush 광역의 전력 사용 권한과 장비를 각각 1,500만 달러와 3,700만 달러에 인수할 것입니다.
app_icon
ChainCatcher Building the Web3 world with innovations.