Bound env variables (`NUMBER`, `TIMESTAMP`) by reasonable values
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 38/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- blockchain
Direzione di ricerca
Inizia individuando dove sono definite le variabili d’ambiente simboliche block.number e block.timestamp e dove vengono applicati i vincoli #rangeUInt. Aggiungi i limiti ragionevoli proposti, quindi verifica che i controlli della semantica di EVM accettino i valori correnti, vincolando al contempo queste variabili oltre i rispettivi intervalli di tipo.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Currently, environmental variables such as block.number and block.timestamp are symbolic and are only bounded by the type range constraints. We can further restrict their values by adding some reasonable bounds, e.g., #rangeUInt(32, NUMBER) for block.number, which is ~3 orders of magnitude larger that current block number, as suggested by @ehildenb.
- Lingua principale
- KCL
- Stelle
- 594
- Fork
- 157
- Merge medio
- 4g 3h
- PR unite (30g)
- 1
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
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.
Altre issue di runtimeverification/evm-semantics
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
runtimeverification/evm-semantics#1190 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/evm-semantics#2879 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2869 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2832 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
runtimeverification/evm-semantics#2824 ·
Tutte le issue di runtimeverification/evm-semantics
Issue simili
-
D-easy P-low T-task
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
add-new-address New Network
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
safe-global/safe-eth-py#2790 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
isValid() does not verify mining reward amount or enforce a single reward transaction per blockAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
techcsispit/mini-chain#35 · 1 commento ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
Xconfess/Xconfess#2296 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 Mezza giornata Idoneità per principianti 68/100
bisq-network/support#2192 ·