LogoLogo
  • Overview
    • SEDA Overview
      • SEDA Primer for Key Features
        • SEDAโ€™s Intent-Centric Framework
        • Modular Design Benefits
        • Programmable Tooling and Permissionless Development
        • Fast Settlement & Horizontally Scalable
        • Fork-less Upgrades
      • RWAs, Price Feeds, AI and More
        • Custom Data Feeds
      • SEDA Token Primer
        • Network Utilization
        • Network Participation & Chain Security
        • Network Governance
      • Introducing SEDA's Flagship Product - The IVM
        • ๐ŸŒ‰Intro to Interop 3.0 & Emerging Verification Markets
        • Programmable Modules
        • Triggering A Verification Data Request With An IVM
        • SEDA IVM Security
        • An IVM Summary
    • SEDA Network Architecture
      • Walking Through SEDAโ€™s Architectural Features
      • The PoS SEDA Chain
      • Oracle Programs
      • The Overlay Network
      • Decentralized Solver Network
      • SEDAโ€™s Prover Contract
  • For Users
    • โญGetting Started
      • ๐ŸฆWallet Overview
      • โฌInstalling Cosmos Hub on Ledger
      • โ›“๏ธAdding SEDA Chain to Keplr
      • ๐ŸŒŒDelegating your SEDA
        • ๐Ÿ“จSelecting a Validator
        • ๐Ÿ“กDelegating to a Validator
    • ๐Ÿ‘Tools and Dashboards
      • ๐ŸŒSEDA Explorers and Dashboards
      • ๐Ÿ”ญThird-party Explorers
      • ๐Ÿ“ถPublic RPCs + APIs
    • ๐Ÿ”ตSEDA Token Info
      • ๐Ÿ“ˆToken Charts and Tracking
      • ๐Ÿ“ŠExchanges
      • ใ€ฐ๏ธSEDA Distribution Schedule
  • For Developers
    • ๐Ÿ“ˆData Requests
      • โ“What is a Data Request?
      • ๐Ÿ”ƒData Request Life Cycle
    • ๐Ÿ’พBuilding an Oracle Program
      • Price Feed Example
        • ๐Ÿ‘‹Getting Started: Price Feed
        • ๐ŸงชTesting Your Oracle Program
        • ๐Ÿš€Deploying Your Oracle Program
      • ๐ŸŒFetching Open Data
      • ๐Ÿ”Advanced: API-key Gated Data
    • โšกAccess Data from Any Network
      • ๐Ÿ”ŽAccess from EVM Networks
        • ๐Ÿ”งUsing SEDA in a Contract
        • ๐Ÿš€Contract Deployment
      • ๐Ÿ”œAccess from other Networks
      • ๐Ÿ”œAdvanced: Run your own Solver
    • ๐Ÿ—๏ธDeployments
    • ๐Ÿ‘ฝInteroperability Verification Module (IVM)
      • ๐Ÿ›ธInterop Verification Module for Message-Based Bridge Protocols
      • Powering Intents and Chain Abstraction with SEDA
  • Resources
    • ๐ŸŒUpgrade your FLX to SEDA Token
      • ๐Ÿ”“How to Connect your EVM and SEDA Wallets
      • โžก๏ธHow to Upgrade from FLX to SEDA
      • ๐ŸšSupport and FAQs
    • ๐Ÿ›ก๏ธAudits
      • Trail of Bits Audit Report Repo Link - March 2024
      • Sherlock Audit of SEDA Network Full Feature Launch - April 2025
  • For Data Providers
    • Data Proxy
      • โ„น๏ธIntroduction to Data Proxy
      • ๐Ÿ’ปSystem Requirements
      • ๐Ÿ”ขOperating and Running a Data Proxy
      • ๐Ÿ”Advanced: API-key Gated Data
  • For Node Operators
    • ๐Ÿ“ถSEDA Chain Guide and Requirements
      • ๐ŸŽฌInstallation and System Requirements
      • ๐ŸงฌSEDA Mainnet
        • ๐Ÿ‘ŸOperating and Running a Node
        • ๐Ÿ”—Linking to an External Node
        • ๐Ÿ—๏ธCreating a Validator
      • ๐ŸงชSEDA Testnet
        • ๐Ÿ‘ŸOperating and Running a Node
        • ๐Ÿ”—Linking to an External Node
        • ๐Ÿ“ธJoining Testnet Using Snapshot
        • ๐ŸคJoining Testnet Using State Sync
        • ๐Ÿ—๏ธCreating a Validator
  • Legal
    • Privacy Policy
    • Terms
Powered by GitBook
On this page
  • Github Repo Link
  • Direct PDF Link
  1. Resources
  2. Audits

Trail of Bits Audit Report Repo Link - March 2024

PreviousAuditsNextSherlock Audit of SEDA Network Full Feature Launch - April 2025

Last updated 4 days ago

Github Repo Link

Direct PDF Link

๐Ÿ›ก๏ธ
Logopublications/reviews/2024-03-seda-chaintokenmigration-securityreview.pdf at master ยท trailofbits/publicationsGitHub
655KB
SEDA - Chain Token Migration - Comprehensive Report with Fix Review Appendix.pdf
pdf