Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Student works
  4. Static Worst-Case Resource Analysis for Substrate Pallets
 
Loading...
Thumbnail Image
master thesis

Static Worst-Case Resource Analysis for Substrate Pallets

Perriard, Simon
February 21, 2023

We present saft, the first attempt of a static analyzer that extracts the asymptotic function complexity for the Polkadot/Substrate ecosystem, where the burden of accounting for computation resource consumption is put on the developer. saft is a tool meant to be used in a complementary way with pre-existing development tools to improve the Substrate-based blockchain security. saft combines two techniques to analyze the MIR generated from the compilation of the blockchain subsystems, the pallets: (i ) abstract interpretation for the over-approximation of the concrete semantics and extraction of complexity asymptotics and (ii ) symbolic execution to track the length of dynamically sized vectors, increasing the precision of (i ). The developers can then compare saft output with their resource consumption computation. Our experimental evaluation showed that the tool scales well with arbitrary pallets, given some manual specifications.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

Master_thesis_report.pdf

Type

N/a

Access type

openaccess

License Condition

n/a

Size

1.15 MB

Format

Adobe PDF

Checksum (MD5)

77c7db39c5b90eba905a8c81456b2b6d

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés