Open Math가 출시되었습니다! Shentu Chain과 CertiK이 협력하여 세계 최초의 수학 DeSci 플랫폼을 개발합니다.

Shentu Chain은 최근 세계 최초의 수학 중심 DeSci 플랫폼인 OpenMath의 공식 출시를 발표했습니다. 이 플랫폼은 세계 최대 웹 3.0 보안 기업이자 형식 검증 분야의 선두주자인 CertiK과의 전략적 파트너십을 통해 개발되었습니다.

OpenMath는 검증 가능한 수학적 진실을 중심으로 하는 DeSci 생태계 구축에 전념합니다. 연구자와 검증자는 협력하여 수학 문제를 제안하고 해결한 후, Rocq 기반 형식 검증 기술을 사용하여 논리를 검증함으로써 수학적 정밀도를 갖춘 엄격하고 정확한 추론을 보장합니다. 검증을 성공적으로 완료한 참여자는 토큰 보상을 받게 되며, 이는 연구 과정의 투명성과 효과적인 인센티브 메커니즘을 효과적으로 통합합니다.

OpenMath는 예일대학교 종샤오(Zhong Shao) 교수와 롱후이 구(Ronghui Gu) 교수가 인큐베이팅한 셴투 체인(Shentu Chain, 이전 CertiK 체인)에 구축된 것으로 알려졌습니다. 2021년 8월, 셴투는 CertiK에서 공식적으로 분리되어 독립적으로 운영되고 있습니다. OpenMath의 출시는 양사 간의 새로운 파트너십을 기반으로 수학적 시나리오에서 블록체인과 형식 검증을 적용하는 공동 연구의 일환입니다.

最热快讯
BInance.US, 암호화폐 사업 확장을 위해 1억 달러 자금 조달 추진
Odaily 보도에 따르면, 시장 소식통은 BInance.US가 암호화폐 사업 확장을 위해 1억 달러 규모의 자금 조달을 추진하고 있다고 전했다.
宏观风险压制比特币看涨情绪,圣诞节前涨至10万美元概率不足10%
Odaily星球日报讯 加密市场正陷入多空力量拉锯:一方面,数字资产分析师仍持看涨态度;另一方面,投机性市场整体转向防御,风险偏好持续承压。比特币一度跌破 8 万美元,为近一个月来首次。受美股 AI 板块抛售拖累,风险资产普遍回落,加密市场此前试图重建的看涨情绪再度受挫。STS Digital 美国区负责人 Jeff Anderson 表示,通胀数据将“严重打击风险偏好”,而市场正进入美联储议息会议前的静默期,利率预期仍充满不确定性。Derive.xyz 创始人 Nick Forster 表示,过去 24 小时内,市场定价的比特币圣诞节前涨至 10 万美元的概率下降 2.8 个百分点至 9.7%。他指出,长期看涨押注迅速撤退、短期对冲需求激增,表明机构参与者正随着利率前景再度变得模糊而迅速重新评估宏观风险敞口。(彭博社)
토큰화 자산 결제 플랫폼 Multiliquid, 800만 달러 자금 조달 완료... Polychain이 시드 라운드 주도
Odaily 보도에 따르면, 토큰화 자산 결제 플랫폼 Multiliquid의 개발사 Uniform Labs가 시드 라운드 및 프리시드 라운드에서 누적 800만 달러를 조달했다. 이 중 최신 시드 라운드는 Polychain이 주도했으며, Strobe Ventures, CMT Digital, Metalayer Ventures, Generative Ventures, Circle Ventures 등이 참여했다. Multiliquid는 기관이 단일 원자적 거래를 통해 토큰화 자산과 스테이블코인 간 전환을 지원하며, 현재 이더리움과 Solana에 배포되어 있다. 이 플랫폼은 비수탁 모델을 채택하고 있으며, 순자산가치(NAV) 기반 전환 결제를 지원한다. 이번 자금 조달은 프로토콜 연구개발 팀 확충, 유동성 및 거래 플랫폼 파트너 유치, 그리고 이더리움 가상머신(EVM) 네트워크 및 Solana에서의 토큰화 현금 및 미국 국채 상품 확장에 사용될 예정이다. (The Block)
황런쉰, CoreWeave 강력 지지: 재무 상황 지속 개선, 엔비디아의 보증 불필요
Odaily 보도에 따르면, 엔비디아 CEO 젠슨 황은 데이터센터 운영업체 CoreWeave의 재무 상황이 개선되고 있다고 밝혔다. 엔비디아는 CoreWeave의 컴퓨팅 장비 공급업체이다. 젠슨 황은 스톡홀름에서 열린 한 행사에서 "CoreWeave의 실력은 날마다 강해지고 있다"고 말했다. 그는 엔비디아가 CoreWeave에 재무 보증을 제공할 필요가 없다고 생각한다. "나는 낙관적인 입장이다. 실제로 그들의 자본 비용은 낮아지고 있다."앞서 신용 시장은 CoreWeave에 대한 신뢰가 악화되며 채무 불이행 위험이 높아지고 있다고 판단했고, 젠슨 황은 시장의 해당 기업에 대한 신뢰를 회복시키려 하고 있다. CoreWeave는 신흥 인공지능 인프라 기업의 비즈니스 모델 지속 가능성을 검증하는 중요한 사례이다. 이러한 기업들은 엔비디아 등 회사가 주장하는 거의 무한히 성장하는 인공지능 컴퓨팅 수요를 충족하기 위해 등장했다. CoreWeave 등 기업은 엔비디아를 포함한 공급업체의 지원 아래 대규모로 부채를 조달했으며, 이는 순환 융자가 허위 수요를 만들어낸다는 시장의 우려를 불러일으켰다.
최대 1000배 레버리지 지원, Jupiter, YOLO 거래 상품 출시
Odaily 보도에 따르면 SIONG이 X 플랫폼에 게시한 글에서 Jupiter Labs가 실험적 고레버리지 거래 상품인 YOLO를 출시했으며, 500배에서 1000배까지 레버리지를 지원한다고 밝혔다. 이 상품은 JLP 모델을 참고하여 실제 시장 가격에 따라 포지션을 시뮬레이션하지만, 손익은 실제로 발생하며 시장에서 해당 규모의 레버리지 포지션을 실행할 필요는 없다. YOLO의 수익은 자금 풀에서 지급되며, 자금 풀의 유동성이 부족할 경우 관련 지급이 대기열에 들어가 즉시 지급되지 않을 수 있다. SIONG은 이 모델이 전통적인 영구 계약과 다르며 자체적인 위험과 한계를 가지고 있다고 밝혔다. YOLO는 현재 초기 단계에 있으며, 이 상품 출시는 새로운 금융 상품과 거래 경험에 실험 공간을 제공하기 위한 것으로 PaperTrade에서 영감을 받았다.
BTC가 82000 USDT를 돌파했으며, 24시간 상승률은 0.24%입니다.
Odaily 보도에 따르면 OKX 시세에 따르면 BTC가 82000 USDT를 돌파했으며 현재 82024.3 USDT에 거래되고 있고 24시간 상승률은 0.24%입니다.
资讯热榜
日榜
周榜
홍콩 증시 저장장치 관련주 약세, CSOP SK하이닉스 2배 레버리지 21.8% 하락
한국 주가지수 개장 후 5% 이상 급락, SK하이닉스 7% 이상 하락
中信证券:연준이 10월 동결 후 12월에 금리를 인상할 것으로 여전히 전망
Korean stocks plunge 6%, hitting near three-month low
TSMC 3분기 순이익 전년 대비 69% 증가해 예상치 상회, 연간 매출 성장률 전망 44%로 상향
Odaily 웹사이트 비정상 푸시 공지
황런쉰, CoreWeave 강력 지지: 재무 상황 지속 개선, 엔비디아의 보증 불필요
백악관, 연방 자금 유입을 통해 비트코인 확보하여 미국 전략 비트코인 준비금 확대 모색
BTC가 80000 USDT 아래로 하락, 24시간跌幅 3.43%
BTC가 82000 USDT를 돌파했으며, 24시간 상승률은 0.24%입니다.