OCaml Pro

OCaml Pro

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

Animoca Brands截至11月底持有生態項目數字資產價值158.7億美元:12月9日消息，Animoca Brands公布今年前三季度財報，預定收入約為1.4億美元，投資和數字資產收入約5.296億美元。這些數據主要來自元宇宙業務部門的貢獻，包括TheSandbox、GAMEE、REVVMotorsport、Quidd、Nway、Tower、Lympo、BlowfishStudio和Bondly。同時，屬于AnimocaBrands產品和平臺生態系統的數字資產儲備（包括REVV、SAND、TOWER和GMEE）已從2021年9月底的價值約29億美元上升至到2021年11月結束時約為159億美元，在兩個月內增長五倍多。[2021/12/9 12:59:56]

自 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 區塊鏈顧問：鏈游讓資產不再局限于發行商集中控制的單一“圍墻花園”游戲中:金色財經報道，8月4日，Animoca Brands 區塊鏈顧問Jeron Chan做客金色財經舉辦的“GameFi-DeFi+NFT 如何打破壁壘重塑鏈游價值”為主題的金色沙龍第68期活動。

Jeron Chan表示傳統游戲和鏈游的主要區別在于，鏈游中的物品可以是 NFT，這意味著它們可以實現真正的數字資產權。這些資產真正歸玩家所有，玩家可以相應地從中受益。除此之外，這有助于糾正游戲發行商（擁有一切）和游戲玩家（僅出租游戲、內容和體驗）之間不成比例的權力失衡。有了鏈游，資產不再局限于發行商集中控制的單一“圍墻花園”游戲；游戲玩家可以將他們的鏈游資產NFT用于任何其他支持的游戲或者只是將它們保存在自己的收藏中。鏈游開發商和發行商的收入模式是通過直接銷售游戲物品以及玩家交易游戲物品時收取的傭金來賺取收入。[2021/8/4 1:33:55]

動態 | Tezos Foundation和OcamlPro之間的談判破裂可能導致Tezos硬分叉:根據Tezos Commons Foundation的一篇博客文章，由于Tezos基金會威脅法國軟件公司OCamlPro暫停第二季度的資金支持后，OCamlPro正在尋求Tezos硬分叉。OCamlPro一直在接受Tezos基金會的資助，并從事與Tezos相關的項目，如Liquidity及其區塊資源管理器TzScan。據悉，OcamlPro的領導層與新注冊的加密基金公司Starchain Capital合作，以便對Tezos進行硬分叉并創建一個名為Dune Protocol的新區塊鏈。據Starchain Capital發送的電子郵件（該郵件來源于第三方，真實性尚未經過驗證）顯示，其正在創建一個特殊的公司，以籌集100萬美元作為總代幣供應量的5％來為這些業務提供資金。分叉時間暫定在2019年9月份。

由于OCamlPro并未完全開源其軟件（這是Tezos基金會資助OCamlPro的條件之一），Tezos基金會表示，除非滿足這一標準，否則將暫停在今年第二季度到期的資金。[2019/6/18]

Tags：TezosOCaml Pro

官方

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube