BTC $79,988.94 -0.71%
ETH $2,318.25 -1.12%
BNB $737.73 -0.83%
XRP $1.28 -1.75%
SOL $100.61 -0.90%
TRX $0.3300 +0.32%
DOGE $0.0767 -0.24%
ADA $0.2022 -1.63%
BCH $275.37 +0.16%
LINK $11.35 -0.42%
HYPE $76.51 +0.66%
AAVE $134.43 -1.62%
SUI $0.9066 -1.25%
XLM $0.1680 -1.04%
ZEC $1,200.66 +0.38%
AAPL $346.28 -0.18%
AMZN $248.79 +0.11%
GOOGL $321.02 -0.03%
MSFT $525.66 +0.39%
META $640.39 -0.19%
NVDA $211.27 -0.55%
TSLA $375.59 +1.03%
SNDK $1,228.35 -0.93%
INTC $86.01 -0.49%
SPCX $147.75 -0.07%
MU $874.43 -1.49%
AMD $512.00 -1.14%
BTC $79,988.94 -0.71%
ETH $2,318.25 -1.12%
BNB $737.73 -0.83%
XRP $1.28 -1.75%
SOL $100.61 -0.90%
TRX $0.3300 +0.32%
DOGE $0.0767 -0.24%
ADA $0.2022 -1.63%
BCH $275.37 +0.16%
LINK $11.35 -0.42%
HYPE $76.51 +0.66%
AAVE $134.43 -1.62%
SUI $0.9066 -1.25%
XLM $0.1680 -1.04%
ZEC $1,200.66 +0.38%
AAPL $346.28 -0.18%
AMZN $248.79 +0.11%
GOOGL $321.02 -0.03%
MSFT $525.66 +0.39%
META $640.39 -0.19%
NVDA $211.27 -0.55%
TSLA $375.59 +1.03%
SNDK $1,228.35 -0.93%
INTC $86.01 -0.49%
SPCX $147.75 -0.07%
MU $874.43 -1.49%
AMD $512.00 -1.14%

la

전체
글
뉴스 플래시

Galaxy Research: 비트코인 네트워크에서 자주 발생하는 "문자 깨짐"은 암호 정보가 아니며, 스크립트 테스트일 수 있다

Galaxy Research의 분석에 따르면, 지난 3주 동안 비트코인 네트워크에서 매일 약 40개의 무작위 문자로 구성된 명문이 나타났으며, 내용은 암호화된 텍스트처럼 보이지만 실제로는 암호 정보가 아닙니다. 관련 주소는 이전에 5월에 미국 헌법을 비트코인 네트워크에 기록한 바 있습니다.연구에 따르면 562개의 텍스트를 통계적으로 분석한 결과, 26개의 영문자의 출현 빈도가 거의 균등하게 분포되어 있으며, 이는 정상적인 영어 및 대체 암호의 특징과 뚜렷하게 다릅니다. 단어 길이 분포, 반복 단어 빈도 등의 지표도 이 텍스트들이 무작위 문자 생성기에서 생성된 가능성이 높음을 나타냅니다.Galaxy Research는 이 작업을 수행하는 주체를 "바벨 필경사" (Babel Scribe)라고 부르며, 이는 비트코인 메인넷에서 데이터 게시 도구를 테스트하는 것에 가깝다고 생각하고 있으며, 숨겨진 정보를 전달하려는 시도가 아닙니다. 체인상의 거래 구조, 잔돈 주소의 연속 사용 및 규칙적인 게시 시간은 자동화된 스크립트의 특징을 보여줍니다. 관련 활동에는 테스트 텍스트, 다양한 언어의 무작위 단어, 이진 데이터, 그리고 후속으로 기록된 미국의 《독립 선언서》가 포함됩니다.추정에 따르면, 해당 프로젝트는 총 약 333만 사토시가 전송되었으며, 그 중 약 24%는 채굴자 수수료 지불에 사용되었고, 나머지 자금은 여전히 관련 주소에 남아 있습니다. 연구자들은 이러한 난독문을 숨겨진 정보로 해석할 필요가 없다고 제안합니다.

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 서비스가 "광범위하고 고위험하게" 사용되고 있음을 발견했습니다.

YZi Labs가 첫 번째 Atlas Scout 프로그램을 시작하여 새로운 세대의 대학생 창업자들이 초기 지원을 받을 수 있도록 돕습니다

공식 소식에 따르면, YZi Labs는 첫 번째 Atlas Scout 프로그램을 시작한다고 발표하며, 스탠포드 대학교, 예일 대학교, 캘리포니아 대학교 버클리 캠퍼스 및 캘리포니아 대학교 로스앤젤레스 캠퍼스에서 온 네 명의 학생을 모집하여 Web3, 인공지능(AI) 및 생명공학 분야의 초기 투자 프로젝트에 참여하도록 합니다.이 프로그램은 우수한 대학생들이 조기 벤처 캐피탈에 접촉하고, 프로젝트 발굴, 초기 연구, 실사 및 투자 판단에 참여하도록 하며, 그들이 캠퍼스 내에서 창업 커뮤니티를 조직하고 투자 기회를 탐색하도록 장려하는 것을 목표로 합니다. YZi Labs는 이 프로그램과 관련된 투자 기회에 대해 최대 100만 달러의 의향 투자 한도를 제공하고, 300개 이상의 투자 포트폴리오 기업으로 구성된 생태 네트워크를 개방할 것입니다.YZi Labs는 많은 잠재력 있는 창업자들이 전통적인 자금 조달 경로에 들어서기 전에 실험실, 오픈 소스 프로젝트, 캠퍼스 창업 조직 및 기술 커뮤니티에서 탐색을 시작한다고 밝혔으며, 그들과 함께 배우고 일하는 동료들이 보통 그들의 잠재력을 더 일찍 발견한다고 전했습니다. Atlas Scout 프로그램은 학생들의 캠퍼스 네트워크를 활용하여 이러한 초기 창업자들이 자본, 멘토링 및 산업 자원을 얻도록 돕기를 희망합니다. 자격을 갖춘 창업 팀은 YZi Labs의 EASY Residency 프로그램과 연결되거나 추가적인 투자 협력을 논의할 기회를 가질 수 있습니다.Atlas Scout 프로그램은 초기 창업자들에게 자금 조달 및 자원 경로를 확장할 뿐만 아니라, 참여 학생들이 실제 프로젝트를 통해 벤처 캐피탈 경험을 쌓고, 프로젝트 평가, 창립자 소통 및 투자 판단 능력을 향상시키도록 합니다.YZi Labs는 Scout가 자신의 관심에 따라 캠퍼스 활동을 자율적으로 진행할 수 있도록 하며, 예를 들어 기술 교류를 조직하거나 창업 팀을 모으거나 잠재적 투자 프로젝트를 발굴하는 등의 활동을 할 수 있으며, 이 과정에서 YZi Labs의 지도 및 생태 자원 지원을 받을 수 있다고 밝혔습니다. 이 프로그램은 창업 프로젝트가 널리 주목받기 전 연락을 구축하여 캠퍼스 내 초기 구상이 실제 프로젝트로 발전할 기회를 제공하고, 기술 트렌드와 창업 잠재력을 더 일찍 인식할 수 있는 새로운 세대의 투자자를 양성하는 것을 목표로 합니다.

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 바이너리를 대상으로 하며, 증명 검증기가 사양이 현실에 부합하는지 판단할 수 없다고 지적했습니다.
app_icon
ChainCatcher Building the Web3 world with innovations.