Sign In

Communications of the ACM

ACM TechNews

This Yale Technology Could Fix Blockchain's Security Issues

View as: Print Mobile App Share:
Researchers Ronghui Gu (left) and Zhong Shao.

Researchers at Yale University have announced a new system for security blockchain, based on decades of research at the university.

Credit: Yale University Office of Cooperative Research

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


No entries found

Sign In for Full Access
» Forgot Password? » Create an ACM Web Account