7x24시간 속보

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 토큰을 상장했다.

Svmuu 소식: Bitwise Asset Management는 자사의 BHYP Hyperliquid ETF 운용 수수료 수익의 10%를 회사 대차대조표상 Hyperliquid의 네이티브 토큰인 HYPE 보유에 사용할 것이라고 발표했으며, 관련 HYPE 보유분은 스테이킹될 예정이다. Bitwise는 Hyperliquid가 “커뮤니티 우선” 모델을 채택하여 온체인 수익의 약 99%를 HYPE 토큰의 매입 및 소각에 사용하고 있으므로, 회사도 이에 발맞춰 HYPE를 보유하기로 결정했다고 밝혔다. Bitwise의 Hyperliquid ETF(티커: BHYP)는 지난 금요일 뉴욕증권거래소에 상장되어 투자자들에게 Hyperliquid에 대한 노출과 스테이킹 수익을 제공하고 있다. (The Block)

Svmuu讯 中金研报에 따르면, 최근 여러 미국 인플레이션 데이터가 예상치를 상회했으며, 고용 시장은 안정세를 보이고 있다. 채권 매도세가 나타나면서 시장의 인플레이션 우려가 지속적으로 고조되고 있다. 동시에 미-이란 평화 협상은 실질적인 진전을 보지 못하고 있으며, 호르무즈 해협은 사실상 봉쇄 상태를 유지하고 있어 에너지 가격 상승 리스크는 사라지기 어렵다. 기준 시나리오에서 우리는 미국 PCE 인플레이션이 연간 3.5% 이상, 근원 PCE 인플레이션은 3% 이상을 유지할 것으로 예상하며, 이는 모두 연준의 2% 정책 목표를 크게 상회한다.
이러한 배경 속에서 연준의 정책 기조는 더욱 신중한 방향으로 전환될 것이며, 연내 추가 금리 인하는 어려울 것으로 보인다(이전에는 4분기에 다음 금리 인하가 있을 것으로 예상). 새 의장 워시가 취임한 후, 정책 신뢰도 구축이 최우선 과제가 될 것이며, 시장에 명확한 반인플레이션 신호를 적시에 전달하는 것은 당연한 의무이자 기대치를 안정시키기 위한 필수 조치이다. 시장의 관점에서 이는 달러 유동성의 경계적 긴축 가능성이 높아졌음을 의미하며, 단순히 유동성에 의존하는 자산은 지속적인 압박을 받을 수 있다. (금십)