Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype官网:http://archetype-lang.org/
据消息,DeFi衍生品协议Perennial完成1200万美元种子轮融资,本轮融资由Polychain Capital和Variant领投,Archetype、Coinbase Ventures、Scalar Capital、Robot Ventures等参投。 该项目目前已经启动了主网。 Perennial由Kevin Britz和Arjun Rao共同创立,该二人还曾于2017年共同创立了Astro Wallet,两人目前仍以顾问身份为Coinbase工作。
据消息,NFT基础设施协议Decent完成350万美元种子轮融资,Archetype领投,Y Combinator、Circle Ventures、Palm Tree Crew Crypto及其联合创始人Kyrre Gorvell-Dahll(又名Kygo,挪威DJ和音乐制作人)、凯鹏华盈的Ilya Fushman和Uniswap Labs的Ian Lapham在内的天使投资人参投。 资金通过股权和代币认股权证募集,Decent将用于雇佣一名全栈工程师来扩大其六人团队。 据悉,Decent成立于2021年,旨在打造艺术家发行的精选NFT市场,帮助艺术家将其作品货币化。 上个月,Decent推出CreatorHQ协议,这是一个无代码创作和管理中心,供艺术家定制和构建独特的NFT项目并管理他们的收入、拆分、元数据等。
据报道,Solana生态房地产衍生品协议Parcl Protocol今日宣布已正式上线。 Parcl是一家通过Solana区块链将房地产投资数字化的初创公司,通过合成资产Parcls提供投资敞口,使每个人都有机会参与房地产市场,而无需承担与拥有或交易硬资产相关的负担。 据RootData数据,去年5月,Parcl完成750万美元战略融资,Archetype、Dragonfly、NotBoring、SolanaVentures等参投。
据报道,以太坊初创公司Obol Labs完成1250万美元融资,本轮融资由 Pantera 和 Archetype 共同牵头,旨在在以太坊上构建去中心化验证器技术 (DVT) ,该公司认为这种技术可以解决以太坊新验证器类的一些最大痛点。