ElementsProject / ElementsProject/elements-miniscript

Possible to hit assertion failure in malleability check

Offen
#29 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Rust
Sterne
15
Forks
17
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

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
```

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Rechercherichtung

Beginne damit, den gemeldeten Regressionstest zu miniscript/mod.rs hinzuzufügen und ihn auszuführen, um den Panic zu reproduzieren. Untersuche anschließend die Assertion in fuzzing/src/miniscript/types/mod.rs rund um die gemeldete Zeile; erledigt ist die Aufgabe, wenn die Regression keinen Panic mehr auslöst und weiterhin durch den Test abgedeckt ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
rust
Bereich
cryptography
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Muss geklärt werden
Anfängerfreundlichkeit
25/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.