ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。

<p>ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。</p>

Aptos 成为首个支持动态调度形式化验证的 L1

ChainCatcher에 따르면 Aptos는 X 플랫폼에 Aptos가 형식 검증의 동적 스케줄링을 지원하는 최초의 L1 알고리즘이며, 설계대로 작동함을 수학적으로 증명할 수 있다고 주장하는 글을 발표했습니다. Aptos는 AI가 명세를 작성하고 그 정확성을 수학적으로 증명하며, Move Prover는 시장과 기계 사이의 신뢰 계층인 오라클 이라고 설명합니다.

<p>ChainCatcher에 따르면 Aptos는 X 플랫폼에 Aptos가 형식 검증의 동적 스케줄링을 지원하는 최초의 L1 알고리즘이며, 설계대로 작동함을 수학적으로 증명할 수 있다고 주장하는 글을 발표했습니다. Aptos는 AI가 명세를 작성하고 그 정확성을 수학적으로 증명하며, Move Prover는 시장과 기계 사이의 신뢰 계층인 오라클 이라고 설명합니다.</p>

Aptos는 동적 스케줄링에 대한 형식적 검증을 지원하는 최초의 L1 플랫폼이 되었습니다.

코인베이스는 네이티브 마켓츠가 새로운 재무 공유 모델에 따라 USDH 스테이블코인 인프라를 USDC로 전환할 계획을 발표한 후 하이퍼리퀴드 생태계에 더욱 깊이 관여하고 있습니다.
이러한 움직임은...

코인베이스, 유동성이 높은 USDC로 이동함에 따라 USDH 시장 점유율 확대

시총 5조 5천억 달러에 달하는 엔비디아가 강력한 경쟁자를 만났다.
기사 작성자 및 출처: Pencil News 시총 5조 5천억 달러에 달하는 엔비디아가 강력한 경쟁자를 만났다.
반도체 회사 세레브라스가 곧 나스닥에 상장할 예정이다. 공모가는 주당 189달러로 책정되어 55억 5천만 달러를 조달할 예정이며, 이를 통해 회사 가치는 564억 달러(약 3,800억 위안)로 평가된다.
이는 올해 전 세계에서 가장 큰 규모의 기업공개(IPO)이며, 상반기 IPO 중에서도 가장 큰 규모가 될 가능성이 높습니다.
세레브라가 왜 그렇게 인기 있을까요? 엔비디아의 해시레이트 도전장을 내밀고 있기 때문입니다.

올해 최대 규모인 3800억 달러 규모의 기업공개(IPO)가 드디어 시작됩니다.

암호화폐 거래소 바이낸스는 사용자 보안을 강화하고 플랫폼 표준을 유지하기 위해 바이낸스 알파에 대한 포괄적인 상장 업데이트를 발표했습니다.
거래소 발표에 따르면 20개의 토큰이...