BTC/HKD-0.46%
ETH/HKD-0.5%
LTC/HKD+1.3%
DOT/HKD-1.14%
ADA/HKD-0.53%
SOL/HKD+0.1%
XRP/HKD-0.07%
DOGE/US-0.57%
法國軟件公司 OCaml Pro，創立于 2011 年，通過使用較為正規的方法提升軟件質量。他們推廣使用快速、富有表現力、靜態類型的先進編程語言 OCaml，同時，還開發了 Alt-Ergo 等驗證工具。很長一段時間，OCaml 語言是由學者們為學者開發的。
派盾：Harmony攻擊者已將4.2萬枚ETH轉入TornadoCash:金色財經消息，據PeckShield發推表示，盜取Harmony跨鏈橋Horizon1億美元資金的黑客已將被盜金額的46%（約4.2萬枚ETH）轉移至TornadoCash。當前主要的攻擊者錢包地址還持有31785枚ETH。[2022/6/30 1:41:41]
自 2014 年以來，OCaml Pro 深入參與 Tezos 的開發工作，并幫助設計 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基礎上為 Tezos 代碼庫工作，為發布做足準備。此外，OCaml Pro 還啟動了幾個與 Tezos 相關的項目，如 TZScan、Tezos Block Explorer 與智能合約的高級編程語言 Liquidity，使用 Why3（INRIA）與 Alt-Ergo 等做為形式化驗證的初始工具。
Lighthouse Labs完成700萬美元種子輪融資，Animoca Brands、Accel等領投:5月11日消息，Lighthouse Labs宣布完成700萬美元種子輪融資，本輪融資由Animoca Brands、BlockTower、Accel領投，WhiteStar Capital、Gemini Frontier
Fund和The Graph核心開發商Streaming Fast參投，個人投資者包括Nansen創始人Alex Svanevik、POAP創始人Patricio Worthalter、Messari創始人Ryan Selkis和Exc lusible創始人Thibault Launay。該公司表示將于今年夏季推出其元宇宙搜索引擎，該平臺旨在使不同元宇宙的地點、事件、社區和人員可通過一個入口進行搜索。[2022/5/11 3:08:28]
動態 | 區塊鏈執法平臺LOCARD獲得歐盟Horizon2020資助計劃支持:旨在將執法證據數字化的全歐洲平臺LOCARD得到19個成員組成的財團支持。在歐盟Horizon2020資助計劃的支持下，合法證據收集和連續性平臺開發（LOCARD）項目旨在為執法部門自動收集和記錄數字證據。 這一過程將需要大約36個月才能完成。（ITPro）[2019/8/1]
有了它們,才可以在立秋的開始“sao”一把！ AMBUSH 隨著KimJones入駐Dior,這個早在時尚圈紅透透的女孩Yoon再次被推上了話題的風口浪尖.
1900/1/1 0:00:00有了它們,才可以在立秋的開始“sao”一把！ AMBUSH 隨著KimJones入駐Dior,這個早在時尚圈紅透透的女孩Yoon再次被推上了話題的風口浪尖.
1900/1/1 0:00:00概覽：Crypto頭部量化機構梳理概覽：使用小眾Ocaml語言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由SIG的三位.
1900/1/1 0:00:00概覽：Crypto頭部量化機構梳理 簡介與概覽 概覽：使用小眾Ocaml語言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet.
1900/1/1 0:00:00頭條 Facebook上線加密貨幣項目Libra官網,同期發布白皮書6月18日17點,Facebook加密貨幣項目Libra官網上線,同期發布了項目白皮書.
1900/1/1 0:00:00???? 概覽：Crypto頭部量化機構分布???????????? 概覽：Crypto頭部量化機構梳理???????????? 簡介與概覽 概覽：使用小眾OCaml語言的.
1900/1/1 0:00:00
比特幣交易所
