Symbiont today announced that Dr. Alysson Bessani, the co-creator of the Byzantine fault-tolerant consensus protocol BFT-SMaRt, has joined the company’s advisory board. Developed in 2014, BFT-SMaRt was designed to address deficiencies in other BFT protocols such as PBFT. Assembly, Symbiont’s decentralized log component, is based on the BFT-SMaRt consensus protocol, allowing it to achieve best-in-class security, stability and performance.
Symbiont has appointed Dr. Zhong Shao, a Yale professor of computer science and leading expert in formal verification of software, to its Technical Advisory Board. Together, Dr. Shao and the Symbiont engineering team are applying cutting-edge techniques in programming language design and formal methods to the task of writing and publishing smart contracts in a decentralized network. Professor Shao is working closely with Symbiont to ensure that its smart contract language supports the highest levels of security and integrity in enterprise software.