Archetype

ArchetypeTezos

http://archetype-lang.org

在 Tezos 區塊鏈上開發智能合約的語言。

Archetype

Archetype 是一種領域特定語言（DSL），用于在 Tezos 區塊鏈上開發智能合約，尤其關注合約的形式化驗證。其由 Tezos 基金會支持、edukera 開發。

OKEx Research：yinsure.finance信用違約互換將促進整個區塊鏈行業的健康發展:OKEx Research表示，8月31日yinsure.finance產品上線測試時，推出了信用違約互換（CDS）新型金融衍生品。該衍生品的意義不僅僅在于二級市場投資，更重要的是它將會促進整個區塊鏈行業的健康發展。yinsure.finance由Nexus Mutual作為承保人，用戶可以在該平臺上購買保單。yinsure.finance將這些保單生成了NFT代幣，即每一個NFT代幣（yNFT）對應著一張特定期限和保險金額的保單。并且這些yNFT可以在Opensea或者Rarible等NFT平臺上進行交易。根據Opensea平臺的數據顯示，目前yinsure.finance的NFT保單在該平臺上的首月交易金額已經達到5266.6 ETH，約合196萬美元。

據介紹，在金融行業中，信用違約互換（CDS）也稱信用違約掉期，是一種最基本的信用衍生品合約。[2020/10/12]

ArCoin正在申請作為Dai的抵押品:據MakerDAO官方微博，ArCoin正在申請作為Dai的抵押品。據悉，Arca是一家專注于數字資產和區塊鏈技術的投資管理公司，旗下的Arca美國國庫券基金是第一家獲得美國證券交易委員會（SEC）登記注冊的該類別數字資產交易基金。

Arca以ArCoin的形式在以太坊公鏈上發行數字證券，用戶通過購買ArCoin對應投資低波動性資產，包括1年期、2-10年期和10年期美國政府債券。與傳統金融資產相比，ArCoin的KYC持有者可以點對點進行實時轉移。其次，任何人可以實時在以太坊區塊鏈上跟蹤交易和審計。此外，整個過程無需中間經紀人。

據此前報道，Maker開啟新投票，將陸續引入實體經濟中地產、貿易、債券等企業，投票通過后將直接為企業開通專屬MCD，提供DAI的額度。[2020/8/21]

Bibox Marco：BTC下半年可能處于橫盤慢牛多次洗盤后才會起飛:5月20日，Bibox兔子小姐直播間&大咖來了第八期量化專場AMA中，Bibox二級業務負責人Marco表示：

BTC減半后，礦工電費套現和傳統機構出入場兩個因素產生重大變化：

由于出產減半、淘汰低算力礦機，礦工需要出售更多BTC才能維持礦場，這導致拋壓一直居高不下，價格自然難以翻倍。

傳統機構類似白衣騎士。5月以來幾波砸盤，觸底后橫盤時間極短。這是散戶資金無法做到的，事實上，5月以來的真實成交額確實大比例來源于美國Coinbase的大額美元買單。

二者的博弈導致2020年下半年都可能處于橫盤慢牛，等市場認可9000-10000為價格常態，BTC才會起飛。

此外，各大礦機廠商也在參與BTC定價，減半前礦機關機價是3000+，減半后礦機關機價是7800-8400，請大家留意這兩個價格。[2020/5/21]

Tags：Tezos Archetype