BTC $80,012.20 -0.61%
ETH $2,318.85 -1.09%
BNB $738.65 -0.47%
XRP $1.29 -0.99%
SOL $100.94 -0.58%
TRX $0.3300 +0.43%
DOGE $0.0767 -0.06%
ADA $0.2024 -1.24%
BCH $278.38 +1.97%
LINK $11.38 +0.00%
HYPE $76.55 +0.53%
AAVE $134.75 -1.15%
SUI $0.9099 -0.67%
XLM $0.1685 -0.59%
ZEC $1,206.71 +1.16%
AAPL $346.93 -0.01%
AMZN $248.86 +0.10%
GOOGL $321.42 +0.11%
MSFT $526.35 +0.55%
META $640.95 -0.17%
NVDA $211.69 -0.42%
TSLA $376.08 +1.16%
SNDK $1,237.10 -0.21%
INTC $86.42 0.00%
SPCX $148.01 +0.15%
MU $881.22 -0.71%
AMD $514.91 -0.68%
BTC $80,012.20 -0.61%
ETH $2,318.85 -1.09%
BNB $738.65 -0.47%
XRP $1.29 -0.99%
SOL $100.94 -0.58%
TRX $0.3300 +0.43%
DOGE $0.0767 -0.06%
ADA $0.2024 -1.24%
BCH $278.38 +1.97%
LINK $11.38 +0.00%
HYPE $76.55 +0.53%
AAVE $134.75 -1.15%
SUI $0.9099 -0.67%
XLM $0.1685 -0.59%
ZEC $1,206.71 +1.16%
AAPL $346.93 -0.01%
AMZN $248.86 +0.10%
GOOGL $321.42 +0.11%
MSFT $526.35 +0.55%
META $640.95 -0.17%
NVDA $211.69 -0.42%
TSLA $376.08 +1.16%
SNDK $1,237.10 -0.21%
INTC $86.42 0.00%
SPCX $148.01 +0.15%
MU $881.22 -0.71%
AMD $514.91 -0.68%

de

전체
글
뉴스 플래시

first_img 스웨덴 정부 사무소는 ChatGPT와 Claude를 차단하고 Microsoft Copilot만 유지할 것입니다

스웨덴 공영 방송국 Sveriges Radio의 보도에 따르면, 스웨덴 정부 사무소는 10월 26일(월요일)부터 직원 컴퓨터에서 ChatGPT와 Claude를 차단하고, 마이크로소프트 Copilot만을 안전 심사를 통과한 유일한 AI 도구로 승인하며, 공무원들이 Copilot 사용으로 전환할 것을 요구한다고 발표했습니다.이 기관의 디지털 총괄 책임자인 Mikael Wettercrantz는 직원 내부망에 글을 올리며, 공식 계약 없이 AI 서비스를 사용하는 것이 "우리의 정보 보안에 결과를 초래할 수 있다"고 밝혔습니다. 그는 입력된 정보의 민감성과 AI 생성 콘텐츠의 처리 방식과 관련하여 여러 차례 부적절한 AI 서비스 사용 사례를 발견했다고 말했습니다. 공식 계약이 부족하기 때문에 소비자용 AI 도구는 사용자 쿼리를 외부 회사 서버로 전송하며, 미국 법률은 당국이 이러한 회사에 데이터를 요구할 수 있도록 허용합니다.Copilot이 유지된 이유는 정부 사무소가 검토 후 보안 설정을 강화했기 때문이며, ChatGPT와 Claude는 동등한 처리를 받지 않았습니다. 일부 직원은 여전히 이 기관 내부에 구축된 AI 플랫폼을 통해 차단된 두 도구에 접근할 수 있습니다. 이전에 스웨덴 세무청과 국가 기관 간호 위원회는 유사한 금지를 시행했으며, 법 집행 기관도 곧 결정을 내릴 예정입니다; 교통 관리국의 내부 감사에서는 약 10개의 AI 서비스가 "광범위하고 고위험하게" 사용되고 있음을 발견했습니다.

솔라나(Staking Protocol) 마리네이드(Marinade) 3분기 SOL 스테이킹 양이 794만 개로 증가했습니다

솔라나 스테이킹 서비스 프로토콜 마리네이드가 2026년 3분기 보고서를 발표했습니다. 9월 30일 기준으로 SOL 스테이킹량은 794만 개로, 전월 대비 21.2% 증가했으며, 이 증가는 주로 비관리형 원주율 스테이킹 제품인 네이티브와 기관 대상의 셀렉트에서 발생했습니다. 네이티브 스테이킹량은 전월 대비 47.3% 증가하여 약 377만 개에 이르렀고, 셀렉트는 전월 대비 38.7% 증가하여 약 168만 개에 도달했으며, mSOL은 전월 대비 6.8% 감소하여 약 227만 개로 줄어들었습니다.3분기 수익은 약 100만 달러로, 이는 10,918개의 SOL에 해당하며, 전월 대비 25.9% 증가했습니다. 이는 주로 검증자 보증금 정산 수익이 전월 대비 38.1% 증가한 데서 비롯되었습니다. 스테이킹 경매 시장에서는 해당 분기 51개의 에포크 중 48개에서 수익률이 솔라나 스테이킹 지수를 초과했으며, 마리네이드 수수료를 제외한 평균 수익률은 5.93%로, 같은 기간 해당 지수는 5.67%였습니다.거버넌스 측면에서, MIP-22가 7월에 발효된 이후 마리네이드는 경매 수수료의 10%를 공개 시장에서 MNDE를 재매입하는 데 사용했습니다. 3분기 동안 총 906.6개의 SOL로 420만 개의 MNDE를 재매입했으며, 첫 번째 배분은 10월 1일에 개방되었습니다. 보고서에서는 9월 25일에 공격자가 DAO 투표 프로세스의 취약점을 이용해 두 개의 악의적인 제안을 제출했으며, 그 중 하나는 DAO 금고 자산의 이전과 관련이 있었습니다. 이사회는 약 6시간 내에 두 개의 제안을 거부했으며, 그날 밤 수정을 완료하여 자금이 이전되지 않았습니다.

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 Decentralised.co: 체인 상 옵션 거래는 여전히 영구 DEX의 1%에 미치지 못합니다

암호화 연구 미디어 Decentralised.co 발행: 체인 상 옵션 거래량은 여전히 영구 계약 DEX의 1%에 미치지 못하며, 전통 시장 옵션 거래량은 선물의 약 3배에 달합니다. 해당 기관은 2018년 1월부터 2026년 10월까지 비트코인 일일 종가를 회귀 분석했으며, 최종 수익을 올린 롱 포지션에서 10배 영구 계약의 180일, 90일, 60일 창구의 청산 확률은 각각 47%, 29%, 18%입니다. 2025년 10월 10일 세 건의 1000달러 비트코인 롱 포지션을 재현했으며: 10배 영구 계약은 21:14에 청산되었고, 30일 콜 옵션은 최소 181달러에서 한 시간 내에 800달러 이상으로 회복되었으며, 52달러의 7일 풋 옵션은 10배 롱 포지션이 하락을 견디도록 했습니다.Decentralised.co: 과거 체인 상 옵션은 주문서 분산, 헤지 어려움 및 자금 잠금으로 인해 실패한 경우가 많습니다. Hegic 예치자는 2021년 5월 약 8000만 달러 중 대부분을 잃었고, Lyra 예치자는 7개월 내 비트코인 풀에서 4.9%, 이더리움 풀에서 17.6% 손실을 보았으며, PsyOptions는 2024년 6월에 제품을 종료했습니다. Hyperliquid와 같은 영구 유동성의 조합 보증금은 비트코인 콜 옵션을 매도하는 데 필요한 잠금 자금을 약 10만 달러에서 약 1.5만 달러로 줄일 수 있으며, 월 수익률은 1.8%에서 약 12%로 증가합니다.문서에서는 Hyperliquid를 헤지 유동성의 주요 장소로 나열하고, 옵션 프로토콜 Derive(원래 Lyra)를 기본 엔진으로, Paradex가 대량 거래를 처리하며, Hypercall은 Hyperliquid 위에 구축된 최초의 옵션 장소입니다. Derive는 10월 19일 기준으로 약 180억 달러의 옵션 명목 가치를 청산했습니다. Paradex는 9월 15일 Paradigm에 접속한 후, 날짜 옵션 거래량이 300만 달러 미만에서 일주일 내에 5870만 달러로 증가했으며, 미결제 계약은 2.5억 달러를 초과하다가 10월 14일 약 9600만 달러로 감소했습니다. 2026년 9월 체인 상 옵션의 명목 가치는 약 50억 달러로 두 배 증가하며, 권리금은 8500만 달러로 상승합니다.
app_icon
ChainCatcher Building the Web3 world with innovations.