OCaml Pro

OCaml Pro

法國軟件公司 OCaml Pro，創立于 2011 年，通過使用較為正規的方法提升軟件質量。他們推廣使用快速、富有表現力、靜態類型的先進編程語言 OCaml，同時，還開發了 Alt-Ergo 等驗證工具。很長一段時間，OCaml 語言是由學者們為學者開發的。

派盾：0xC994開頭Nomad黑客地址已將約3785枚ETH轉至中間地址并開始使用TornadoCash進行混幣:8月2日消息，派盾監測顯示，Nomad黑客地址之一0xC994...0cf599已將約1205枚ETH轉移至中間地址0x7a98...dFa308，約2580枚ETH轉移至中間地址0x8d5D...121124，并開始使用TornadoCash進行混幣。[2022/8/2 2:52:57]

自 2014 年以來，OCaml Pro 深入參與 Tezos 的開發工作，并幫助設計 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基礎上為 Tezos 代碼庫工作，為發布做足準備。此外，OCaml Pro 還啟動了幾個與 Tezos 相關的項目，如 TZScan、Tezos Block Explorer 與智能合約的高級編程語言 Liquidity，使用 Why3（INRIA）與 Alt-Ergo 等做為形式化驗證的初始工具。

Animoca Brands宣布收購游戲開發公司Notre Game:6月3日消息，Animoca Brands宣布已完成對游戲開發公司Notre Game的全資收購。收購完成后，Notre Game的管理層和員工將繼續經營公司。作為Animoca Brands的一部分，Notre Game能夠將其產品擴展到全球市場，并在Animoca Brands集團內獲得大量網絡、資源和專業知識。

據悉，Notre Game成立于2016年，曾成功開發卡牌收藏手機游戲Scratch Wars。其目前正在開發Scratch Lords，這是一款基于Scratch Wars游戲機制的新型NFTP2E游戲。[2022/6/3 4:00:42]

比特幣場外交易平臺LocalBitcoins目前正在完善反洗錢AML和客戶KYC:LocalBitcoin交易平臺目前正在遵守反洗錢和KYC(了解你的客戶)程序。在Reddit上出現了一個新的帖子引起了公眾的注意，上面涉及新的AML和KYC。這家加密貨幣交易平臺在監管的要求下需要向用戶那里獲得AML/KYC信息。目前還沒有來自LocalBitcoins的官方聲明。到目前為止，還不清楚AML/KYC程序是否會向所有用戶提出要求或僅向過去12個月內交易了大量加密貨幣的用戶提出要求。[2018/4/20]

Tags：TezosOCaml Pro

官方

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube