Nalaganje...
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
With the advent of smart contracts that execute on the blockchain ecosystem, a new mode of reasoning is required for developers that must pay meticulous attention to the gas spent by their smart contracts, as well as for optimization tools that must be capable of effectively reducing the gas require...
Shranjeno v:
| izdano v: | Computer Aided Verification |
|---|---|
| Main Authors: | , , , |
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
2020
|
| Teme: | |
| Online dostop: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7363236/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-53288-8_10 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|