Trustworthy and Reliable Intelligent Autonomous Systems
Trias aims to create a new-generation public chain, which will support the execution of general-purpose native-applications on all platforms.
Today the risk of relying on untrusted machines have become significant. While in our everyday lives we rely on computers we don’t put enough focus on security. Untrusted applications can access and leak our personal information and intrude our privacy. The level of the security breach can range from small smart home computers to industrial devices.
A good example of the centralized secure system is Apple. Apple enforces a very centralized way to control the kinds of software to run on its platforms by implementing relatively trustworthy and reliable hardware and software systems. Apple employs secure hardware to strictly control the bootloading process of its operating system and applications. An operating system is close-sourced and enforced with strict security checks. Another example would be a hardware wallet like Ledger where secure hardware that can’t be tampered with is used to provide the secure environment to run wallet application.
Trias vision is to build a trustworthy and reliable general-purpose computation infrastructure, where any software system implements only expected behaviors. With Trias, we can root trust into machines with a firm assurance that the machines will deterministically “do what they are told to do” meaning that all existing computers will be secure as hardware wallet is in.
Trias is building an all-platform-supported native-application-compatible smart contract execution platform, development framework, and collaborating ecosystem.
- Leviatom, a network of Trusted Execution Environments (TEEs) to achieve correct executions of general-purpose software.
- Prometh, a traceable development framework to achieve decentralized functional and security properties definitions for general-purpose software. Prometh genuinely records the critical information for a piece of software’s entire lifecycle on blockchain.
- MagCarta, the contract ecosystem responsible for judging the rights and duties of computation providers and application providers.
Trias’s three subsystems implement a Separation-of-Powers model or Trias Politica, where powers of execution, legislation, and judiciary should be controlled by different organizations. Leviatom is responsible for execution, which executes a sequence of programs; Prometh is responsible for legislation, which defines each program’s functional and security properties; MagCarta is responsible for the judiciary, which determines the service quality and allocates all parties’ interests.
Trias enables a wide range of usage scenarios by bringing trust to general-purpose software platforms instead of only to the ledger-related applications:
- Layer -1 enhancement for public blockchains. Leviatom enforces a trusted relationship among the consensus node of existing public chains. This will greatly reduce their consensus overheads and significantly increase their tps.
- Consensus-Oriented Enterprise Programming. MagCarta allows DApps to implement their consensus logic and ledger format without confining to any predefined fixed strategies by the chosen public blockchain;
- Trusted operating systems and application ecosystem. Trias eliminates easily malware and attacks, as Leviatom only allows the executions of white-listed applications and Prometh only allows the applications to implement white-listed behaviours
- Trustworthy Multi-Party Computation. Trias achieves multi-party computations by exchanging trustworthy applications instead of exchanging private data.
On Leviatom network, a node can choose to act in one or many in three roles:
Verifiers, who continuously and repeatedly examining the trustworthiness of the surrounding nodes by initiating TEE-oriented verifications to them. Leviatom implements the “verification as mining” mechanisms, so that the frequent verification computing power contributors will be allocated tokens periodically.
Routers, who collect the verification data from the verifiers and disseminate it to other peers. Routers utilize the gossip algorithms to construct the web-of-trust and help determining the “Conspiracy Breaching” model for each node. Routers also help to identify the Leviatom nodes who have specified properties, such trust value, software properties, data possessions, etc. Routers form the backbone of Leviatom network, they should also get rewarded with “routing as mining”.
Executers, who execute the Prometh applications as scheduled by the MagCarta contract. The MagCarta’s consensus call specifies how the executers will get rewarded, as long as its returned values satisfy the consensus strategy. Since the its execution rights are obtained by contributions in compute power, storages, or bandwidths from verifiers and routers, executers will have to reward these contributions with part of its earned tokens. This mechanism is call “execution as gas” and “verification as gas”.
Whitepaper is available at official page with a technical whitepaper being in writing according to team:
Trias currently has a team of 22 scientists and engineers from Oxford, Gatech, Peking University and leading tech companies, including Alibaba, Microsoft, and Intel. It has also established in-depth academic collaborations with Peking University, Tsinghua University, and Oxford respectively. Trias’s core designs are backed by its core team’s academic research at Oxford since 2011.
Most of the team is working together since they founded a startup Octa Innovations in Zhongguancun, a technology hub in Beijing also called China’s Silicon Valley. The founders have a good academic background and work experience as architects working on AI solutions. It is unclear how deep is the experience about building a blockchain platform but it is a common thing to see nonblockchain experience teams having in mind how young the crypto space is.
Anbang Ruan — Founder and CEO
- Founder & CEO of Octa Innovations, Ph.D (Oxford), MSc (Peking University). Former Research Associate in Trusted Cloud from the Oxford e-Research Center (OeRC). More than 10-years research experience in Trusted Computing, Trusted Cloud Platform, Cloud Computing Security and Virtualized Platform Security.
Trias's vision is to build a trustworthy and reliable general-purpose computation infrastructure, where any software…www.linkedin.com
Ming Wei — CTO
- Co-founder & CTO of Octa Innovations, Ph.D. and MSc (Peking University). Former China Aerospace Software R&D Center Senior Architect, Siemens Academy Engineer. Years of software development and management experience in cloud computing, AI, embedded projects, etc.
Shuang Hao — CMO
- PR Director in Octa Innovations, Master of Media Management in HKBU. Former frontline reporter in national media for major international news. Worked in Tsinghua University and NetEase, led strategic communication and public affairs
Jiahao Sun — CSO
- Chief AI Scientist of a well-known international bank located in London. Graduated from Oxford University, majored in Computer Science. The AI elite certified by the British government. He has founded several AI and Fintech companies in London, invested by top investment institutions in Europe. At the same time, he is also a gold lecturer of AI and deep learning in online courses on NetEase, XiniuEdu, and JulyEdu.
I still code.www.linkedin.com
Zhaomin Yin — Leviatom Core Developer
- Alibaba senior engineer of EB-class big data platform, Ph.D. in computer science from Georgia Institute of Technology, MSc. In PKU. He has many years’ experience of graph computations and distributed systems at Oracle and Intel Research Institute in the Silicon Valley.
Working on Alibaba Cloud's Exa scale MaxCompute platform.www.linkedin.com
Lin Guo — Prometh Core Developer
- Operation and maintenance director in Octa Innovations. He has conducted in-depth research on service integrates with blockchain technologies such as BigchainDB, Ethereum, Hyperledger, and EOS.
Fei Li- Prometh Core Developer
- Operation and maintenance director in Octa Innovations. Former system architect in Feixin, led the communication project of overseas RCS mobile internet, designed the system and storage framework of the O2O platform.
A detailed roadmap is given in the whitepaper. The long roadmap can be divided into three phases where only the last phase can be directly associated with the project.
The first phase of the project is related to a personal academic period where first thought and ideas about the project appeared:
- 2009 Q4 SCOA paper published. Trusted software construction system was firstly proposed to lay the theoretical foundation for Prometh;
- 2011 Q4 RepCloud paper published. Trusted verification protocol based on graph algorithm and Gossip protocol was firstly proposed to lay the theoretical foundation for Leviatom and HCGraph；
- 2016 Q2 Participated European’s largest cloud expo with the University of Oxford and 100% IT;
- 2016 Q4 Separation-of-Powers paper published. Based on Trias Politica model, Trusted cloud infrastructure was firstly proposed to lay the theoretical foundation for Trias project；
Project founders moved back to China from England in 2016. They started a startup Octa Innovations in Zhongguancun, a technology hub in Beijing also called China’s Silicon Valley which supposedly received a angel investment of 1m $ in their first year from Hong Tai Fund. It seems that noted roadmap is related to this period.
- 2017 Q2 At the Guiyang Big Data Expo’s Cloud Computing and Big Data Security Summit Forum, the consensus protocol which integrates trusted computing, graph algorithm, blockchain was first proposed. It is expected to achieve high efficiency (100,000 TPS) and stability (against 90% collaborative attack), and general-applicable (compatible with x86 applications) blockchain consensus;
- 2017 Q3 The joint innovative laboratory of Octa Innovations and Peking University was established. The design concept and technical route of the Heterogeneous Consensus Graph were firstly proposed;
- 2017 Q4 Based Leviatom private chain model, the anti-tamper products for critical data are launched in banks and securities;
- 2018 Q1 Based on Prometh+Leviatom private chain, the development and maintenance system of enterprise data center security was launched in securities and governments;
Finally the last part of roadmap that is about the Trias itself:
- 2018 Q1 Feasibility analysis and planning;
- 2018 Q2 Project Startup and Team Buildup;
- 2018 Q3 Technical white paper will be published. The development of Heterogeneous Consensus Technology Solution, Trusted Computing libraries, account management, formal verification methods, stress testing, etc.
- 2018 Q4 Testnet launches. Open source codes released; the design and implementation of core network, incentive mechanism, wallet and other technical solutions; Wallet & Blockchain Browser will be finished;
- 2019 Q1 Test & Iteration;
- 2019 Q2 Mainnet v1.0 launches.
At this moment it is a bit unclear how Octa and Trias vision, team and workload will overlap. Hopefully more details will be revealed as we are approaching a funding round and more marketing will follow.
Twitter: https://twitter.com/triaslab (4/8/2018 1000 followers)
Telegram: https://t.me/triaslab (4/8/2018 11500 members)
The idea behind the project looks promising, a protocol that aims to solve blockchain scalability and maintain security. The team goal is to provide a Layer -1 solution so other protocols and dApps can run on top of Trias and be able to reach high tps and provide them with a secure environment.
The team knows each other very well and they have been working together for some time now. It is still unclear if the technology is being written from the scratch or is it a continuation of a previous work from the academic era or from Octa innovation period. We are keeping an eye on this project and waiting for technical whitepaper to come out.