runtimeverification / runtimeverification/kontrol
CSE: support aliases for contract fields
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 122
- Fork
- 16
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
We should add NatSpec annotations that allow to indicate that contract fields correspond to the same contract/account, e.g. /// @custom-kontrol-alias: escrowOne.oneEth, escrowTwo.oneEth,. They could then be used when CSEing contracts such as Governance:
contract Governance {
OneEth oneEth;
EscrowOne escrowOne;
EscrowTwo escrowTwo;
...
}
contract EscrowOne {
OneEth oneEth;
...
}
contract EscrowTwo {
OneEth oneEth;
...
}
in order to only generate a single account for oneEth instead of three (one for each contract involved).
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
L’issue non indica file né test; inizia individuando il parsing di NatSpec/annotazioni personalizzate di Kontrol e il punto di ingresso di CSE per i campi dei contract. Traccia come i campi escrowOne, escrowTwo e oneEth di Governance diventano account, quindi definisci e testa il comportamento degli alias in modo che i campi annotati producano un account invece di tre.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python, solidity
- Ambito
- blockchain, tooling
- Tipo di issue
- Funzionalità
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 25/100