Certik Gives Terra Protocol An Impressive Rating After Seeing The Result Of The Extensive Audit
Certik Is Impressed With The Terra Protocol After Seeing The Result Of The Extensive Audit
The Certik platform has just completed the security audit of the Terra. Certik platform has been established as a blockchain and a smart contract verification platform that has been founded by the top formal verification experts that are from Colombia and Yale University.
As for Terra, this is the company that has been able to design an algorithmic stable coin that is able to power the next generation payment system that is on the blockchain technology.
April is when the Terra mainnet went live, one that has been made as a delegated proof of stake system that is able to utilize the Cosmos SDK and also the Tendermint Consensus Engine.
The system underwent some auditing work that was conducted by very experienced economists, security engineers, and several security researchers that are from Certik. All this was done in collaboration with the Terra development and research team.
An Extensive Audit Was Carried Out
The Certik platform went ahead to develop a comprehensive review of the current economic model that is on the Terra network. This was to ensure they have tested against any possible manipulation that might arise; there was an architectural review that was carried out offering individual attention to the implementation of the Cosmos plugins.
All this to ensure that they have been well protected against any attacks and scenarios that might arise. But they did not stop here as they had a manual review done by the experts.
Some Of The Factors That Were Identified From The Audit
They took several months to do the audit, as they started with the initial implementations and documents of the Terra network. And the audit work got wrapped up on the final documents and implantation of the system, and this is what was used in the launch of the Terra mainnet.
Certik went ahead to carefully study the white paper of the Terra platform together with other analysis, research, and design document that they had. This was helping them to properly comprehend and complete the semantics that is around the Terra network.
The next key factor that was looked into during the audit is the validation of each of the Cosmos plugins. And there was some special attention that was put into the implementation; this is to ensure that they were well protected against any possible attacks.
From the extensive audit that was carried out, Certik found that the Terra Network together with the Go implementation was well executed and designed.
It is clear there was a good command in the Go programming patterns as well as the standard practices in programming. Certik has used several methods in the audit process; this is the likes of mathematical reasoning, the automated static analysis, and a proper manual review by the experts.
From all this, the Certik platform was delighted and impressed with the practical design of the economic theory that was applied. Additionally, there was proper decoupling of the networks controls to ensure there is currency stabilization.