crypto-aio 0.0.3 → 0.2.0

package/dist/adapters/utxo/proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofs.js","sourceRoot":"","sources":["../../../src/adapters/utxo/proofs.ts"],"names":[],"mappings":";;;AAyKA,sCAqBC;AAuBD,0CAsCC;AAED,kCA+HC;AAED,kCA2MC;AA9hBD,mDAAwD;AAGxD,iDAA8C;AAC9C,uCAA0C;AAC1C,uCAQmB;AACnB,qCAAyD;AACzD,uCAWmB;AACnB,yCAA2D;AAE3D,qCAAqC;AAGrC,oFAAoF;AACvE,QAAA,SAAS,GAAG,EAAE,CAAC;AAE5B,4EAA4E;AAC5E,MAAM,IAAI,GAAG,EAAE,CAAC;AAChB;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,CAAC;AACzB,wFAAwF;AACxF,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;AACnD,MAAM,UAAU,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,UAAU,CAAC;AAEnF,MAAM,SAAS,GAAG,CAAC,MAAc,EAAiB,EAAE,CAClD,IAAI,qBAAa,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;AAEpD,yEAAyE;AACzE,MAAM,aAAa,GAAG,CAAC,MAAc,EAAiB,EAAE,CACtD,IAAI,qBAAa,CAAC,uBAAuB,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAE1E,MAAM,KAAK,GAAG,GAAkB,EAAE,CAChC,aAAa,CAAC,0DAA0D,CAAC,CAAC;AAE5E,oFAAoF;AACpF,MAAM,OAAO,GAAG,CAAC,KAAkB,EAAiB,EAAE,CACpD,aAAa,CAAC,SAAS,KAAK,CAAC,MAAM,yBAAyB,CAAC,CAAC;AAEhE;;;GAGG;AACH,SAAS,UAAU,CAAC,MAAgB;IAClC,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC,KAAK,GAAG,mBAAS;QAAE,MAAM,IAAA,mBAAS,EAAC,cAAc,CAAC,CAAC;IACnF,OAAO;QACL,MAAM,EAAE,IAAA,aAAK,EAAC,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,EAAE,IAAA,mBAAU,EAAC,MAAM,CAAC,MAAM,CAAC;QAC/B,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,IAAe,EAAE,GAAa;IAChD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;QACtB,IAAI,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO;QAC5B,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ;QAC9B,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM;QACrC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM;QACvC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,CACL,IAAI,KAAK,SAAS;gBAClB,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBACxB,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBACxB,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;gBAChC,KAAK,CAAC,QAAQ,KAAK,IAAA,yBAAc,EAAC,IAAI,CAAC,CACxC,CAAC;QACJ,CAAC,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,CACL,IAAI,KAAK,SAAS;gBAClB,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;gBAC3B,MAAM,CAAC,MAAM,KAAK,IAAA,aAAK,EAAC,IAAI,CAAC,MAAM,CAAC,CACrC,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,GAAG,EAAE,GAAG,eAAK,EAAE,SAAS,EAAE,mBAAS,EAAE,CAAC;AAEtD,8FAA8F;AAC9F,MAAM,SAAS,GAAG,CAAC,MAAe,EAAU,EAAE;IAC5C,MAAM,CAAC,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAC;IAC1B,OAAO,CAAC,CAAC,MAAM,CAAC,SAAS;QACvB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE;QAC3D,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,cAAc,CAAC;AAC9B,CAAC,CAAC;AAEF;;;;GAIG;AACH,SAAgB,aAAa,CAAC,GAAgB,EAAE,MAAoB;IAClE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxB,6FAA6F;IAC7F,MAAM,KAAK,GAAG,KAAK,EAAE,MAAc,EAAoB,EAAE;QACvD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC;YACnC,GAAG,IAAA,oBAAU,EAAC,eAAK,EAAE,MAAM,CAAC;YAC5B,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAA,qBAAW,EAAC,MAAM,CAAC,IAAI,MAAM;SACrD,CAAC,CAAC;QACH,OAAO,IAAI,IAAI,MAAM,CAAC;IACxB,CAAC,CAAC;IACF,uEAAuE;IACvE,MAAM,MAAM,GAAG,CAAC,MAAc,EAA0B,EAAE,CACxD,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,IAAA,oBAAU,EAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,oFAAoF;IACpF,MAAM,eAAe,GAAG,KAAK,EAAE,MAAc,EAAE,IAAY,EAAiB,EAAE;QAC5E,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI;YAAE,MAAM,KAAK,EAAE,CAAC;IACrD,CAAC,CAAC;IACF,gFAAgF;IAChF,MAAM,MAAM,GAAG,CAAC,IAAY,EAA6B,EAAE,CACzD,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,IAAA,oBAAU,EAAC,eAAK,EAAE,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC;AACpD,CAAC;AAED,8EAA8E;AAC9E,MAAM,YAAY,GAAG,CAAC,CAAC;AACvB,MAAM,aAAa,GAAG,MAAM,CAAC;AAC7B,MAAM,YAAY,GAAG,IAAI,OAAO,EAAoC,CAAC;AAErE,MAAM,YAAY,GAAG,GAAkB,EAAE,CACvC,IAAI,qBAAa,CACf,sBAAsB,EACtB,gFAAgF,CACjF,CAAC;AAEJ;;;;;;;;;GASG;AACI,KAAK,UAAU,eAAe,CACnC,GAAgB,EAChB,KAAwB,EACxB,aAAqB,EACrB,MAAoB;IAEpB,IAAI,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QAClB,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC;IACpB,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACjC,MAAM,IAAA,mBAAS,EAAC,KAAK,IAAI,EAAE;QACzB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,MAAM,IAAA,wBAAc,EAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACzD,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,SAAS;gBAAE,MAAM,YAAY,EAAE,CAAC;YAChD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,WAAqB,CAAC;YAC/C,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,SAAmB,EAAE,MAAM,CAAC,CAAC;YAClD,IAAI,MAAM,GAAG,GAAG;gBAAE,GAAG,GAAG,MAAM,CAAC;QACjC,CAAC,CAAC,CAAC;QACH,uFAAuF;QACvF,0DAA0D;QAC1D,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;YACxE,MAAM,YAAY,EAAE,CAAC;QACvB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM;YAAE,MAAM,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/E,IAAI,MAAM,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACtB,IAAI,KAAK,CAAC,IAAI,GAAG,aAAa;oBAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,WAAW,CAAC,GAAgB;IAC1C,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC;IAChD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAEtE,wFAAwF;IACxF,MAAM,YAAY,GAAG,KAAK,EAAE,KAG3B,EAAuE,EAAE;QACxE,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;YAC3D,GAAG,eAAK;YACR,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE;gBACpB,MAAM,CAAC,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,CAAC;gBAChC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS;oBACnC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE;oBAC3D,CAAC,CAAC,gBAAgB,CAAC;YACvB,CAAC;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,EAAE,SAAS;YAAE,OAAO,SAAS,CAAC;QACrF,MAAM,MAAM,GAAG,MAAM,CAAC,WAAqB,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,SAAmB,CAAC;QACxC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACrD,MAAM,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,CAAC,QAAsB,EAAoC,EAAE,CAC5E,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,uBAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvE,MAAM,MAAM,GAAgB;QAC1B,KAAK,CAAC,aAAa;YACjB,MAAM,MAAM,GAAG,CAAC,MAAM,OAAO,CAAC,SAAS,CAAC,iBAAO,CAAC,CAAC,GAAG,iBAAS,CAAC;YAC9D,IAAI,MAAM,GAAG,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC1C,MAAM,SAAS,CAAC,+CAA+C,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC;YAC7B,MAAM,MAAM,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,IAAI;gBACf,MAAM,SAAS,CAAC,uDAAuD,CAAC,CAAC;YAC3E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC1B,CAAC;QAED,KAAK,CAAC,aAAa,CAAC,GAAe,EAAE,QAAsB,EAAE,IAAY;YACvE,IAAI,CAAC,IAAA,gBAAM,EAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAC;YACjE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,EAAE,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,WAAqB,CAAC;gBAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,SAAmB,CAAC;gBAC3C,IAAI,MAAM,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC;oBAChC,MAAM,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBACpC,0EAA0E;oBAC1E,OAAO;wBACL,QAAQ,EAAE,IAAI;wBACd,OAAO,EAAE,IAAI;wBACb,WAAW,EAAE,MAAM;wBACnB,SAAS,EAAE,IAAI;wBACf,MAAM,EAAE,EAAE,CAAC,IAAI;qBAChB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,qFAAqF;YACrF,mFAAmF;YACnF,iFAAiF;YACjF,iFAAiF;YACjF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,OAAO,KAAK,SAAS;oBAAE,SAAS;gBACpC,IAAI,OAAO,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;oBAC5B,MAAM,SAAS,CAAC,8CAA8C,CAAC,CAAC;gBAClE,CAAC;gBACD,IAAI,MAAM,IAAA,kBAAS,EAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,eAAK,CAAC,EAAE,CAAC;oBAC5D,OAAO;wBACL,QAAQ,EAAE,IAAI;wBACd,OAAO,EAAE,IAAI;wBACb,WAAW,EAAE,OAAO,CAAC,MAAM;wBAC3B,SAAS,EAAE,OAAO,CAAC,IAAI;wBACvB,MAAM,EAAE,OAAO,CAAC,IAAI;qBACrB,CAAC;gBACJ,CAAC;gBACD,IAAI,EAAE,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;oBACzB,MAAM,aAAa,CACjB,yEAAyE,CAC1E,CAAC;gBACJ,CAAC;gBACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YAC7B,CAAC;YACD,MAAM,SAAS,CACb,EAAE;gBACA,CAAC,CAAC,kCAAkC;gBACpC,CAAC,CAAC,gDAAgD,CACrD,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAoB;YACtD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvC,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACvB,IAAI,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,iBAAO,CAAC,CAAC,CAAC,KAAK;wBACjE,OAAO,IAAI,CAAC;gBAChB,CAAC;qBAAM,IAAI,CAAC,MAAM,YAAY,CAAC,KAAK,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;oBACrD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,KAAK;QAE1B,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK;YAC3B,IAAI,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,KAAK,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;KACF,CAAC;IAEF,qEAAqE;IACrE,OAAO;QACL,aAAa,EAAE,GAAG,EAAE,CAAC,IAAA,mBAAS,EAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC5D,aAAa,EAAE,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CACrC,IAAA,mBAAS,EAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,YAAY,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CACtC,IAAA,mBAAS,EAAC,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7D,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC/C,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,IAAA,mBAAS,EAAC,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,SAAgB,WAAW,CAAC,GAAgB;IAC1C,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAEhC,gFAAgF;IAChF,MAAM,SAAS,GAAG,CAAC,SAAwC,EAAE,EAAE;QAC7D,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC;gBACH,OAAO,CAAC,GAAG,CAAC,IAAA,aAAK,EAAC,IAAA,uBAAa,EAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpE,CAAC;YAAC,MAAM,CAAC;gBACP,sDAAsD;YACxD,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF;;;;;;;;OAQG;IACH,MAAM,QAAQ,GAAG,KAAK,EACpB,KAAkB,EAClB,GAAa,EACb,MAA2B,EACM,EAAE;QACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC5C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC;YAC1D,IAAI,IAAiB,CAAC;YACtB,IAAI,CAAC;gBACH,IAAI,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,iBAAO,CAAC,CAAC;YAC5D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,mFAAmF;gBACnF,IAAI,IAAA,oBAAU,EAAC,KAAK,CAAC;oBAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC5C,MAAM,KAAK,CAAC;YACd,CAAC;YACD,wDAAwD;YACxD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC;gBAC3D,MAAM,IAAA,mBAAS,EAAC,gBAAgB,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE;gBAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAa,CAAC;gBAChD,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;oBACzB,MAAM,aAAa,CAAC,iDAAiD,CAAC,CAAC;gBACzE,CAAC;gBACD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBACtB,IACE,CAAC,MAAM,CAAC,SAAS;oBACjB,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI;oBAC/B,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,MAAM,EACnC,CAAC;oBACD,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;gBACvB,CAAC;gBACD,IACE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAA,aAAK,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;oBAC9D,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACzE,CAAC;oBACD,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,EAAE,EAAE,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF;;;;OAIG;IACH,MAAM,YAAY,GAAG,KAAK,EACxB,GAAa,EACb,GAAwB,EAC2B,EAAE;QACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAC3C,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBAC9B,IAAI,CAAC,IAAA,yBAAc,EAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;QACD,MAAM,IAAA,wBAAc,EAAC,CAAC,GAAG,OAAO,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAChE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,iBAAO,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO;gBAAE,MAAM,SAAS,CAAC,kDAAkD,CAAC,CAAC;YAClF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF;;;;OAIG;IACH,MAAM,MAAM,GAAG,CACb,EAAY,EACZ,KAA+C,EAC/C,MAAqB,EACrB,IAA2B,EAChB,EAAE;QACb,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAgB,EAAE;YACnD,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClF,IAAI,IAAA,yBAAc,EAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,QAAQ,GAAG,IAAI,CAAC;gBAChB,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACzC,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,MAAM;gBACT,MAAM,aAAa,CAAC,oDAAoD,CAAC,CAAC;YAC5E,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;YACpC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChF,MAAM,aAAa,CACjB,6DAA6D,CAC9D,CAAC;YACJ,CAAC;YACD,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC;YACrB,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QACnD,CAAC,CAAC,CAAC;QACH,+CAA+C;QAC/C,IAAI,QAAQ;YAAE,GAAG,GAAG,EAAE,CAAC;QACvB,IAAI,GAAG,GAAG,EAAE,IAAI,GAAG,GAAG,mBAAS;YAAE,MAAM,IAAA,mBAAS,EAAC,QAAQ,CAAC,CAAC;QAC3D,OAAO;YACL,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,QAAQ,EAAE,EAAE,CAAC,QAAQ;YACrB,MAAM,EAAE,EAAE,CAAC,YAAY,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM;YAC7C,GAAG;YACH,GAAG;YACH,IAAI;YACJ,MAAM;SACP,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO;QACL,KAAK,CAAC,MAAM,CAAC,MAAM;YACjB,IAAI,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,iBAAO,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAO,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,oDAAoD;YACpD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,aAAa,CAAC,SAAS,MAAM,wBAAwB,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;aAC3B,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM;YAC9B,sFAAsF;YACtF,8CAA8C;YAC9C,IAAI,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC3E,qFAAqF;YACrF,iEAAiE;YACjE,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAO,CAAC,CAAC;YACxD,iFAAiF;YACjF,gEAAgE;YAChE,IAAI,CAAC,GAAG;gBAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/B,qFAAqF;YACrF,mDAAmD;YACnD,IAAI,GAAG,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;gBACxE,MAAM,aAAa,CAAC,uBAAuB,KAAK,CAAC,MAAM,iBAAiB,CAAC,CAAC;YAC5E,CAAC;YACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;YAC9D,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;YACvE,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC3C,+DAA+D;YAC/D,IAAI,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAO,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;gBACtE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;YACD,MAAM,MAAM,GAAkB;gBAC5B,SAAS,EAAE,IAAI;gBACf,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,SAAS,EAAE,GAAG,CAAC,IAAI;aACpB,CAAC;YACF,OAAO,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAC/B,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,IAAA,0BAAiB,EACf,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACzC,MAAM,CAAC,OAAO,CACf;iBACF,CACN,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Proofs (finalized-state checks behind `proven` verdicts) and the block source.\n *\n * Finality is N confirmations. Every fact is attested at its own height with a monotone\n * predicate quorum key, and no endpoint proposes a height. \"Block h is final\" is \"every\n * proof endpoint holds a block at h + N − 1\": the quorum reads the head with the key\n * `head >= h + N − 1`, so endpoints further ahead agree, and one that trails decides\n * nothing. Only `finalizedHead` (no anchor of its own) takes one endpoint's head, trails\n * it by `PEER_SKEW`, then attests it. One endpoint's head never decides finality.\n *\n * `includedFinal` answers \"not included\" only when an input of our Attempt has a\n * quorum-attested final spender that is neither our txid nor a malleated copy of it.\n * Every other case decides nothing (a retryable `ProviderError`): our transaction in a\n * mempool or in a block not yet final, an unknown spender, a lagging or load-balanced\n * backend. A stale inclusion (its block is no longer the block at its height) is a\n * retryable `PROVIDER_INCONSISTENT`, and so is a transaction view that puts ours in a\n * block while another transaction's spend of its input is final: both cannot hold. So\n * `includedFinal` never answers \"not included\" without its own attestation of a different\n * final spend, and an endpoint-set change between the monitor's `slotConsumed` and\n * `includedFinal` calls cannot produce a false proven `replaced`.\n *\n * The block source delivers only what authenticated bytes say. A block's transactions are\n * decoded from its own bytes (`rawBlock`), which must hash to the block the scan asked for\n * and commit to every transaction and witness, and the header read at its height must be\n * those bytes' own (parent and time). The outputs a delivered transaction's inputs spend,\n * which give its `from`, input values and fee, are read from the block itself or from each\n * previous transaction's bytes, bound to the txid the input names. So no endpoint can add,\n * drop or alter a transaction, an output or a sender of what is delivered. A filtered scan\n * picks transactions by their outputs (the bytes) and by the inputs the index's pages say\n * spend from a watched address; each page must be the bytes' own, confirmed in that block,\n * and its claims must hold for every transaction delivered, so a lying index can at most\n * hide a watched address's spend that pays no watched address. Which block is at a height\n * stays the endpoint's word, as in every family (the proof quorum confirms rollbacks). A\n * reorg while reading, or a block, page or previous transaction the endpoint does not have,\n * decides nothing (retryable). Address filters match output and prevout scripts, so a\n * watched address's spend is kept even when no output of it has an address.\n */\nimport type {\n  BlockSource,\n  DriverBlock,\n  FinalityLevel,\n  ProofSource,\n} from '../../core/driver/types';\nimport { ProviderError } from '../../core/errors/error';\nimport type { OrderingData } from '../../core/model/ordering';\nimport type { AttemptRef } from '../../core/model/transaction';\nimport { toHex } from '../../core/util/bytes';\nimport { decodeAddress } from './address';\nimport {\n  MONITOR,\n  PROOF,\n  forEachBounded,\n  parseOutpoint,\n  proofRead,\n  withSignal,\n  type UtxoContext,\n} from './context';\nimport { decodeTransaction, scriptType } from './decode';\nimport {\n  MAX_MONEY,\n  isHash,\n  isNotFound,\n  type EsploraClient,\n  malformed,\n  parseHash,\n  parseHeight,\n  parseOutspend,\n  parseTx,\n  type TxOutput,\n} from './esplora';\nimport { isNullOutpoint, type RawBlock } from './rawblock';\nimport type { ParsedTx } from './rawtx';\nimport { isOwnCopy } from './reader';\nimport type { EsploraInput, EsploraOutput, EsploraStatus, EsploraTx } from './types';\n\n/** Blocks `finalizedHead` trails one endpoint's head by, so peers can attest it. */\nexport const PEER_SKEW = 2n;\n\n/** Esplora's page of block transactions (electrs' `CHAIN_TXS_PER_PAGE`). */\nconst PAGE = 25;\n/**\n * How many previous transactions a block scan reads at once: a full block's delivered\n * transactions spend outputs of thousands. The transport's rate limit still paces them.\n */\nconst PREVIOUS_READS = 8;\n/** No height is below 0 or beyond what a server parses: such a height is never sent. */\nconst MAX_HEIGHT = BigInt(Number.MAX_SAFE_INTEGER);\nconst outOfRange = (height: bigint): boolean => height < 0n || height > MAX_HEIGHT;\n\nconst undecided = (reason: string): ProviderError =>\n  new ProviderError('PROVIDER_UNAVAILABLE', reason);\n\n/** Two quorum reads that cannot both hold decide nothing (retryable). */\nconst contradiction = (reason: string): ProviderError =>\n  new ProviderError('PROVIDER_INCONSISTENT', reason, { retryable: true });\n\nconst stale = (): ProviderError =>\n  contradiction('the including block is no longer the block at its height');\n\n/** The block a scan reads is gone from the endpoint's chain, or was never on it. */\nconst changed = (block: DriverBlock): ProviderError =>\n  contradiction(`block ${block.height} changed while scanning`);\n\n/**\n * An output of a block's or a previous transaction's bytes as an Esplora page shows it.\n * Its value is in range (consensus), so out of range the bytes are not chain data.\n */\nfunction outputView(output: TxOutput): EsploraOutput {\n  if (output.value < 0n || output.value > MAX_MONEY) throw malformed('output value');\n  return {\n    script: toHex(output.script),\n    type: scriptType(output.script),\n    value: output.value,\n  };\n}\n\n/**\n * Whether a page's transaction is `own`, the one the block's bytes hold at its place: the\n * same txid, and the same inputs (outpoints, sequences, coinbase) and outputs.\n */\nfunction samePageTx(page: EsploraTx, own: ParsedTx): boolean {\n  return (\n    page.txid === own.txid &&\n    page.version === own.version &&\n    page.locktime === own.locktime &&\n    page.vin.length === own.inputs.length &&\n    page.vout.length === own.outputs.length &&\n    page.vin.every((input, n) => {\n      const mine = own.inputs[n];\n      return (\n        mine !== undefined &&\n        input.txid === mine.txid &&\n        input.vout === mine.vout &&\n        input.sequence === mine.sequence &&\n        input.coinbase === isNullOutpoint(mine)\n      );\n    }) &&\n    page.vout.every((output, n) => {\n      const mine = own.outputs[n];\n      return (\n        mine !== undefined &&\n        output.value === mine.value &&\n        output.script === toHex(mine.script)\n      );\n    })\n  );\n}\n\n/**\n * A block hash read under the proof quorum is compared as `parseHash` reads it, so two\n * honest endpoints that differ only by whitespace agree, and the key is exactly the value\n * the verdict uses. Compared as raw text, one endpoint's trailing newline would split the\n * quorum forever.\n */\nconst HASH_PROOF = { ...PROOF, quorumKey: parseHash };\n\n/** A transaction view as the proof quorum compares it: its txid, and its block and height. */\nconst txViewKey = (answer: unknown): string => {\n  const t = parseTx(answer);\n  return t.status.confirmed\n    ? `${t.txid}@${t.status.blockHash}:${t.status.blockHeight}`\n    : `${t.txid}:unconfirmed`;\n};\n\n/**\n * The reads a proof attests under the proof quorum, each fact at its own height. The\n * proof source and the builder share them: the builder's proof-tagged reads are this\n * module's, never a copy.\n */\nexport function attestedReads(ctx: UtxoContext, signal?: AbortSignal) {\n  const { esplora } = ctx;\n  /** \"I hold a block at `height`\" (monotone in the head, so endpoints further ahead agree). */\n  const holds = async (height: bigint): Promise<boolean> => {\n    const head = await esplora.tipHeight({\n      ...withSignal(PROOF, signal),\n      quorumKey: (answer) => parseHeight(answer) >= height,\n    });\n    return head >= height;\n  };\n  /** The hash of the block at `height` on the proof endpoints' chain. */\n  const hashAt = (height: bigint): Promise<string | null> =>\n    esplora.blockHashAt(height, withSignal(HASH_PROOF, signal));\n  /** The quorum's hash at `height` must be `hash`; otherwise the answer was stale. */\n  const assertCanonical = async (height: bigint, hash: string): Promise<void> => {\n    if ((await hashAt(height)) !== hash) throw stale();\n  };\n  /** A transaction and the block it is in, as the proof endpoints agree on it. */\n  const txView = (txid: string): Promise<EsploraTx | null> =>\n    esplora.tx(txid, { ...withSignal(PROOF, signal), quorumKey: txViewKey });\n  return { holds, hashAt, assertCanonical, txView };\n}\n\n/** How many parents `assertConfirmed` reads at once, and keeps once final. */\nconst PARENT_READS = 4;\nconst FINAL_PARENTS = 10_000;\nconst finalParents = new WeakMap<EsploraClient, Map<string, true>>();\n\nconst notConfirmed = (): ProviderError =>\n  new ProviderError(\n    'PROVIDER_UNAVAILABLE',\n    \"an input's previous transaction is not in a block the proof endpoints hold yet\",\n  );\n\n/**\n * Each of `txids` (the previous transactions of the inputs a build adds) is in a\n * block, attested under the proof quorum at its own height: the proof endpoints agree on the\n * transaction and its block, all hold a block `confirmations − 1` above it, and have that\n * block at that height. Its bytes authenticate themselves, but only this proves a\n * chain holds it: an indexer's invented transaction, or one a reorg took out, would stall an\n * Attempt for good, since nothing would ever spend its outpoint. Anything short of that is a\n * retryable `PROVIDER_UNAVAILABLE` (a stale view `PROVIDER_INCONSISTENT`), and every read\n * decides nothing on failure. A parent found final is not read again.\n */\nexport async function assertConfirmed(\n  ctx: UtxoContext,\n  txids: readonly string[],\n  confirmations: number,\n  signal?: AbortSignal,\n): Promise<void> {\n  let final = finalParents.get(ctx.esplora);\n  if (!final) {\n    final = new Map();\n    finalParents.set(ctx.esplora, final);\n  }\n  const known = final;\n  const pending = [...new Set(txids)].filter((txid) => !known.has(txid));\n  if (pending.length === 0) return;\n  await proofRead(async () => {\n    const reads = attestedReads(ctx, signal);\n    const blocks = new Map<string, bigint>();\n    let top = 0n;\n    await forEachBounded(pending, PARENT_READS, async (txid) => {\n      const tx = await reads.txView(txid);\n      if (!tx?.status.confirmed) throw notConfirmed();\n      const height = tx.status.blockHeight as bigint;\n      blocks.set(tx.status.blockHash as string, height);\n      if (height > top) top = height;\n    });\n    // Monotone: the proof endpoints hold `top + confirmations − 1` only if they hold every\n    // lower height, so one read attests every parent's depth.\n    if (!(await reads.holds(top + BigInt(Math.max(1, confirmations)) - 1n))) {\n      throw notConfirmed();\n    }\n    for (const [hash, height] of blocks) await reads.assertCanonical(height, hash);\n    if (await reads.holds(top + BigInt(ctx.config.confirmations) - 1n)) {\n      for (const txid of pending) {\n        known.set(txid, true);\n        if (known.size > FINAL_PARENTS) known.delete(known.keys().next().value as string);\n      }\n    }\n  });\n}\n\nexport function proofSource(ctx: UtxoContext): ProofSource {\n  const { esplora, config } = ctx;\n  const depth = BigInt(config.confirmations) - 1n;\n  const { holds, hashAt, assertCanonical, txView } = attestedReads(ctx);\n\n  /** The transaction that spent `input` in a final, canonical block (quorum-attested). */\n  const finalSpender = async (input: {\n    txid: string;\n    vout: number;\n  }): Promise<{ txid: string; height: bigint; hash: string } | undefined> => {\n    const spend = await esplora.outspend(input.txid, input.vout, {\n      ...PROOF,\n      quorumKey: (answer) => {\n        const s = parseOutspend(answer);\n        return s.spent && s.status?.confirmed\n          ? `${s.txid}@${s.status.blockHash}:${s.status.blockHeight}`\n          : 'not-in-a-block';\n      },\n    });\n    const status = spend.status;\n    if (!spend.spent || spend.txid === undefined || !status?.confirmed) return undefined;\n    const height = status.blockHeight as bigint;\n    const hash = status.blockHash as string;\n    if (!(await holds(height + depth))) return undefined;\n    await assertCanonical(height, hash);\n    return { txid: spend.txid, height, hash };\n  };\n\n  const inputsOf = (ordering: OrderingData): { txid: string; vout: number }[] =>\n    ordering.kind === 'inputs' ? ordering.inputs.map(parseOutpoint) : [];\n\n  const source: ProofSource = {\n    async finalizedHead() {\n      const anchor = (await esplora.tipHeight(MONITOR)) - PEER_SKEW;\n      if (anchor < 0n || !(await holds(anchor))) {\n        throw undecided('the proof endpoints have not reached the head');\n      }\n      const final = anchor - depth;\n      const height = final < 0n ? 0n : final;\n      const hash = await hashAt(height);\n      if (hash === null)\n        throw undecided('the final block is not visible to the proof endpoints');\n      return { height, hash };\n    },\n\n    async includedFinal(ref: AttemptRef, ordering: OrderingData, from: string) {\n      if (!isHash(ref.id)) throw undecided('malformed transaction id');\n      const tx = await txView(ref.id);\n      if (tx?.status.confirmed) {\n        const height = tx.status.blockHeight as bigint;\n        const hash = tx.status.blockHash as string;\n        if (await holds(height + depth)) {\n          await assertCanonical(height, hash);\n          // A transaction in a block has executed; its txid commits to its outputs.\n          return {\n            included: true,\n            success: true,\n            blockHeight: height,\n            blockHash: hash,\n            txHash: tx.txid,\n          };\n        }\n      }\n      // Unknown, in a mempool, or not yet final: only a final spender of one of our inputs\n      // decides. Our own txid there means the views are inconsistent (decide nothing); a\n      // malleated copy of ours is our payment; any other transaction proves ours dead,\n      // unless the quorum also puts ours in a block (the views contradict each other).\n      for (const input of inputsOf(ordering)) {\n        const spender = await finalSpender(input);\n        if (spender === undefined) continue;\n        if (spender.txid === ref.id) {\n          throw undecided('the spend and the transaction views disagree');\n        }\n        if (await isOwnCopy(ctx, ref.id, from, spender.txid, PROOF)) {\n          return {\n            included: true,\n            success: true,\n            blockHeight: spender.height,\n            blockHash: spender.hash,\n            txHash: spender.txid,\n          };\n        }\n        if (tx?.status.confirmed) {\n          throw contradiction(\n            'the transaction is in a block while another spend of its input is final',\n          );\n        }\n        return { included: false };\n      }\n      throw undecided(\n        tx\n          ? 'the transaction is not final yet'\n          : 'the indexer does not know this transaction yet',\n      );\n    },\n\n    async slotConsumed(ordering, _from, level: FinalityLevel) {\n      for (const input of inputsOf(ordering)) {\n        if (level === 'latest') {\n          if ((await esplora.outspend(input.txid, input.vout, MONITOR)).spent)\n            return true;\n        } else if ((await finalSpender(input)) !== undefined) {\n          return true;\n        }\n      }\n      return false;\n    },\n\n    expired: async () => false,\n\n    async blockHash(height, level) {\n      if (outOfRange(height)) return null;\n      if (level === 'finalized' && !(await holds(height + depth))) return null;\n      return hashAt(height);\n    },\n  };\n\n  // Every read of every proof decides nothing on \"not available here\".\n  return {\n    finalizedHead: () => proofRead(() => source.finalizedHead()),\n    includedFinal: (ref, ordering, from) =>\n      proofRead(() => source.includedFinal(ref, ordering, from)),\n    slotConsumed: (ordering, from, level) =>\n      proofRead(() => source.slotConsumed(ordering, from, level)),\n    expired: (ordering) => source.expired(ordering),\n    blockHash: (height, level) => proofRead(() => source.blockHash(height, level)),\n  };\n}\n\nexport function blockSource(ctx: UtxoContext): BlockSource {\n  const { esplora, config } = ctx;\n\n  /** The output scripts of the watched addresses; `undefined` means no filter. */\n  const scriptsOf = (addresses: readonly string[] | undefined) => {\n    if (addresses === undefined || addresses.length === 0) return undefined;\n    const scripts = new Set<string>();\n    for (const address of addresses) {\n      try {\n        scripts.add(toHex(decodeAddress(address, config.address).script));\n      } catch {\n        // Not an address of this network: it matches nothing.\n      }\n    }\n    return scripts;\n  };\n\n  /**\n   * The places of `raw`'s transactions that touch `wanted`, with each one's page: an output\n   * to it, read from the block's own bytes, or an input that, by the index's pages, spends\n   * from it. Every page is bound to the bytes: exactly the transactions they hold at its\n   * places, with the same inputs and outputs, confirmed in this block. So a page only claims\n   * which outputs the block's inputs spend, and `viewOf` checks the claims of every\n   * transaction delivered against the previous transactions' own bytes: all a lying index\n   * can do is hide a spend from a watched address that pays no watched address.\n   */\n  const touching = async (\n    block: DriverBlock,\n    raw: RawBlock,\n    wanted: ReadonlySet<string>,\n  ): Promise<Map<number, EsploraTx>> => {\n    const picked = new Map<number, EsploraTx>();\n    for (let start = 0; start < raw.txs.length; start += PAGE) {\n      let page: EsploraTx[];\n      try {\n        page = await esplora.blockTxs(block.hash, start, MONITOR);\n      } catch (error) {\n        // A backend that does not have the block (lagging, load-balanced) decides nothing.\n        if (isNotFound(error)) throw changed(block);\n        throw error;\n      }\n      // Each page holds exactly what the block leaves for it.\n      if (page.length !== Math.min(PAGE, raw.txs.length - start)) {\n        throw malformed('block txs page');\n      }\n      page.forEach((tx, offset) => {\n        const own = raw.txs[start + offset] as ParsedTx;\n        if (!samePageTx(tx, own)) {\n          throw contradiction(\"a block page differs from the block's own bytes\");\n        }\n        const { status } = tx;\n        if (\n          !status.confirmed ||\n          status.blockHash !== block.hash ||\n          status.blockHeight !== block.height\n        ) {\n          throw changed(block);\n        }\n        if (\n          own.outputs.some((output) => wanted.has(toHex(output.script))) ||\n          tx.vin.some((input) => input.prevout && wanted.has(input.prevout.script))\n        ) {\n          picked.set(start + offset, tx);\n        }\n      });\n    }\n    return picked;\n  };\n\n  /**\n   * The outputs the inputs of `txs` spend, by previous txid: a transaction of the block\n   * itself, or the previous transaction's own bytes, bound to its txid (`outputsOf`). One\n   * endpoint answers, so one that does not have a previous transaction decides nothing.\n   */\n  const spentOutputs = async (\n    raw: RawBlock,\n    txs: readonly ParsedTx[],\n  ): Promise<ReadonlyMap<string, readonly TxOutput[]>> => {\n    const known = new Map<string, readonly TxOutput[]>(\n      raw.txs.map((tx) => [tx.txid, tx.outputs]),\n    );\n    const missing = new Set<string>();\n    for (const tx of txs) {\n      for (const input of tx.inputs) {\n        if (!isNullOutpoint(input) && !known.has(input.txid)) missing.add(input.txid);\n      }\n    }\n    await forEachBounded([...missing], PREVIOUS_READS, async (txid) => {\n      const outputs = await esplora.outputsOf(txid, MONITOR);\n      if (!outputs) throw undecided(\"an input's previous transaction is not available\");\n      known.set(txid, outputs);\n    });\n    return known;\n  };\n\n  /**\n   * A transaction of the block as Esplora shows it, from its own bytes and the outputs its\n   * inputs spend, so it decodes as a page of it would. A page's claims about those outputs\n   * (`page`) must be what the previous transactions hold.\n   */\n  const viewOf = (\n    tx: ParsedTx,\n    spent: ReadonlyMap<string, readonly TxOutput[]>,\n    status: EsploraStatus,\n    page: EsploraTx | undefined,\n  ): EsploraTx => {\n    const vout = tx.outputs.map(outputView);\n    let coinbase = false;\n    let fee = -vout.reduce((sum, output) => sum + output.value, 0n);\n    const vin = tx.inputs.map((input, n): EsploraInput => {\n      const outpoint = { txid: input.txid, vout: input.vout, sequence: input.sequence };\n      if (isNullOutpoint(input)) {\n        coinbase = true;\n        return { ...outpoint, coinbase: true };\n      }\n      const output = spent.get(input.txid)?.[input.vout];\n      if (!output)\n        throw contradiction('a block input spends an output that does not exist');\n      const prevout = outputView(output);\n      const claim = page?.vin[n]?.prevout;\n      if (claim && (claim.script !== prevout.script || claim.value !== prevout.value)) {\n        throw contradiction(\n          'the index names another output than the one an input spends',\n        );\n      }\n      fee += prevout.value;\n      return { ...outpoint, coinbase: false, prevout };\n    });\n    // Esplora's convention: a coinbase's fee is 0.\n    if (coinbase) fee = 0n;\n    if (fee < 0n || fee > MAX_MONEY) throw malformed('tx fee');\n    return {\n      txid: tx.txid,\n      version: tx.version,\n      locktime: tx.locktime,\n      weight: tx.strippedSize * 3 + tx.bytes.length,\n      fee,\n      vin,\n      vout,\n      status,\n    };\n  };\n\n  return {\n    async header(height): Promise<DriverBlock | null> {\n      if (outOfRange(height)) return null;\n      const hash = await esplora.blockHashAt(height, MONITOR);\n      if (!hash) return null;\n      const block = await esplora.block(hash, MONITOR);\n      if (!block) return null;\n      // The block at `height` must say it is at `height`.\n      if (block.height !== height) {\n        throw contradiction(`block ${height} changed while reading`);\n      }\n      return {\n        height: block.height,\n        hash: block.hash,\n        parentHash: block.parentHash,\n        timestamp: block.timestamp,\n      };\n    },\n\n    async transactions(block, filter) {\n      // `filter.assets` is a hint: a list without the native asset wants tokens only, and a\n      // Bitcoin block has none, so nothing is read.\n      if (filter?.assets?.length && !filter.assets.includes('native')) return [];\n      // The block's own bytes, bound to its hash (`rawBlock`): every transaction delivered\n      // is the block's, byte for byte, whatever the index's pages say.\n      const raw = await esplora.rawBlock(block.hash, MONITOR);\n      // A backend that does not have the block (lagging, load-balanced, or a full-mode\n      // electrs, which serves its best chain's only) decides nothing.\n      if (!raw) throw changed(block);\n      // The header read at this height must be the bytes' own, so the block delivered (its\n      // parent link and time) is the one its hash names.\n      if (raw.parentHash !== block.parentHash || raw.time !== block.timestamp) {\n        throw contradiction(`the header of block ${block.height} is not its own`);\n      }\n      const wanted = scriptsOf(filter?.addresses);\n      const picked = wanted && (await touching(block, raw, wanted));\n      const txs = picked ? raw.txs.filter((_, i) => picked.has(i)) : raw.txs;\n      const spent = await spentOutputs(raw, txs);\n      // Checked after the reads, so a reorg while reading is caught.\n      if ((await esplora.blockHashAt(block.height, MONITOR)) !== block.hash) {\n        throw changed(block);\n      }\n      const status: EsploraStatus = {\n        confirmed: true,\n        blockHeight: block.height,\n        blockHash: block.hash,\n        blockTime: raw.time,\n      };\n      return raw.txs.flatMap((tx, i) =>\n        picked && !picked.has(i)\n          ? []\n          : [\n              decodeTransaction(\n                viewOf(tx, spent, status, picked?.get(i)),\n                config.address,\n              ),\n            ],\n      );\n    },\n  };\n}\n"]}

package/dist/adapters/utxo/rawblock.d.ts

@@ -0,0 +1,46 @@
+import { type ParsedInput, type ParsedTx } from './rawtx';
+/** Bitcoin Core's `MAX_BLOCK_SERIALIZED_SIZE`: no block's bytes are more. */
+export declare const MAX_BLOCK_BYTES = 4000000;
+export interface RawBlock {
+    /** The block hash in display order: the double SHA-256 of the header. */
+    readonly hash: string;
+    /** The previous block's hash in display order (zeros for a genesis block). */
+    readonly parentHash: string;
+    /** The header's time, in seconds. */
+    readonly time: number;
+    /** The header's merkle root of the txids, in internal byte order. */
+    readonly merkleRoot: Uint8Array;
+    /** Every transaction, the coinbase first, as the bytes hold them. */
+    readonly txs: readonly ParsedTx[];
+}
+/** An input that spends no output (`COutPoint::IsNull`): a coinbase's. */
+export declare const isNullOutpoint: (input: ParsedInput) => boolean;
+/** Block bytes, read in one pass; `undefined` when bitcoind would not decode them. */
+export declare function readBlock(bytes: Uint8Array): RawBlock | undefined;
+/**
+ * Bitcoin Core's `ComputeMerkleRoot`: the root of `leaves`, each level's odd last node
+ * paired with itself, and whether a level holds two equal nodes at a pair's places. That
+ * flags CVE-2012-2459: a list whose last transactions are repeated has the root of the list
+ * without them, so equal pairs are refused rather than read as a different block.
+ */
+export declare function merkleRootOf(leaves: readonly Uint8Array[]): {
+    readonly root: Uint8Array;
+    readonly mutated: boolean;
+};
+/**
+ * Whether `block`'s transactions are the ones its header commits to, as bitcoind's
+ * `CheckMerkleRoot`, `bad-cb-missing` and `CheckWitnessMalleation` check them:
+ * - the merkle root of the txids is the header's, with no repeated pair (CVE-2012-2459) and
+ *   no txid twice: no valid block holds one twice;
+ * - the first transaction is a coinbase (one input, spending nothing). A 64-byte
+ *   transaction's txid is the hash of two merkle nodes, so a list with such "transactions"
+ *   in place of the nodes' subtrees has the same root. Its leftmost one stands for the
+ *   subtree that holds the coinbase, so it would have to be a coinbase made of hash output,
+ *   with a null outpoint's 36 fixed bytes in it, which no one can find;
+ * - when any transaction carries a witness, the coinbase commits to every witness (BIP141):
+ *   its last output that starts `OP_RETURN aa21a9ed` holds the double SHA-256 of the
+ *   wtxids' merkle root (the coinbase's taken as zero) and the coinbase's one 32-byte
+ *   witness item. A block with no witness at all is checked by its txids alone: an
+ *   earlier block's coinbase may carry a commitment that segwit's rules did not cover yet.
+ */
+export declare function commitsToTransactions(block: RawBlock): boolean;

package/dist/adapters/utxo/rawblock.js

@@ -0,0 +1,159 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isNullOutpoint = exports.MAX_BLOCK_BYTES = void 0;
+exports.readBlock = readBlock;
+exports.merkleRootOf = merkleRootOf;
+exports.commitsToTransactions = commitsToTransactions;
+/**
+ * A linear, SDK-free reader of untrusted block bytes (Esplora's `/block/:hash/raw`), and the
+ * checks that bind a block's transactions to its header.
+ *
+ * A block hash is the double SHA-256 of the 80-byte header, and the header commits to the
+ * transactions through the merkle root of their txids, and (BIP141) to their witnesses
+ * through the coinbase's witness commitment. So bytes that hash to the block asked for and
+ * pass `commitsToTransactions` are that block's transactions, byte for byte, whoever served
+ * them: an indexer can neither add, drop nor alter one. bitcoinjs-lib's `Block.fromBuffer`
+ * copies the rest of the block for every transaction it reads (quadratic in the block's
+ * size), so each transaction is read here by `rawtx.ts`, in one pass over views of the bytes.
+ *
+ * The format is bitcoind's: the header, a canonical CompactSize count of at most `MAX_SIZE`,
+ * then each transaction with witness support, and nothing after the last one.
+ */
+const bytes_1 = require("../../core/util/bytes");
+const rawtx_1 = require("./rawtx");
+/** Bitcoin Core's `MAX_BLOCK_SERIALIZED_SIZE`: no block's bytes are more. */
+exports.MAX_BLOCK_BYTES = 4_000_000;
+const HEADER = 80;
+/** bitcoind's `MAX_SIZE`: the largest CompactSize a deserializer accepts. */
+const MAX_SIZE = 0x02000000;
+/** The fewest bytes `rawtx.ts` decodes as a transaction (version, two zero bytes, lock time). */
+const MIN_TX = 10;
+/** BIP141: an output script of at least 38 bytes that starts `OP_RETURN 0x24 aa21a9ed`. */
+const COMMITMENT_HEADER = Uint8Array.of(0x6a, 0x24, 0xaa, 0x21, 0xa9, 0xed);
+const COMMITMENT_SIZE = 38;
+const ZERO_HASH = new Uint8Array(32);
+/** An input that spends no output (`COutPoint::IsNull`): a coinbase's. */
+const isNullOutpoint = (input) => input.vout === 0xffffffff && (0, bytes_1.equalBytes)(input.hash, ZERO_HASH);
+exports.isNullOutpoint = isNullOutpoint;
+/** Block bytes, read in one pass; `undefined` when bitcoind would not decode them. */
+function readBlock(bytes) {
+    if (!(bytes instanceof Uint8Array))
+        return undefined;
+    if (bytes.length < HEADER + 1 || bytes.length > exports.MAX_BLOCK_BYTES)
+        return undefined;
+    const view = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);
+    let pos = HEADER;
+    // A canonical CompactSize of at most `MAX_SIZE` (bitcoind's `ReadCompactSize`).
+    const first = bytes[pos++];
+    let count = first;
+    if (first === 0xfd) {
+        if (pos + 2 > bytes.length)
+            return undefined;
+        count = view.getUint16(pos, true);
+        pos += 2;
+        if (count < 0xfd)
+            return undefined;
+    }
+    else if (first === 0xfe) {
+        if (pos + 4 > bytes.length)
+            return undefined;
+        count = view.getUint32(pos, true);
+        pos += 4;
+        if (count < 0x1_0000)
+            return undefined;
+    }
+    else if (first === 0xff) {
+        return undefined; // 8 bytes: at least 2^32, beyond MAX_SIZE
+    }
+    // Every block has a coinbase, and the count is bounded by the bytes left before
+    // anything is kept for it.
+    if (count < 1 || count > MAX_SIZE || count * MIN_TX > bytes.length - pos) {
+        return undefined;
+    }
+    const txs = [];
+    for (let i = 0; i < count; i++) {
+        const tx = (0, rawtx_1.readTxAt)(bytes, pos);
+        if (!tx)
+            return undefined;
+        txs.push(tx);
+        pos += tx.bytes.length;
+    }
+    if (pos !== bytes.length)
+        return undefined;
+    const header = bytes.subarray(0, HEADER);
+    return {
+        hash: (0, rawtx_1.displayHex)((0, rawtx_1.hash256)([header])),
+        parentHash: (0, rawtx_1.displayHex)(header.subarray(4, 36)),
+        time: view.getUint32(68, true),
+        merkleRoot: header.subarray(36, 68),
+        txs,
+    };
+}
+/**
+ * Bitcoin Core's `ComputeMerkleRoot`: the root of `leaves`, each level's odd last node
+ * paired with itself, and whether a level holds two equal nodes at a pair's places. That
+ * flags CVE-2012-2459: a list whose last transactions are repeated has the root of the list
+ * without them, so equal pairs are refused rather than read as a different block.
+ */
+function merkleRootOf(leaves) {
+    let level = [...leaves];
+    let mutated = false;
+    while (level.length > 1) {
+        for (let i = 0; i + 1 < level.length; i += 2) {
+            if ((0, bytes_1.equalBytes)(level[i], level[i + 1]))
+                mutated = true;
+        }
+        const next = [];
+        for (let i = 0; i < level.length; i += 2) {
+            const left = level[i];
+            next.push((0, rawtx_1.hash256)([left, level[i + 1] ?? left]));
+        }
+        level = next;
+    }
+    return { root: level[0] ?? ZERO_HASH, mutated };
+}
+/**
+ * Whether `block`'s transactions are the ones its header commits to, as bitcoind's
+ * `CheckMerkleRoot`, `bad-cb-missing` and `CheckWitnessMalleation` check them:
+ * - the merkle root of the txids is the header's, with no repeated pair (CVE-2012-2459) and
+ *   no txid twice: no valid block holds one twice;
+ * - the first transaction is a coinbase (one input, spending nothing). A 64-byte
+ *   transaction's txid is the hash of two merkle nodes, so a list with such "transactions"
+ *   in place of the nodes' subtrees has the same root. Its leftmost one stands for the
+ *   subtree that holds the coinbase, so it would have to be a coinbase made of hash output,
+ *   with a null outpoint's 36 fixed bytes in it, which no one can find;
+ * - when any transaction carries a witness, the coinbase commits to every witness (BIP141):
+ *   its last output that starts `OP_RETURN aa21a9ed` holds the double SHA-256 of the
+ *   wtxids' merkle root (the coinbase's taken as zero) and the coinbase's one 32-byte
+ *   witness item. A block with no witness at all is checked by its txids alone: an
+ *   earlier block's coinbase may carry a commitment that segwit's rules did not cover yet.
+ */
+function commitsToTransactions(block) {
+    const { txs } = block;
+    const coinbase = txs[0];
+    const input = coinbase?.inputs[0];
+    if (!coinbase || coinbase.inputs.length !== 1 || !input || !(0, exports.isNullOutpoint)(input)) {
+        return false;
+    }
+    if (new Set(txs.map((tx) => tx.txid)).size !== txs.length)
+        return false;
+    const ids = merkleRootOf(txs.map((tx) => tx.hash));
+    if (ids.mutated || !(0, bytes_1.equalBytes)(ids.root, block.merkleRoot))
+        return false;
+    if (!txs.some((tx) => tx.hasWitness))
+        return true;
+    let commitment;
+    for (const output of coinbase.outputs) {
+        const script = output.script;
+        if (script.length >= COMMITMENT_SIZE &&
+            (0, bytes_1.equalBytes)(script.subarray(0, COMMITMENT_HEADER.length), COMMITMENT_HEADER)) {
+            commitment = script.subarray(COMMITMENT_HEADER.length, COMMITMENT_SIZE);
+        }
+    }
+    const reserved = input.witness;
+    if (!commitment || reserved.length !== 1 || reserved[0]?.length !== 32)
+        return false;
+    const witnesses = merkleRootOf(txs.map((tx, i) => i === 0 ? ZERO_HASH : tx.hasWitness ? (0, rawtx_1.hash256)([tx.bytes]) : tx.hash));
+    return (0, bytes_1.equalBytes)((0, rawtx_1.hash256)([witnesses.root, reserved[0]]), commitment);
+}
+//# sourceMappingURL=rawblock.js.map

package/dist/adapters/utxo/rawblock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rawblock.js","sourceRoot":"","sources":["../../../src/adapters/utxo/rawblock.ts"],"names":[],"mappings":";;;AAgDA,8BA0CC;AAQD,oCAkBC;AAkBD,sDA6BC;AAnKD;;;;;;;;;;;;;;GAcG;AACH,iDAAmD;AACnD,mCAAyF;AAEzF,6EAA6E;AAChE,QAAA,eAAe,GAAG,SAAS,CAAC;AACzC,MAAM,MAAM,GAAG,EAAE,CAAC;AAClB,6EAA6E;AAC7E,MAAM,QAAQ,GAAG,UAAU,CAAC;AAC5B,iGAAiG;AACjG,MAAM,MAAM,GAAG,EAAE,CAAC;AAClB,2FAA2F;AAC3F,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAC5E,MAAM,eAAe,GAAG,EAAE,CAAC;AAC3B,MAAM,SAAS,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;AAerC,0EAA0E;AACnE,MAAM,cAAc,GAAG,CAAC,KAAkB,EAAW,EAAE,CAC5D,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AADpD,QAAA,cAAc,kBACsC;AAEjE,sFAAsF;AACtF,SAAgB,SAAS,CAAC,KAAiB;IACzC,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,uBAAe;QAAE,OAAO,SAAS,CAAC;IAClF,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC5E,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,gFAAgF;IAChF,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,CAAW,CAAC;IACrC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC7C,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClC,GAAG,IAAI,CAAC,CAAC;QACT,IAAI,KAAK,GAAG,IAAI;YAAE,OAAO,SAAS,CAAC;IACrC,CAAC;SAAM,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC7C,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClC,GAAG,IAAI,CAAC,CAAC;QACT,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,SAAS,CAAC;IACzC,CAAC;SAAM,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC,CAAC,0CAA0C;IAC9D,CAAC;IACD,gFAAgF;IAChF,2BAA2B;IAC3B,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,QAAQ,IAAI,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,gBAAQ,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,EAAE;YAAE,OAAO,SAAS,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;IACzB,CAAC;IACD,IAAI,GAAG,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACzC,OAAO;QACL,IAAI,EAAE,IAAA,kBAAU,EAAC,IAAA,eAAO,EAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,UAAU,EAAE,IAAA,kBAAU,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC;QAC9B,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;QACnC,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,MAA6B;IAIxD,IAAI,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IACxB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,CAAC,CAAe,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAe,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;QACrF,CAAC;QACD,MAAM,IAAI,GAAiB,EAAE,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAe,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,qBAAqB,CAAC,KAAe;IACnD,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACtB,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAA,sBAAc,EAAC,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxE,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,IAAI,GAAG,CAAC,OAAO,IAAI,CAAC,IAAA,kBAAU,EAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,UAAkC,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,IACE,MAAM,CAAC,MAAM,IAAI,eAAe;YAChC,IAAA,kBAAU,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,EAC3E,CAAC;YACD,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC;IAC/B,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACrF,MAAM,SAAS,GAAG,YAAY,CAC5B,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAChB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAA,eAAO,EAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CACpE,CACF,CAAC;IACF,OAAO,IAAA,kBAAU,EAAC,IAAA,eAAO,EAAC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AACxE,CAAC","sourcesContent":["/**\n * A linear, SDK-free reader of untrusted block bytes (Esplora's `/block/:hash/raw`), and the\n * checks that bind a block's transactions to its header.\n *\n * A block hash is the double SHA-256 of the 80-byte header, and the header commits to the\n * transactions through the merkle root of their txids, and (BIP141) to their witnesses\n * through the coinbase's witness commitment. So bytes that hash to the block asked for and\n * pass `commitsToTransactions` are that block's transactions, byte for byte, whoever served\n * them: an indexer can neither add, drop nor alter one. bitcoinjs-lib's `Block.fromBuffer`\n * copies the rest of the block for every transaction it reads (quadratic in the block's\n * size), so each transaction is read here by `rawtx.ts`, in one pass over views of the bytes.\n *\n * The format is bitcoind's: the header, a canonical CompactSize count of at most `MAX_SIZE`,\n * then each transaction with witness support, and nothing after the last one.\n */\nimport { equalBytes } from '../../core/util/bytes';\nimport { displayHex, hash256, readTxAt, type ParsedInput, type ParsedTx } from './rawtx';\n\n/** Bitcoin Core's `MAX_BLOCK_SERIALIZED_SIZE`: no block's bytes are more. */\nexport const MAX_BLOCK_BYTES = 4_000_000;\nconst HEADER = 80;\n/** bitcoind's `MAX_SIZE`: the largest CompactSize a deserializer accepts. */\nconst MAX_SIZE = 0x02000000;\n/** The fewest bytes `rawtx.ts` decodes as a transaction (version, two zero bytes, lock time). */\nconst MIN_TX = 10;\n/** BIP141: an output script of at least 38 bytes that starts `OP_RETURN 0x24 aa21a9ed`. */\nconst COMMITMENT_HEADER = Uint8Array.of(0x6a, 0x24, 0xaa, 0x21, 0xa9, 0xed);\nconst COMMITMENT_SIZE = 38;\nconst ZERO_HASH = new Uint8Array(32);\n\nexport interface RawBlock {\n  /** The block hash in display order: the double SHA-256 of the header. */\n  readonly hash: string;\n  /** The previous block's hash in display order (zeros for a genesis block). */\n  readonly parentHash: string;\n  /** The header's time, in seconds. */\n  readonly time: number;\n  /** The header's merkle root of the txids, in internal byte order. */\n  readonly merkleRoot: Uint8Array;\n  /** Every transaction, the coinbase first, as the bytes hold them. */\n  readonly txs: readonly ParsedTx[];\n}\n\n/** An input that spends no output (`COutPoint::IsNull`): a coinbase's. */\nexport const isNullOutpoint = (input: ParsedInput): boolean =>\n  input.vout === 0xffffffff && equalBytes(input.hash, ZERO_HASH);\n\n/** Block bytes, read in one pass; `undefined` when bitcoind would not decode them. */\nexport function readBlock(bytes: Uint8Array): RawBlock | undefined {\n  if (!(bytes instanceof Uint8Array)) return undefined;\n  if (bytes.length < HEADER + 1 || bytes.length > MAX_BLOCK_BYTES) return undefined;\n  const view = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);\n  let pos = HEADER;\n  // A canonical CompactSize of at most `MAX_SIZE` (bitcoind's `ReadCompactSize`).\n  const first = bytes[pos++] as number;\n  let count = first;\n  if (first === 0xfd) {\n    if (pos + 2 > bytes.length) return undefined;\n    count = view.getUint16(pos, true);\n    pos += 2;\n    if (count < 0xfd) return undefined;\n  } else if (first === 0xfe) {\n    if (pos + 4 > bytes.length) return undefined;\n    count = view.getUint32(pos, true);\n    pos += 4;\n    if (count < 0x1_0000) return undefined;\n  } else if (first === 0xff) {\n    return undefined; // 8 bytes: at least 2^32, beyond MAX_SIZE\n  }\n  // Every block has a coinbase, and the count is bounded by the bytes left before\n  // anything is kept for it.\n  if (count < 1 || count > MAX_SIZE || count * MIN_TX > bytes.length - pos) {\n    return undefined;\n  }\n  const txs: ParsedTx[] = [];\n  for (let i = 0; i < count; i++) {\n    const tx = readTxAt(bytes, pos);\n    if (!tx) return undefined;\n    txs.push(tx);\n    pos += tx.bytes.length;\n  }\n  if (pos !== bytes.length) return undefined;\n  const header = bytes.subarray(0, HEADER);\n  return {\n    hash: displayHex(hash256([header])),\n    parentHash: displayHex(header.subarray(4, 36)),\n    time: view.getUint32(68, true),\n    merkleRoot: header.subarray(36, 68),\n    txs,\n  };\n}\n\n/**\n * Bitcoin Core's `ComputeMerkleRoot`: the root of `leaves`, each level's odd last node\n * paired with itself, and whether a level holds two equal nodes at a pair's places. That\n * flags CVE-2012-2459: a list whose last transactions are repeated has the root of the list\n * without them, so equal pairs are refused rather than read as a different block.\n */\nexport function merkleRootOf(leaves: readonly Uint8Array[]): {\n  readonly root: Uint8Array;\n  readonly mutated: boolean;\n} {\n  let level = [...leaves];\n  let mutated = false;\n  while (level.length > 1) {\n    for (let i = 0; i + 1 < level.length; i += 2) {\n      if (equalBytes(level[i] as Uint8Array, level[i + 1] as Uint8Array)) mutated = true;\n    }\n    const next: Uint8Array[] = [];\n    for (let i = 0; i < level.length; i += 2) {\n      const left = level[i] as Uint8Array;\n      next.push(hash256([left, level[i + 1] ?? left]));\n    }\n    level = next;\n  }\n  return { root: level[0] ?? ZERO_HASH, mutated };\n}\n\n/**\n * Whether `block`'s transactions are the ones its header commits to, as bitcoind's\n * `CheckMerkleRoot`, `bad-cb-missing` and `CheckWitnessMalleation` check them:\n * - the merkle root of the txids is the header's, with no repeated pair (CVE-2012-2459) and\n *   no txid twice: no valid block holds one twice;\n * - the first transaction is a coinbase (one input, spending nothing). A 64-byte\n *   transaction's txid is the hash of two merkle nodes, so a list with such \"transactions\"\n *   in place of the nodes' subtrees has the same root. Its leftmost one stands for the\n *   subtree that holds the coinbase, so it would have to be a coinbase made of hash output,\n *   with a null outpoint's 36 fixed bytes in it, which no one can find;\n * - when any transaction carries a witness, the coinbase commits to every witness (BIP141):\n *   its last output that starts `OP_RETURN aa21a9ed` holds the double SHA-256 of the\n *   wtxids' merkle root (the coinbase's taken as zero) and the coinbase's one 32-byte\n *   witness item. A block with no witness at all is checked by its txids alone: an\n *   earlier block's coinbase may carry a commitment that segwit's rules did not cover yet.\n */\nexport function commitsToTransactions(block: RawBlock): boolean {\n  const { txs } = block;\n  const coinbase = txs[0];\n  const input = coinbase?.inputs[0];\n  if (!coinbase || coinbase.inputs.length !== 1 || !input || !isNullOutpoint(input)) {\n    return false;\n  }\n  if (new Set(txs.map((tx) => tx.txid)).size !== txs.length) return false;\n  const ids = merkleRootOf(txs.map((tx) => tx.hash));\n  if (ids.mutated || !equalBytes(ids.root, block.merkleRoot)) return false;\n  if (!txs.some((tx) => tx.hasWitness)) return true;\n  let commitment: Uint8Array | undefined;\n  for (const output of coinbase.outputs) {\n    const script = output.script;\n    if (\n      script.length >= COMMITMENT_SIZE &&\n      equalBytes(script.subarray(0, COMMITMENT_HEADER.length), COMMITMENT_HEADER)\n    ) {\n      commitment = script.subarray(COMMITMENT_HEADER.length, COMMITMENT_SIZE);\n    }\n  }\n  const reserved = input.witness;\n  if (!commitment || reserved.length !== 1 || reserved[0]?.length !== 32) return false;\n  const witnesses = merkleRootOf(\n    txs.map((tx, i) =>\n      i === 0 ? ZERO_HASH : tx.hasWitness ? hash256([tx.bytes]) : tx.hash,\n    ),\n  );\n  return equalBytes(hash256([witnesses.root, reserved[0]]), commitment);\n}\n"]}

package/dist/adapters/utxo/rawtx.d.ts

@@ -0,0 +1,73 @@
+/** Bitcoin Core's `MAX_BLOCK_SERIALIZED_SIZE`: no transaction's bytes are more. */
+export declare const MAX_TX_BYTES = 4000000;
+/**
+ * Consensus: a transaction's weight (4 × its size without witness data, at least) is at most
+ * `MAX_BLOCK_WEIGHT` (4,000,000), so a transaction a chain holds has at most 1,000,000 bytes
+ * without its witness.
+ */
+export declare const MAX_STRIPPED_BYTES = 1000000;
+export interface ParsedInput {
+    /** The previous txid, in display order (the reverse of the serialized hash). */
+    readonly txid: string;
+    /** The previous transaction's hash as serialized (internal byte order): a view. */
+    readonly hash: Uint8Array;
+    readonly vout: number;
+    readonly script: Uint8Array;
+    readonly sequence: number;
+    readonly witness: readonly Uint8Array[];
+}
+export interface ParsedOutput {
+    /** As bitcoind reads it: a signed 64-bit integer. */
+    readonly value: bigint;
+    readonly script: Uint8Array;
+}
+export interface ParsedTx {
+    readonly txid: string;
+    /** The txid's hash in internal byte order: a block's merkle tree leaf. */
+    readonly hash: Uint8Array;
+    readonly version: number;
+    readonly locktime: number;
+    readonly inputs: readonly ParsedInput[];
+    readonly outputs: readonly ParsedOutput[];
+    readonly hasWitness: boolean;
+    /** The size without witness data (bitcoind's `TX_NO_WITNESS` serialization). */
+    readonly strippedSize: number;
+    /** The serialization as read, witness included: a view. */
+    readonly bytes: Uint8Array;
+    /** The output list as serialized (its count, then each output): a view. */
+    readonly outputBytes: Uint8Array;
+    /** The serialization without witness data (BIP174 `non_witness_utxo`). */
+    stripped(): Uint8Array;
+}
+export interface ReadOptions {
+    /**
+     * The most bytes without witness data: `MAX_STRIPPED_BYTES` (the default) for data a chain
+     * holds; the broadcaster reads what it sent with `MAX_TX_BYTES`, so every size bitcoind
+     * decodes is read (bitcoind refuses a larger one later, as `bad-txns-oversize`).
+     */
+    readonly maxStripped?: number;
+}
+/** Double SHA-256 of the given stretches, as one message. */
+export declare function hash256(parts: readonly Uint8Array[]): Uint8Array;
+/** A txid (or block hash) in display order. */
+export declare const displayHex: (hash: Uint8Array) => string;
+/** The txid of a serialization without witness data, given as consecutive stretches. */
+export declare const txidOfParts: (parts: readonly Uint8Array[]) => string;
+/** A little-endian 32-bit field, as bitcoind writes it. */
+export declare function writeU32(n: number): Uint8Array;
+/** A CompactSize, as bitcoind writes it (at most `MAX_SIZE` here). */
+export declare function writeSize(n: number): Uint8Array;
+/** Transaction bytes, read in one pass; `undefined` when bitcoind would not decode them. */
+export declare function readTx(bytes: Uint8Array, options?: ReadOptions): ParsedTx | undefined;
+/**
+ * The transaction that starts at `start` of `bytes` (a block's transaction list), read as
+ * `readTx` reads one; the next one starts where its `bytes` end. `undefined` when bitcoind
+ * would not decode it there.
+ */
+export declare function readTxAt(bytes: Uint8Array, start: number): ParsedTx | undefined;
+/**
+ * Transaction hex (either case, no prefix), capped at `MAX_TX_BYTES` before it is
+ * decoded, then read by `readTx`. Node's hex decoder is native and linear, and stops at
+ * the first pair that is not hex, so a short result means the text was not plain hex.
+ */
+export declare function readTxHex(hex: string, options?: ReadOptions): ParsedTx | undefined;