Agoric
Agoric 由计算机科学家、安全开发和分布式系统的先驱者 Mark Miller、Dean Tribble、Brian Warner 和 Bill Tulloh 共同创办,以开发基于 JavaScript 的安全且与区块链无关的编程语言。新开发的编程语言将允许程序员以更直观和安全的方式进行编码,同时允许进行一种正式的验证过程。
Taxa
Taxa 是一个可以被各种底层链和去中心化应用 DApps 通用的「逻辑层」,将智能合约的执行与公有链的共识机制分离。Taxa 相信,未来的 DApp 会体现出更明显的分层架构,更多的 Layer2 架构将弥补公有链在设计之初缺失的功能和性能。