Decades of research at Yale University has been applied to the development of a new blockchain security system.
CertiK is based on the CertiKOS certified operating system created by Yale's Zhong Shao, and a new foundation, also called CertiK, is tapping into the coder community to build out the system.
Former Yale researcher Ronghui Gu says the foundation trains coders in CertiK's formal verification method, which entails "breaking down hard-to-solve problems into many small, easy-to-solve mass proofs." Proofs can be solved manually, using one's own algorithms, or using CertiK's techniques; these proofs are confirmed once they are validated by multiple independent entities.
Gu says following verification, "People can use these certified libraries to build more certified systems. We’re building a certified human knowledge database."
From Yale University Office of Cooperative Research
View Full Article
Abstracts Copyright © 2018 Information Inc., Bethesda, Maryland, USA