Published August 1, 2023 | Version 0.6.3
Software Open

Artifact-Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts

Authors/Creators

  • 1. Hong Kong University of Science and Technology

Description

Gas upper bound estimation for Ethereum smart-contracts via algebro-geometric techniques.

Files

Asparagus_Artifact.pdf

Files (8.8 GB)

Name Size
md5:18d4606c2059fbb3f95527e157d9d4ac
8.3 GB Download
md5:5e2762670a789a9f3d031cac3f8962bd
174.7 kB Preview Download
md5:befe9efcf3b73d364a5668c967072ab4
478.7 MB Preview Download