ElementsProject / ElementsProject/elements-miniscript

Possible to hit assertion failure in malleability check

Aperta
#29 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Rust
Stelle
15
Fork
17
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

Adding this to `miniscript/mod.rs` results in a panic.
```
#[test]
fn test_regression_29() {
let _ = Descriptor::::from_str("eltr(,thresh(1,spk_eq(,00)))");
}
```
```
assertion failed: self.mall.non_malleable || self.corr.input != Input::Zero', /store/home/apoelstra/code/ElementsProject/elements-miniscript/fuzzing/src/miniscript/types/mod.rs:556:9
```

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Direzione di ricerca

Inizia aggiungendo il test di regressione segnalato a miniscript/mod.rs ed eseguendolo per riprodurre il panic. Poi esamina l’assertion in fuzzing/src/miniscript/types/mod.rs intorno alla riga segnalata; il lavoro è completato quando la regressione non causa più un panic e rimane coperta dal test.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
rust
Ambito
cryptography
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Da chiarire
Idoneità per principianti
25/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.