New York / July 22nd, 2010 – The CertiK Foundation, a group pioneering Formal Verification and security in blockchain, has launched the closed alpha of its much-anticipated CertiK Chain Testnet on July 22nd.
The CertiK Chain is a public blockchain platform that is based on the CertiK Foundation’s industry-leading Formal Verification platform that has been used to secure over US$5.98 billion in assets to date, including BNB, TrueUSD, Terra, and LEO. The CertiK Chain will match perfectly with a fully verified compiler, which assures that no bugs are introduced during the transformation of source code into the CertiK Virtual Machine (CVM) bytecode — something not available in any other blockchain today.
The CertiK Chain will realize the full potential of the DeepSEA smart contract language, which was developed in partnership with research labs at Columbia University and Yale University and awarded grants from IBM, the Ethereum Foundation, and the Qtum Foundation. DeepSEA allows developers — even those who are less familiar with Formal Verification — to write smart contracts that are Formally Verified with the Coq proof assistant.
Founded by Computer Science professors of Yale and Columbia, the CertiK Foundation announced investments from firms such as Binance Labs, Bitmain, Arrington XRP, FBG, Lightspeed, and Matrix Partners in mid-2018. The CertiK Foundation’s mission is to promote a more secure blockchain ecosystem and to encourage long-term growth.
The CVM will be fully compatible with Ethereum’s Virtual Machine (EVM) and Hyperledger’s Burrow, allowing smart contracts created on those systems to be run seamlessly on the CVM, providing developers and users with access to a scalable, intuitive, and safe product that encourages long-term adoption.
Properly audited smart contracts will contain cryptographic certificates or mathematical proof on-chain as proof of verified security. Smart contracts may interact with each other and check for these certificates for high assurances of security, and smart contracts that do not have verified certificates will require higher fees to transact.
By building a blockchain focused on security from the bottom up, the CertiK Foundation aims to provide developers with the safeguards and flexibility to code with confidence, facilitating adoption for budding developers and large enterprises alike.
Follow the link to the CertiK Foundation website to learn more about participating in the CertiK Chain Testnet.
ABOUT CERTIK FOUNDATION
The CertiK Foundation is a security-first technology group with grants from IBM and the Ethereum Foundation that seeks to ensure algorithms, protocols and business functionalities are secured and working as intended for safer, more trustworthy software programs.
Founded by Computer Science professors from Yale University and Columbia University, the CertiK Foundation is dedicated to advancing more secure programs and programming methods, in blockchain and other mission-critical software.
About Asia Blockchain Review
Asia Blockchain Review is the largest initiative for media and community building in Asia for blockchain technology. It aims to connect all blockchain enthusiasts on a regional scale and facilitate the technological foundation of blockchain through a range of group discussions, technical workshops, conferences, and consulting programs.
Our goal is to cultivate and encourage a collaborative community for our members to gather, share their experiences and endeavors in the blockchain space, and brainstorm the potential uses of blockchain technology.
Follow Asia Blockchain Review on:
We provide information about Asia Blockchain Review latest activities as well as global blockchain news and research. Subscribe to our Newsletter now or Contact us