ElementsProject / ElementsProject/elements-miniscript
Possible to hit assertion failure in malleability check
- 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