7x24시간 속보

Svmuu 뉴스, 미국은행 상품 및 파생상품 리서치 책임자는 유가에 대한 최상의 시나리오 예측으로 올해 남은 기간 동안 브렌트유 평균 가격이 배럴당 90달러에 이를 것이라고 밝혔다. 이란과의 교착 상태가 지속되거나 새로운 전쟁으로 인해 상황이 악화되면 시장은 더 상승할 수 있다고 덧붙였다.
호르무즈 해협 위기에 대한 단기적인 해결책이 점점 더 멀어지는 것으로 보이면서, 점점 더 많은 월스트리트 전략가들은 브렌트유가 올해 배럴당 90달러 안팎을 유지할 것이라고 전망하고 있다. 골드만삭스는 몇 주 전에 연말 브렌트유 가격 전망을 배럴당 90달러 안팎으로 상향 조정했으며, WTI 원유 가격 전망은 83달러로 제시했다.(금십)

Svmuu讯 온체인 분석가 Ai 이모의 모니터링에 따르면, HYPE에 대규모 롱-숏 대치 상황이 발생했습니다. TOP1과 TOP2 고래 포지션이 서로의 상대방이며, 총 규모는 6000만 달러를 초과하여 시장이 중요한 게임 단계에 진입했습니다. 그 세부 사항은 다음과 같습니다:
Yu Jin Loracle은 5배 레버리지로 144만 개의 HYPE(약 6843만 달러 상당)을 공매도 포지션으로 보유하고 있으며, 개시 가격은 약 42.55달러입니다. 현재 약 700만 4천 달러의 미실현 손실을 보고 있습니다.
동시에 주소 0x082…dca88은 5배 레버리지로 138만 개의 HYPE(약 6537만 달러 상당)을 매수 포지션으로 보유하고 있으며, 개시 가격은 약 38.67달러입니다. 현재 약 1198만 달러의 미실현 이익을 보고 있습니다.

Svmuu 소식: 소식통에 따르면, 아날로그 디바이스(Analog Devices)는 AI 칩 스타트업인 엠파워 세미컨덕터(Empower Semiconductor)를 약 15억 달러에 인수하기 위해 심도 있는 협상을 진행 중이며, 이번 거래가 성사될 경우 아날로그 디바이스의 고성능 컴퓨팅 인프라 분야 진출이 더욱 확대될 전망이다. 이번 거래는 AI 칩의 전원 공급 및 에너지 효율 관리 기술에 대한 시장의 강력한 수요를 반영한 것으로, 인공지능 워크로드가 지속적으로 증가함에 따라 AI 칩에 대한 전력 관리 및 에너지 효율 요구 사항이 더욱 높아지고 있다. (The Information)

1. 미 SEC, 이르면 이번 주 토큰화 주식 규제 프레임워크 발표 예정, 월스트리트 체인 상 증권 가속화;
2. 트럼프: 걸프 동맹국, 이란 군사 공격 2~3일 연기 요청;
3. CICC: 연준 올해 금리 인하 어려울 듯;
4. 애널리스트: 비트코인 잠재적 차익 실현 압력 상승 중, 시장 경계 필요;
5. Echo Protocol 공격, 공격자 1000 eBTC 생성 후 Curvance 통해 인출;
6. Monad 공동 창업자: Echo 프로토콜 보안 사건 인지, Monad 네트워크 영향 없음;
7. 비트코인 고래 지속 매수 신호: 100 BTC 이상 보유 지갑 2.02만 개, 연간 11.2% 증가;
8. 메타, 구조조정 시작 20% 감원 및 7000명 직원 AI 전략으로 전환;
9. 코인베이스: 5월 23일 시스템 업그레이드, 거래 중단 없으나 주문 상태 영향 가능;
10. Bitwise, Hyperliquid ETF 수수료 일부로 HYPE 토큰 매수 예정.

Svmuu讯 马斯크 소속 AI 기업 xAI가 웹, iOS 및 Android 플랫폼에서 'Skills' 기능을 동시에 출시한다고 발표했습니다. 이 기능은 AI 어시스턴트 Grok에 대화 간 지속적인 기억 능력을 부여하며, Grok이 기존의 단일 질문 응답 챗봇에서 설정 가능하고 프로그래밍 가능한 자동화 작업 공간으로 진화하고 있음을 의미합니다.
소개에 따르면, 'Skills' 기능을 통해 사용자는 특정 작업 방법을 Grok에게 한 번만 가르쳐 주면, Grok이 이후의 모든 개별 대화에서 관련 개인 선호도, 레이아웃 형식 규칙 또는 특정 작업 흐름 단계를 영구적으로 기억합니다. 이는 사용자가 새 대화를 시작할 때마다 번거로운 사전 프롬프트나 배경 설정을 반복해서 입력할 필요가 없음을 의미합니다.(인터페이스)

Svmuu 소식 이더리움 이더리움(이더리움)의 공동 창립자 비탈릭 부테린(Vitalik Buterin)이 『A shallow dive into formal verification』이라는 글을 발표하여, 이더리움 및 더 광범위한 컴퓨팅 분야에서 형식적 검증(Formal Verification)의 최신 발전 동향과 한계를 체계적으로 정리했다.이 글은 최근 몇 달간 이더리움의 최첨단 연구계에서 새로운 프로그래밍 패러다임이 빠르게 부상하고 있다고 지적한다. 개발자가 EVM 바이트코드나 어셈블리 같은 극저수준 언어나 Lean을 직접 사용하고, 자동 검증 가능한 수학적 증명을 통해 코드의 정확성을 검증하는 방식이다.이 방법은 이론적으로 코드 효율성을 높일 뿐만 아니라 보안성도 현저히 향상시킬 수 있어, 일부 연구자들로부터 “소프트웨어 개발의 궁극적인 형태”라고 불리고 있다. 비탈릭은 형식적 검증의 핵심이 기계가 검사할 수 있는 수학적 증명을 통해 프로그램의 속성을 검증하는 것이라며, 그 가치는 “보안성”을 경험적 테스트에서 증명 가능한 논리 체계로 전환할 수 있다는 점에 있다고 말했다. 암호화 통신, 암호 프로토콜 및 블록체인 시스템(예: 제로 지식 증명과 합의 메커니즘)에서 이 방법은 이미 핵심 시스템 동작을 종단 간 검증하는 데 활용되기 시작했다. 기사는 또한 이더리움 생태계가 프로토콜 수준의 보안성과 신뢰성을 높이기 위해 EVM 구현, STARK 증명 시스템, 양자 저항 서명 등 핵심 인프라에 대한 형식화 검증 프로젝트를 모색하고 있다고 지적했다.하지만 비탈릭은 형식적 검증 자체가 “만능 해결책”은 아니라고 강조했습니다. 그 한계로는 보안 정의가 인위적인 모델링에 의존한다는 점, 일부 시스템은 완전한 형식화가 어렵다는 점, 그리고 하드웨어나 검증되지 않은 모듈이 여전히 공격 표면이 될 수 있다는 점이 있습니다. 또한, 형식적 증명이 존재하더라도 사양 오류나 고려되지 않은 가정이 취약점을 유발할 수 있습니다. 비탈릭은 마지막으로, 보다 현실적인 접근 방식은 형식적 검증을 AI 지원 프로그래밍, 타입 시스템, 테스트 프레임워크 등 다양한 방법과 결합하여, “의도를 중복적으로 표현하고 일관성을 자동으로 검증”하는 프레임워크 하에서 소프트웨어 보안성을 점진적으로 향상시키는 것이라고 제안했다.AI가 대규모로 코드를 생성하는 추세 속에서, 소프트웨어 시스템은 점차 “취약한 에지 모듈”과 “신뢰도가 높은 보안 코어”로 분화될 것이다. 미래에는 형식적 검증을 핵심 시스템(예: 블록체인 프로토콜, 운영체제 커널 등)에 집중적으로 적용하여, 보안성을 검증할 수 있는 디지털 인프라를 구축해야 한다.

Svmuu 소식. msx.com 데이터에 따르면, 미국 증시 장 마감 시 다우존스 지수는 0.32% 상승했고, S&P 500 지수는 0.07% 하락했으며, 나스닥 지수는 0.51% 하락했고, VIX 공포 지수는 3.31% 하락했다.암호화폐 관련주들은 전반적으로 하락세를 보였으며, Upexi는 8.97%, American Bitcoin은 7.21%, DeFi Development는 7.08%, Tron Inc.는 6.16%, Hut 8은 6.12% 각각 하락했다. 알려진 바에 따르면, msx.com은 탈중앙화 RWA 거래 플랫폼으로, AAPL, AMZN, GOOGL, META, MSFT, NFLX, NVDA 등 미국 주식 및 ETF 토큰을 포함한 수백 종의 RWA 토큰을 상장했다.