Saturday March 06, 2021
Bitcoin (BTC) $49,022.00   Ether (ETH) $1,582.87
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
No Result
View All Result
Home Security

CertiK “highly impressed” after security audit of stablecoin protocol Terra

Published by CryptoNinjas.net
05/14/2019
CertiK “highly impressed” after security audit of stablecoin protocol Terra

Certik, a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University, recently completed a security audit of Terra, the company that has designed an algorithmic stablecoin to power the next-generation payment system on the blockchain.

Terra’s mainnet, which went live in April, is a Delegated Proof-of-Stake (DPos) system that utilizes the Cosmos SDK and Tendermint Consensus Engine.

Auditing Process

The audit work was conducted by experienced economists, security researchers, and security engineers from CertiK, with collaboration from the Terra research and development team. CertiK performed a comprehensive review of Terra’s economic model to test against potential market manipulations, an architectural review with special attention put on ensuring all implementation of Cosmos plugins were well-protected against possible edge scenarios and attacks, as well as careful manual review by experts on Go — the language in which Terra’s code is written in.

Highlights

  • The audit work spanned multiple months, starting with an earlier version of Terra documents and implementation. Through an interactive weekly syncing between the CertiK and Terra team, intermediate audit opinions were communicated, and discussed during the auditing process. The audit work wrapped up on the final Terra documents and implementation, which were used to launch the Terra mainnet.
  • CertiK studied the Terra whitepaper as well as other research, analysis, and design documents from Terra, to comprehend the complete semantics of Terra. From an economics theory’s standpoint, CertiK validated the correctness of the mathematical reasoning and the model’s robustness against potential high-level ill-intentioned currency manipulations.
  • Another focus of the audit was on validating that the implementation of each Cosmos plugin conforms to and fully implements aspects of Terra protocol’s theoretical model. Special attention was also put on making sure the implementation was well-protected against possible edge scenarios and attacks.
  • Overall, Certik found Terra’s theoretical model as well as the Go implementation to be well designed and executed. While Certik does not comment on the final performance of the Terra blockchain, the modeling and mathematical reasoning are considered sound. The implementation was well-structured and demonstrated a good command of Go programming patterns as well as common good programming practices.
  • CertiK used multiple methods during the audit, which include, e.g., automated static analysis, mathematical reasoning, as well as careful manual review by experts on Go, formal verification, and security.

CertiK was highly impressed by Terra’s clever and highly effective design of economic theory, especially the proper decoupling of controls for currency stabilization and predictable economic growth. CertiK also found Terra’s technical implementation to be one of the highest quality ones it has seen, which demonstrated extremely principled engineering practices, mastery command of Cosmos SDK, as well as diligent documentation efforts.

8
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Mirror Protocol brings synthetic stock asset exposure to Binance Smart Chain
Networks & Protocols

Mirror Protocol brings synthetic stock asset exposure to Binance Smart Chain

01/22/2021
Bison Trails adds support for stablecoin blockchain protocol Terra
Vendor Technology

Bison Trails adds support for stablecoin blockchain protocol Terra

01/13/2021
CertiK launches new tool to expedite smart contract security analysis
Security

CertiK launches new tool to expedite smart contract security analysis

11/13/2020
Blockchain payment network Terra Money opens ecosystem grant program
Networks & Protocols

Blockchain payment network Terra Money opens ecosystem grant program

03/18/2020
Blockchain security firm CertiK to help Liquid vet listings and IEO projects
Crypto Exchanges

Blockchain security firm CertiK to help Liquid vet listings and IEO projects

01/23/2020
Load More
Leave Comment

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit
  • Trending
  • Latest
Enjin launching two scaling solutions to remove gas and support NFTs from any blockchain

Enjin launching two scaling solutions to remove gas and support NFTs from any blockchain

03/04/2021
Creators of crypto wallet Exodus files with SEC to allow purchase of its stock with bitcoin

Creators of crypto wallet Exodus file with SEC for $75M public offering

03/03/2021
SIMBA Chain expands to Avalanche blockchain enabling low-code smart contract deployment

SIMBA Chain expands to Avalanche blockchain enabling low-code smart contract deployment

03/02/2021
Canadian bitcoin exchange CoinSmart raises $3.5M to expand into Europe

Canadian bitcoin exchange CoinSmart raises $3.5M to expand into Europe

03/01/2021
DeFi yield optimization protocol ETHA Lend closes $1.6M funding round

DeFi yield optimization protocol ETHA Lend closes $1.6M funding round

03/04/2021
Bitcoin DeFi platform Sovryn reveals $1.25M bug bounty; raises $10M in token presale

Bitcoin DeFi platform Sovryn reveals $1.25M bug bounty; raises $10M in token presale

03/05/2021
P2P crypto escrow platform Escaroo adds staking function from Moonstake

P2P crypto escrow platform Escaroo adds staking function from Moonstake

03/05/2021
SecondState launches Ethereum compatible ParaTime on the Oasis blockchain

SecondState launches Ethereum compatible ParaTime on the Oasis blockchain

03/05/2021
NFT platform Curio closes seed funding of $1.2M to fuel expansion

NFT platform Curio closes seed funding of $1.2M to fuel expansion

03/05/2021
IOTA token added as collateral asset on Bitfinex Borrow

IOTA token added as collateral asset on Bitfinex Borrow

03/05/2021
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version