A carregar...
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...
Na minha lista:
| Publicado no: | Computer Aided Verification |
|---|---|
| Main Authors: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7363236/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-53288-8_10 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|