随着自动化智能化渗入生活,人的衣食住行均与机器紧密相连。相信机器,将成为未来人类的新一项生理需求。相信机器的核心,在于相信其在正确的硬件环境下执行了正确的程序。换言之,一个值得信赖的机器,它的硬件软件都必须是可靠的。
如何确保可信的软件在可靠的硬件环境下运行,Trias团队借鉴智能合约,重新构建一套去中心化的通用平台的可信算力体系,及一套去中心化的可信软件开发运维体系,从而保障正确的通用平台硬件环境执行了正确的原生应用程序,从而实现近区块链2.0智能合约的安全强度。进一步地,通过重新构建一套智能合约体系,Trias实现了对硬件与软件的有机调度,并利用经济模型驱动硬件与软件生态健康、有序、安全地运转。
Trias 中的可信算力体系,即Leviatom(利维坦)平台。该利用TEE技术及信任图技术实现了称为异构共识图的共识算法,用以迅速定位全网中“最难撒谎的点”,并为少数这些点分发智能合约程序,从而实现高效、高并发、高鲁棒性,且支持原生应用程序的智能合约运行环境。
一、TEE
TEE即可信执行环境(Tusted Execution Environment),是一个基于CPU硬件安全扩展,且与外部完全隔离的执行环境。它可能作为协处理器出现,也可能是基于ECV的新的硬件技术体