Docs Portal
WebsiteCommunityTwitterGithub
Search…
Element Documentation Portal
Getting Started
Element Mainnet App
Element Testnet App
Buying Fixed Rate Assets
Earning Variable Rates
Providing Liquidity
FAQ
Glossary
Element Protocol
Concepts Overview
Principal Tokens
Yield Tokens
Market Forces
Providing Liquidity
Element Protocol Smart Contracts
Developers
Public Release Changelog
Element SDK
Deployment Guide
Security
Immunefi Program
Admin Keys
Oracles
Github
Construction Paper
Governance (Council)
Council Protocol Overview
Council Protocol Interface
Element Governance Proposal Framework
Council Protocol Smart Contracts
Airdrop
Glossary (Governance)
Audits
ELFIVERSE
Guide: Mint Your ELF NFT
Community
Discord
Medium
Twitter
Telegram Announcements
Youtube (Community Calls and Video Guides)
Powered By GitBook
Security
The Security of the Element Protocol is our highest priority.

Security Audit Reports

Our audit reports provide a highly detailed analysis on the areas of coverage and concern, and we are happy to share them with our community to help anyone better understand how the Element Protocol works.
The following traditional security audits have been performed on the Element Protocol’s core contracts:

​Runtime Verification Final Audit Report

Runtime Verification Inc. is a company aimed at using runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains. They are dedicated to using its dynamic software analysis approach to improve the safety, reliability, and correctness of software systems in the blockchain field. Therefore, we contracted them to do a formal audit on the Element Protocol.

Summary of Findings

Runtime Verification’s Audit discovered a total of nine reported bugs with impact. This includes 3 Critical, 0 High, 2 Medium, 4 Low vulnerabilities, as well as informational findings and suggestions. All identified issues were either patched or resolved.
Read the Runtime Verification final audit report here.

​PeckShield Final Audit Report

PeckShield is a leading blockchain security company with the goal of elevating the security, privacy, and usability of current blockchain ecosystems by offering top-notch, industry-leading services and products (including the service of smart contract auditing).
Summary of Findings
PeckShield’s Audit discovered 1 medium-severity vulnerability, 2 low-severity vulnerabilities, and 2 informational recommendations. PeckShield’s audit started at a later date than RV’s audit so reviewed the code which had been bug fixed as part of the RV audit. All identified issues were either patched or resolved.
Read the PeckShield final audit report here.

Summary

Our security efforts have resulted in the discovery of a number of bugs, including some critical- and medium-severity issues. The team has taken the appropriate actions to evaluate and mitigate these issues, and we look forward to continuing to work with our auditors as we get closer to the official launch of the Element Protocol.
Developers - Previous
Public Release Changelog
Next
Admin Keys
Last modified 1yr ago
Copy link
Outline
Security Audit Reports
Runtime Verification Final Audit Report
PeckShield Final Audit Report
Summary