@sig-net/midnight 0.24.1 → 0.25.0-rc.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -4,5 +4,5 @@
4
4
  "sourceRoot": "../../../",
5
5
  "sources": ["src/circuits.compact", "src/./Signet.compact", "compiler/zkir-v3-library.compact"],
6
6
  "names": [],
7
- "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MCqOE,MAAA,oBAEC;;OAAA;MAiDD,MAAA,6CAsBC;;OAAA;MA6ID,MAAA,eAEC;;OAAA;MA6KD,MAAA,iBAEC;;OAAA;MAID,MAAA,cASC;;OAAA;MAID,MAAA,WAEC;;OAAA;MAMD,MAAA,gBAmCC;;OAAA;MAMD,MAAA,qBAKC;;OAAA;MAID,MAAA,aAKC;;OAAA;MD7pBH,MAAA,iCAOC;;OAAA;MAED,MAAA,iCAOC;;OAAA;MAED,MAAA,iCAOC;;OAAA;MAED,MAAA,kCAOC;;OAAA;MAED,MAAA,mCAOC;;OAAA;MAOD,MAAA,uCAIC;;OAAA;MAED,MAAA,uCAIC;;OAAA;MAKD,MAAA,qCAIC;;OAAA;MAED,MAAA,qCAIC;;OAAA;MAED,MAAA,gCAUC;;OAAA;MAED,MAAA,iCAUC;;OAAA;MAED,MAAA,0CAeC;;OAAA;;;;GACA;EApJD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoJC;EExHD,AAAA,yBAA8B;UACtB,iBAAI;UACJ,gCACQ;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;;;;gDACP;;;;EAqBT,AAAA,wBACiB,WACA,OACA;UAET,oCAA2C;UAC3C,2BAAS;UAAT,MAAA;UAAA,MAAA;UACA,kBAAyB;UACzB,mBAA0B,KAAG;UAC7B,mBAA0B,KAAG;UAC7B,+CAA6C;gDAAW,MAAI;;;;8GAC1C;;;;;WAA2C;;EA/FrE,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,wBAAA;2DAAA;;;EAAA,AAAA,OAAA,KAAA;yDAAA,KAAA;;;EAAA,AAAA,OAAA;yDAAA;;;EAAA,AAAA,mBAAA;sDAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,kBAAA;4DAAA;;;EDoKE,AAAA,oCAkCC,CAjCC,YAAmB;uCACnB,QAAuB;uCACvB,MAAe;uCACf,MAA2B;uCAC3B,aAAwB;uCACxB,UAAkB;uCAClB,eAAwB;uCACxB,eAA6B;uCAC7B,QAAiB;uCACjB,6BAA4D;;4BAErD,YAAU;4BACV,eAAa;;0CACb,QAAM;;2CAIN,MAAI;;;yBAIT,YAAU;qBACV,QAAM;mBACN,MAAI;mBACJ,MAAI;0BACJ,aAAW;uBACX,UAAQ;4BACR,eAAa;4BACb,eAAa;qBACb,QAAM;0CACN,6BAA2B;;GAG9B;EA+BD,AAAA,uBAEC,CAFwC,UAA6B;kEACgC,UAAQ;GAC7G;EAiDD,AAAA,gDAsBC,CAnBC,eAA8B;mDAG9B,mBAA0B;mDAI1B,cAAgC;;;;8CAMzB,eAAa;gCAChB,mBAAiB;gCACjB,cAAY;gCAAK,cAAY;gCAAK,cAAY;gCAAK,cAAY;;;GAIpE;EAoFD,AAAA,qCAOC,CANC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,kBAA+C;;;+DAEkH,WAAS;+DAAE,aAAW;+DAAE,YAAU;;+DAA0B,kBAAgB;GAC9O;EAPD,AAAA,qCAOC,CANC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,kBAA+C;;;+DAEkH,WAAS;+DAAE,aAAW;+DAAE,YAAU;;+DAA0B,kBAAgB;GAC9O;EAPD,AAAA,qCAOC,CANC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,kBAA+C;;;+DAEkH,WAAS;+DAAE,aAAW;+DAAE,YAAU;;+DAA0B,kBAAgB;GAC9O;EAPD,AAAA,qCAOC,CANC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,kBAA+C;;;+DAEkH,WAAS;+DAAE,aAAW;+DAAE,YAAU;;+DAA0B,kBAAgB;GAC9O;EAPD,AAAA,qCAOC,CANC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,kBAA+C;;;+DAEkH,WAAS;+DAAE,aAAW;+DAAE,YAAU;;+DAA0B,kBAAgB;GAC9O;EAmBD,AAAA,oCAoBC,CAnBC,kBAA+C;uCAC/C,2BAAsD;uCACtD,gBAA8B;;UAExB,QAKL,8CAJC,2BAAyB;gEACzB,2BAAyB;gEACzB,2BAAyB;gEACzB,kBAAgB;wCAIhB,QAAM;;;;iFAED,2BAAyB;;;;;;iFACzB,2BAAyB;;;wCAE9B,gBAAc;GAEjB;EApBD,AAAA,oCAoBC,CAnBC,kBAA+C;uCAC/C,2BAAsD;uCACtD,gBAA8B;;UAExB,QAKL,8CAJC,2BAAyB;gEACzB,2BAAyB;gEACzB,2BAAyB;gEACzB,kBAAgB;wCAIhB,QAAM;;;;iFAED,2BAAyB;;;;;;iFACzB,2BAAyB;;;wCAE9B,gBAAc;GAEjB;EAWD,AAAA,kBAEC;;GAAA;EAoED,AAAA,oCA6EC,CA5EC,UAA0F;UAGpF,UAA4B,GAAjB,UAAQ;UACnB,SAAmE,GAAzD,UAAQ,WAAW,UAAQ;UACrC,UAAyE,GAA9D,UAAQ;uBAAW,UAAQ;;4BAErC,SAAO;QACP,GAAqD;mCAArD,UAAQ,uBAAR,GAAqD;;UAMtD,cAKL,oBAJE,KAAuB,EAAE,OAAiD;;iDACO,GAA+C,EAA1F,GAAuC;;;;;;wDAA1E,KAAG;qDAAqB,KAAG;;6DAAQ,KAAG;uDAAH,GAAuC;;uDAA7B,UAAQ;;6DAAyB,OAAK;uDAAL,GAA+C;;;0CAEjI,UAAQ;4BAEH,cAAY;;UAGb,MAaJ;0CAXA,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,SAAO;0CACP,UAAQ;UAMJ,WAKL,oBAJE,KAAsB,EAAE,MAAe;;8CACX,GAAgB;;;;;;qDAAzC,KAAG;yDAAsB,KAAG;mDAAH,GAAgB,GAAP,SAAO;;;yEAA6E,KAAG;yEAAK,MAAI;;kDAAK,KAAG;;4CAC9H,MAAI;uCACpB,UAAQ;UAMJ,UAqBL,oBApBE,KAAqB,EAAE,OAAiD;;6CAGrE,GAAsC;;;;;;oDADrC,KAAG;wDACJ,KAAG;kDAAH,GAAsC;;kDAA7B,UAAQ;;;wEAGX,KAAG;wEACH,OAAK;wEACL,OAAK;yFAEF,QAAwB;yFAAE,KAAc;;8FACV,GAAiC;;;;;;qGAA5D,QAAM;;;yGAAqB,QAAM;mGAAN,GAAiC;;mGAArB,OAAK;;;yHAAmG,QAAM;yHAAK,KAAG;;kGAAK,QAAM;;;;uFAE5K,OAAK;;iDAGT,KAAG;;2CAEI,WAAS;sCACxB,UAAQ;wCAIkB,UAAQ;GACrC;EA7ED,AAAA,oCA6EC,CA5EC,UAA0F;UAGpF,UAA4B,GAAjB,UAAQ;UACnB,SAAmE,GAAzD,UAAQ,WAAW,UAAQ;UACrC,UAAyE,GAA9D,UAAQ;uBAAW,UAAQ;;4BAErC,SAAO;QACP,GAAqD;mCAArD,UAAQ,uBAAR,GAAqD;;UAMtD,cAKL,oBAJE,KAAuB,EAAE,OAAiD;;iDACO,GAA+C,EAA1F,GAAuC;;;;;;wDAA1E,KAAG;qDAAqB,KAAG;;6DAAQ,KAAG;uDAAH,GAAuC;;uDAA7B,UAAQ;;6DAAyB,OAAK;uDAAL,GAA+C;;;0CAEjI,UAAQ;4BAEH,cAAY;;UAGb,MAaJ;0CAXA,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,SAAO;0CACP,UAAQ;UAMJ,WAKL,oBAJE,KAAsB,EAAE,MAAe;;8CACX,GAAgB;;;;;;qDAAzC,KAAG;yDAAsB,KAAG;mDAAH,GAAgB,GAAP,SAAO;;;yEAA6E,KAAG;yEAAK,MAAI;;kDAAK,KAAG;;4CAC9H,MAAI;uCACpB,UAAQ;UAMJ,UAqBL,oBApBE,KAAqB,EAAE,OAAiD;;6CAGrE,GAAsC;;;;;;oDADrC,KAAG;wDACJ,KAAG;kDAAH,GAAsC;;kDAA7B,UAAQ;;;wEAGX,KAAG;wEACH,OAAK;wEACL,OAAK;yFAEF,QAAwB;yFAAE,KAAc;;8FACV,GAAiC;;;;;;qGAA5D,QAAM;;;yGAAqB,QAAM;mGAAN,GAAiC;;mGAArB,OAAK;;;yHAAmG,QAAM;yHAAK,KAAG;;kGAAK,QAAM;;;;uFAE5K,OAAK;;iDAGT,KAAG;;2CAEI,WAAS;sCACxB,UAAQ;wCAIkB,UAAQ;GACrC;EAKD,AAAA,+BAcC,CAbC,SAAgJ;4BAEzI,SAAO;;UACR,UAQL,iBAPa,SAAO;iCACX,SAAO;+BACT,SAAO;+BACP,SAAO;sCACA,SAAO;;qEAC8F,SAAO;wCAC1G,SAAO;wCAEI,UAAQ;GACrC;EAdD,AAAA,+BAcC,CAbC,SAAgJ;4BAEzI,SAAO;;UACR,UAQL,iBAPa,SAAO;iCACX,SAAO;+BACT,SAAO;+BACP,SAAO;sCACA,SAAO;;qEAC8F,SAAO;wCAC1G,SAAO;wCAEI,UAAQ;GACrC;EASD,AAAA,oBAEC,CAFqC,MAAe;;0CACZ,MAAI;;GAC5C;EAID,AAAA,iBASC,CATkC,OAAgB;UAG3C,IAAgD;kEAA1C,OAAK;;;;4BAGf,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAK,IAAE;4BACzD,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAK,IAAE;;GAE5D;EAID,AAAA,cAEC,CAF+B,OAAc;;4BACR,OAAK;;GAC1C;EAMD,AAAA,mBAmCC,CAnCoC,MAAe;UAC5C,GAA+B,cAA3B,MAAI;4BACP,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;UACF,IAAmB,GAAd,GAAC;UACN,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,KAAiC,uDAA3B,IAAE;4CAAU,GAAC;UACnB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;;;;;;cACnB,KAAG;GACX;EAMD,AAAA,wBAKC,CALyC,GAAY;UAE9C,GAA4B,cAAxB,GAAC;4BACJ,GAAC;;;+CACD,GAAC;;;GACT;EAID,AAAA,gBAKC,CALiC,MAAe;;;6FAC9B,MAAI;;;;;;;UACf,MAAkC;;mFAAlB,MAAI;;;;4BACnB,MAAI,WAAkB,MAAI;;WAC1B,MAAI;GACZ;ED7pBH,AAAA,oCAOC,CANC,WAAoB;uCACpB,aAAqB;uCACrB,YAAsB;uCACtB,kBAA0B;;sDAEmB,WAAS;sDAAE,aAAW;sDAAE,YAAU;sDAAE,kBAAgB;GAClG;EAED,AAAA,oCAOC,CANC,WAAoB;uCACpB,aAAqB;uCACrB,YAAsB;uCACtB,kBAA0B;;sDAEmB,WAAS;sDAAE,aAAW;sDAAE,YAAU;sDAAE,kBAAgB;GAClG;EAED,AAAA,oCAOC,CANC,WAAoB;uCACpB,aAAqB;uCACrB,YAAsB;uCACtB,kBAA0B;;sDAEmB,WAAS;sDAAE,aAAW;sDAAE,YAAU;sDAAE,kBAAgB;GAClG;EAED,AAAA,qCAOC,CANC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,kBAA2B;;sDAEmB,WAAS;sDAAE,aAAW;sDAAE,YAAU;sDAAE,kBAAgB;GACnG;EAED,AAAA,sCAOC,CANC,WAAoB;yCACpB,aAAqB;yCACrB,YAAsB;yCACtB,kBAA4B;;sDAEmB,WAAS;sDAAE,aAAW;sDAAE,YAAU;sDAAE,kBAAgB;GACpG;EAOD,AAAA,0CAIC,CAHC,UAAmC;qDAEe,UAAQ;GAC3D;EAED,AAAA,0CAIC,CAHC,UAAmC;qDAEe,UAAQ;GAC3D;EAKD,AAAA,wCAIC,CAHC,SAAmE;gDAElB,SAAO;GACzD;EAED,AAAA,wCAIC,CAHC,SAAmE;gDAElB,SAAO;GACzD;EAED,AAAA,mCAUC,CATC,kBAA0B;sCAC1B,2BAAsD;sCACtD,gBAA8B;;qDAG5B,kBAAgB;qDAChB,2BAAyB;qDACzB,gBAAc;GAEjB;EAED,AAAA,oCAUC,CATC,kBAA2B;uCAC3B,2BAAsD;uCACtD,gBAA8B;;qDAG5B,kBAAgB;qDAChB,2BAAyB;qDACzB,gBAAc;GAEjB;EAED,AAAA,6CAeC,CAdC,SAAmE;qDAGjE,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;GAEV;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECkFC,AAAA,oBAEC;;;;UAFwC,UAA6B;;;;;;;;kDAA7B,UAA6B;GAErE;EAiDD,AAAA,6CAsBC;;;;UAnBC,eAA8B;UAG9B,mBAA0B;UAI1B,cAAgC;;;;;;;;;;;;;;;;;;;;;;2EAPhC,eAA8B;2EAG9B,mBAA0B;2EAI1B,cAAgC;GAYjC;EA6ID,AAAA,eAEC;;;;;GAAA;EA6KD,AAAA,iBAEC;;;;UAFqC,MAAe;;;;;;;;+CAAf,MAAe;GAEpD;EAID,AAAA,cASC;;;;UATkC,OAAgB;;;;;;;;4CAAhB,OAAgB;GASlD;EAID,AAAA,WAEC;;;;UAF+B,OAAc;;;;;;;;yCAAd,OAAc;GAE7C;EAMD,AAAA,gBAmCC;;;;UAnCoC,MAAe;;;;;;;;8CAAf,MAAe;GAmCnD;EAMD,AAAA,qBAKC;;;;UALyC,GAAY;;;;;;;;mDAAZ,GAAY;GAKrD;EAID,AAAA,aAKC;;;;UALiC,MAAe;;;;;;;;2CAAf,MAAe;GAKhD;ED7pBH,AAAA,iCAOC;;;;UANC,WAAoB;UACpB,aAAqB;UACrB,YAAsB;UACtB,kBAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+DAH1B,WAAoB;+DACpB,aAAqB;+DACrB,YAAsB;+DACtB,kBAA0B;GAG3B;EAED,AAAA,iCAOC;;;;UANC,WAAoB;UACpB,aAAqB;UACrB,YAAsB;UACtB,kBAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+DAH1B,WAAoB;+DACpB,aAAqB;+DACrB,YAAsB;+DACtB,kBAA0B;GAG3B;EAED,AAAA,iCAOC;;;;UANC,WAAoB;UACpB,aAAqB;UACrB,YAAsB;UACtB,kBAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+DAH1B,WAAoB;+DACpB,aAAqB;+DACrB,YAAsB;+DACtB,kBAA0B;GAG3B;EAED,AAAA,kCAOC;;;;UANC,WAAoB;UACpB,aAAqB;UACrB,YAAsB;UACtB,kBAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gEAH3B,WAAoB;gEACpB,aAAqB;gEACrB,YAAsB;gEACtB,kBAA2B;GAG5B;EAED,AAAA,mCAOC;;;;UANC,WAAoB;UACpB,aAAqB;UACrB,YAAsB;UACtB,kBAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iEAH5B,WAAoB;iEACpB,aAAqB;iEACrB,YAAsB;iEACtB,kBAA4B;GAG7B;EAOD,AAAA,uCAIC;;;;UAHC,UAAmC;;;;;;;;qEAAnC,UAAmC;GAGpC;EAED,AAAA,uCAIC;;;;UAHC,UAAmC;;;;;;;;qEAAnC,UAAmC;GAGpC;EAKD,AAAA,qCAIC;;;;UAHC,SAAmE;;;;;;;;mEAAnE,SAAmE;GAGpE;EAED,AAAA,qCAIC;;;;UAHC,SAAmE;;;;;;;;mEAAnE,SAAmE;GAGpE;EAED,AAAA,gCAUC;;;;UATC,kBAA0B;UAC1B,2BAAsD;UACtD,gBAA8B;;;;;;;;;;;;;;;8DAF9B,kBAA0B;8DAC1B,2BAAsD;8DACtD,gBAA8B;GAO/B;EAED,AAAA,iCAUC;;;;UATC,kBAA2B;UAC3B,2BAAsD;UACtD,gBAA8B;;;;;;;;;;;;;;;+DAF9B,kBAA2B;+DAC3B,2BAAsD;+DACtD,gBAA8B;GAO/B;EAED,AAAA,0CAeC;;;;UAdC,SAAmE;;;;;;;;wEAAnE,SAAmE;GAcpE;;;;;;"
7
+ "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MCuOE,MAAA,oBAEC;;OAAA;MAiDD,MAAA,6CAsBC;;OAAA;MAwGD,MAAA,kCAQC;;OAAA;MAoBD,MAAA,uCAoBC;;OAAA;MAmDD,MAAA,eAEC;;OAAA;MA6KD,MAAA,iBAEC;;OAAA;MAID,MAAA,cASC;;OAAA;MAID,MAAA,WAEC;;OAAA;MAMD,MAAA,gBAmCC;;OAAA;MAMD,MAAA,qBAKC;;OAAA;MAID,MAAA,aAKC;;OAAA;MD1tBH,MAAA,4BAIC;;OAAA;MAED,MAAA,4BAIC;;OAAA;MAED,MAAA,4BAIC;;OAAA;MAED,MAAA,6BAIC;;OAAA;MAED,MAAA,8BAIC;;OAAA;MAMD,MAAA,qBAMC;;OAAA;MAED,MAAA,qBAMC;;OAAA;MAOD,MAAA,uCAIC;;OAAA;MAED,MAAA,uCAIC;;OAAA;MAKD,MAAA,qCAIC;;OAAA;MAED,MAAA,qCAIC;;OAAA;MAED,MAAA,gCAUC;;OAAA;MAED,MAAA,iCAUC;;OAAA;MAED,MAAA,0CAeC;;OAAA;;;;GACA;EA5JD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4JC;EEhID,AAAA,yBAA8B;UACtB,iBAAI;UACJ,gCACQ;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;;;;gDACP;;;;EAqBT,AAAA,wBACiB,WACA,OACA;UAET,oCAA2C;UAC3C,2BAAS;UAAT,MAAA;UAAA,MAAA;UACA,kBAAyB;UACzB,mBAA0B,KAAG;UAC7B,mBAA0B,KAAG;UAC7B,+CAA6C;gDAAW,MAAI;;;;8GAC1C;;;;;WAA2C;;EA/FrE,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,wBAAA;2DAAA;;;EAAA,AAAA,OAAA,KAAA;yDAAA,KAAA;;;EAAA,AAAA,OAAA;yDAAA;;;EAAA,AAAA,mBAAA;sDAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,kBAAA;4DAAA;;;EDsKE,AAAA,oCAkCC,CAjCC,YAAmB;uCACnB,QAAuB;uCACvB,MAAe;uCACf,MAA2B;uCAC3B,aAAwB;uCACxB,UAAkB;uCAClB,eAAwB;uCACxB,eAA6B;uCAC7B,QAAiB;uCACjB,6BAA4D;;4BAErD,YAAU;4BACV,eAAa;;0CACb,QAAM;;2CAIN,MAAI;;;yBAIT,YAAU;qBACV,QAAM;mBACN,MAAI;mBACJ,MAAI;0BACJ,aAAW;uBACX,UAAQ;4BACR,eAAa;4BACb,eAAa;qBACb,QAAM;0CACN,6BAA2B;;GAG9B;EA+BD,AAAA,uBAEC,CAFwC,UAA6B;kEACgC,UAAQ;GAC7G;EAiDD,AAAA,gDAsBC,CAnBC,eAA8B;mDAG9B,mBAA0B;mDAI1B,cAAgC;;;;8CAMzB,eAAa;gCAChB,mBAAiB;gCACjB,cAAY;gCAAK,cAAY;gCAAK,cAAY;gCAAK,cAAY;;;GAIpE;EA4FD,AAAA,gCAIC,CAHC,kBAA+C;;+DAEoE,kBAAgB;GACpI;EAJD,AAAA,gCAIC,CAHC,kBAA+C;;+DAEoE,kBAAgB;GACpI;EAJD,AAAA,gCAIC,CAHC,kBAA+C;;+DAEoE,kBAAgB;GACpI;EAJD,AAAA,gCAIC,CAHC,kBAA+C;;+DAEoE,kBAAgB;GACpI;EAJD,AAAA,gCAIC,CAHC,kBAA+C;;+DAEoE,kBAAgB;GACpI;EAQD,AAAA,qCAQC,CAPC,WAAoB;wCACpB,aAAqB;wCACrB,YAAsB;wCACtB,wBAAgC;wCAChC,YAAqB;;;+DAEwH,WAAS;+DAAE,aAAW;+DAAE,YAAU;+DAAE,wBAAsB;+DAAE,YAAU;GACpN;EAoBD,AAAA,0CAoBC,CAnBC,2BAAsD;6CACtD,gBAA8B;;UAExB,QAML,8CALC,2BAAyB;gEACzB,2BAAyB;gEACzB,2BAAyB;gEACzB,2BAAyB;gEACzB,2BAAyB;wCAIzB,QAAM;;;;iFAED,2BAAyB;;;;;;iFACzB,2BAAyB;;;wCAE9B,gBAAc;GAEjB;EASD,AAAA,yBAQC,CAPC,kBAA+C;4BAC/C,sBAA8B;4BAC9B,oBAA6B;;UAEvB,eAA8D,GAA9C,sBAAoB;UACpC,aAA2G,iBAA7F,oBAAkB;8EAA0D,kBAAgB;WACzG,eAAa,IAAI,aAAW;GACpC;EARD,AAAA,yBAQC,CAPC,kBAA+C;4BAC/C,sBAA8B;4BAC9B,oBAA6B;;UAEvB,eAA8D,GAA9C,sBAAoB;UACpC,aAA2G,iBAA7F,oBAAkB;8EAA0D,kBAAgB;WACzG,eAAa,IAAI,aAAW;GACpC;EARD,AAAA,yBAQC,CAPC,kBAA+C;4BAC/C,sBAA8B;4BAC9B,oBAA6B;;UAEvB,eAA8D,GAA9C,sBAAoB;UACpC,aAA2G,iBAA7F,oBAAkB;8EAA0D,kBAAgB;WACzG,eAAa,IAAI,aAAW;GACpC;EARD,AAAA,yBAQC,CAPC,kBAA+C;4BAC/C,sBAA8B;4BAC9B,oBAA6B;;UAEvB,eAA8D,GAA9C,sBAAoB;UACpC,aAA2G,iBAA7F,oBAAkB;8EAA0D,kBAAgB;WACzG,eAAa,IAAI,aAAW;GACpC;EASD,AAAA,oCAcC,CAbC,kBAA+C;uCAC/C,2BAAsD;uCACtD,gBAA8B;;UAIxB,eAIL,kCAHC,kBAAgB;2DAChB,2BAAyB;2DACzB,2BAAyB;UAErB,UAA6F,mDAA1C,2BAAyB;uEAAE,gBAAc;WAC3F,eAAa,IAAI,UAAQ;GACjC;EAdD,AAAA,oCAcC,CAbC,kBAA+C;uCAC/C,2BAAsD;uCACtD,gBAA8B;;UAIxB,eAIL,kCAHC,kBAAgB;2DAChB,2BAAyB;2DACzB,2BAAyB;UAErB,UAA6F,mDAA1C,2BAAyB;uEAAE,gBAAc;WAC3F,eAAa,IAAI,UAAQ;GACjC;EAWD,AAAA,kBAEC;;GAAA;EAoED,AAAA,oCA6EC,CA5EC,UAA0F;UAGpF,UAA4B,GAAjB,UAAQ;UACnB,SAAmE,GAAzD,UAAQ,WAAW,UAAQ;UACrC,UAAyE,GAA9D,UAAQ;uBAAW,UAAQ;;4BAErC,SAAO;QACP,GAAqD;mCAArD,UAAQ,uBAAR,GAAqD;;UAMtD,cAKL,oBAJE,KAAuB,EAAE,OAAiD;;iDACO,GAA+C,EAA1F,GAAuC;;;;;;wDAA1E,KAAG;qDAAqB,KAAG;;6DAAQ,KAAG;uDAAH,GAAuC;;uDAA7B,UAAQ;;6DAAyB,OAAK;uDAAL,GAA+C;;;0CAEjI,UAAQ;4BAEH,cAAY;;UAGb,MAaJ;0CAXA,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,SAAO;0CACP,UAAQ;UAMJ,WAKL,oBAJE,KAAsB,EAAE,MAAe;;8CACX,GAAgB;;;;;;qDAAzC,KAAG;yDAAsB,KAAG;mDAAH,GAAgB,GAAP,SAAO;;;yEAA6E,KAAG;yEAAK,MAAI;;kDAAK,KAAG;;4CAC9H,MAAI;uCACpB,UAAQ;UAMJ,UAqBL,oBApBE,KAAqB,EAAE,OAAiD;;6CAGrE,GAAsC;;;;;;oDADrC,KAAG;wDACJ,KAAG;kDAAH,GAAsC;;kDAA7B,UAAQ;;;wEAGX,KAAG;wEACH,OAAK;wEACL,OAAK;yFAEF,QAAwB;yFAAE,KAAc;;8FACV,GAAiC;;;;;;qGAA5D,QAAM;;;yGAAqB,QAAM;mGAAN,GAAiC;;mGAArB,OAAK;;;yHAAmG,QAAM;yHAAK,KAAG;;kGAAK,QAAM;;;;uFAE5K,OAAK;;iDAGT,KAAG;;2CAEI,WAAS;sCACxB,UAAQ;wCAIkB,UAAQ;GACrC;EA7ED,AAAA,oCA6EC,CA5EC,UAA0F;UAGpF,UAA4B,GAAjB,UAAQ;UACnB,SAAmE,GAAzD,UAAQ,WAAW,UAAQ;UACrC,UAAyE,GAA9D,UAAQ;uBAAW,UAAQ;;4BAErC,SAAO;QACP,GAAqD;mCAArD,UAAQ,uBAAR,GAAqD;;UAMtD,cAKL,oBAJE,KAAuB,EAAE,OAAiD;;iDACO,GAA+C,EAA1F,GAAuC;;;;;;wDAA1E,KAAG;qDAAqB,KAAG;;6DAAQ,KAAG;uDAAH,GAAuC;;uDAA7B,UAAQ;;6DAAyB,OAAK;uDAAL,GAA+C;;;0CAEjI,UAAQ;4BAEH,cAAY;;UAGb,MAaJ;0CAXA,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,UAAQ;0CACR,SAAO;0CACP,UAAQ;UAMJ,WAKL,oBAJE,KAAsB,EAAE,MAAe;;8CACX,GAAgB;;;;;;qDAAzC,KAAG;yDAAsB,KAAG;mDAAH,GAAgB,GAAP,SAAO;;;yEAA6E,KAAG;yEAAK,MAAI;;kDAAK,KAAG;;4CAC9H,MAAI;uCACpB,UAAQ;UAMJ,UAqBL,oBApBE,KAAqB,EAAE,OAAiD;;6CAGrE,GAAsC;;;;;;oDADrC,KAAG;wDACJ,KAAG;kDAAH,GAAsC;;kDAA7B,UAAQ;;;wEAGX,KAAG;wEACH,OAAK;wEACL,OAAK;yFAEF,QAAwB;yFAAE,KAAc;;8FACV,GAAiC;;;;;;qGAA5D,QAAM;;;yGAAqB,QAAM;mGAAN,GAAiC;;mGAArB,OAAK;;;yHAAmG,QAAM;yHAAK,KAAG;;kGAAK,QAAM;;;;uFAE5K,OAAK;;iDAGT,KAAG;;2CAEI,WAAS;sCACxB,UAAQ;wCAIkB,UAAQ;GACrC;EAKD,AAAA,+BAcC,CAbC,SAAgJ;4BAEzI,SAAO;;UACR,UAQL,iBAPa,SAAO;iCACX,SAAO;+BACT,SAAO;+BACP,SAAO;sCACA,SAAO;;qEAC8F,SAAO;wCAC1G,SAAO;wCAEI,UAAQ;GACrC;EAdD,AAAA,+BAcC,CAbC,SAAgJ;4BAEzI,SAAO;;UACR,UAQL,iBAPa,SAAO;iCACX,SAAO;+BACT,SAAO;+BACP,SAAO;sCACA,SAAO;;qEAC8F,SAAO;wCAC1G,SAAO;wCAEI,UAAQ;GACrC;EASD,AAAA,oBAEC,CAFqC,MAAe;;0CACZ,MAAI;;GAC5C;EAID,AAAA,iBASC,CATkC,OAAgB;UAG3C,IAAgD;kEAA1C,OAAK;;;;4BAGf,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAK,IAAE;4BACzD,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAK,IAAE;;GAE5D;EAID,AAAA,cAEC,CAF+B,OAAc;;4BACR,OAAK;;GAC1C;EAMD,AAAA,mBAmCC,CAnCoC,MAAe;UAC5C,GAA+B,cAA3B,MAAI;4BACP,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;4BACD,GAAC;UACF,IAAmB,GAAd,GAAC;UACN,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,IAAgC,uDAA3B,IAAE;2CAAU,GAAC;UAClB,KAAiC,uDAA3B,IAAE;4CAAU,GAAC;UACnB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;UACpB,KAAkC,uDAA5B,KAAG;;4CAAU,GAAC;;;;;;cACnB,KAAG;GACX;EAMD,AAAA,wBAKC,CALyC,GAAY;UAE9C,GAA4B,cAAxB,GAAC;4BACJ,GAAC;;;+CACD,GAAC;;;GACT;EAID,AAAA,gBAKC,CALiC,MAAe;;;6FAC9B,MAAI;;;;;;;UACf,MAAkC;;mFAAlB,MAAI;;;;4BACnB,MAAI,WAAkB,MAAI;;WAC1B,MAAI;GACZ;ED1tBH,AAAA,+BAIC,CAHC,kBAA0B;iDAEc,kBAAgB;GACzD;EAED,AAAA,+BAIC,CAHC,kBAA0B;iDAEc,kBAAgB;GACzD;EAED,AAAA,+BAIC,CAHC,kBAA0B;iDAEc,kBAAgB;GACzD;EAED,AAAA,gCAIC,CAHC,kBAA2B;iDAEc,kBAAgB;GAC1D;EAED,AAAA,iCAIC,CAHC,kBAA4B;iDAEc,kBAAgB;GAC3D;EAMD,AAAA,wBAMC,CALC,kBAA0B;2BAC1B,sBAA8B;2BAC9B,oBAA6B;;0CAEI,kBAAgB;0CAAE,sBAAoB;0CAAE,oBAAkB;GAC5F;EAED,AAAA,wBAMC,CALC,kBAA0B;2BAC1B,sBAA8B;2BAC9B,oBAA6B;;0CAEI,kBAAgB;0CAAE,sBAAoB;0CAAE,oBAAkB;GAC5F;EAOD,AAAA,0CAIC,CAHC,UAAmC;qDAEe,UAAQ;GAC3D;EAED,AAAA,0CAIC,CAHC,UAAmC;qDAEe,UAAQ;GAC3D;EAKD,AAAA,wCAIC,CAHC,SAAmE;gDAElB,SAAO;GACzD;EAED,AAAA,wCAIC,CAHC,SAAmE;gDAElB,SAAO;GACzD;EAED,AAAA,mCAUC,CATC,kBAA0B;sCAC1B,2BAAsD;sCACtD,gBAA8B;;qDAG5B,kBAAgB;qDAChB,2BAAyB;qDACzB,gBAAc;GAEjB;EAED,AAAA,oCAUC,CATC,kBAA2B;uCAC3B,2BAAsD;uCACtD,gBAA8B;;qDAG5B,kBAAgB;qDAChB,2BAAyB;qDACzB,gBAAc;GAEjB;EAED,AAAA,6CAeC,CAdC,SAAmE;qDAGjE,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;GAEV;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC4EC,AAAA,oBAEC;;;;UAFwC,UAA6B;;;;;;;;kDAA7B,UAA6B;GAErE;EAiDD,AAAA,6CAsBC;;;;UAnBC,eAA8B;UAG9B,mBAA0B;UAI1B,cAAgC;;;;;;;;;;;;;;;;;;;;;;2EAPhC,eAA8B;2EAG9B,mBAA0B;2EAI1B,cAAgC;GAYjC;EAwGD,AAAA,kCAQC;;;;UAPC,WAAoB;UACpB,aAAqB;UACrB,YAAsB;UACtB,wBAAgC;UAChC,YAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gEAJrB,WAAoB;gEACpB,aAAqB;gEACrB,YAAsB;gEACtB,wBAAgC;gEAChC,YAAqB;GAGtB;EAoBD,AAAA,uCAoBC;;;;UAnBC,2BAAsD;UACtD,gBAA8B;;;;;;;;qEAD9B,2BAAsD;qEACtD,gBAA8B;GAkB/B;EAmDD,AAAA,eAEC;;;;;GAAA;EA6KD,AAAA,iBAEC;;;;UAFqC,MAAe;;;;;;;;+CAAf,MAAe;GAEpD;EAID,AAAA,cASC;;;;UATkC,OAAgB;;;;;;;;4CAAhB,OAAgB;GASlD;EAID,AAAA,WAEC;;;;UAF+B,OAAc;;;;;;;;yCAAd,OAAc;GAE7C;EAMD,AAAA,gBAmCC;;;;UAnCoC,MAAe;;;;;;;;8CAAf,MAAe;GAmCnD;EAMD,AAAA,qBAKC;;;;UALyC,GAAY;;;;;;;;mDAAZ,GAAY;GAKrD;EAID,AAAA,aAKC;;;;UALiC,MAAe;;;;;;;;2CAAf,MAAe;GAKhD;ED1tBH,AAAA,4BAIC;;;;UAHC,kBAA0B;;;;;;;;0DAA1B,kBAA0B;GAG3B;EAED,AAAA,4BAIC;;;;UAHC,kBAA0B;;;;;;;;0DAA1B,kBAA0B;GAG3B;EAED,AAAA,4BAIC;;;;UAHC,kBAA0B;;;;;;;;0DAA1B,kBAA0B;GAG3B;EAED,AAAA,6BAIC;;;;UAHC,kBAA2B;;;;;;;;2DAA3B,kBAA2B;GAG5B;EAED,AAAA,8BAIC;;;;UAHC,kBAA4B;;;;;;;;4DAA5B,kBAA4B;GAG7B;EAMD,AAAA,qBAMC;;;;UALC,kBAA0B;UAC1B,sBAA8B;UAC9B,oBAA6B;;;;;;;;;;;;;;;;;;;;;;mDAF7B,kBAA0B;mDAC1B,sBAA8B;mDAC9B,oBAA6B;GAG9B;EAED,AAAA,qBAMC;;;;UALC,kBAA0B;UAC1B,sBAA8B;UAC9B,oBAA6B;;;;;;;;;;;;;;;;;;;;;;mDAF7B,kBAA0B;mDAC1B,sBAA8B;mDAC9B,oBAA6B;GAG9B;EAOD,AAAA,uCAIC;;;;UAHC,UAAmC;;;;;;;;qEAAnC,UAAmC;GAGpC;EAED,AAAA,uCAIC;;;;UAHC,UAAmC;;;;;;;;qEAAnC,UAAmC;GAGpC;EAKD,AAAA,qCAIC;;;;UAHC,SAAmE;;;;;;;;mEAAnE,SAAmE;GAGpE;EAED,AAAA,qCAIC;;;;UAHC,SAAmE;;;;;;;;mEAAnE,SAAmE;GAGpE;EAED,AAAA,gCAUC;;;;UATC,kBAA0B;UAC1B,2BAAsD;UACtD,gBAA8B;;;;;;;;;;;;;;;8DAF9B,kBAA0B;8DAC1B,2BAAsD;8DACtD,gBAA8B;GAO/B;EAED,AAAA,iCAUC;;;;UATC,kBAA2B;UAC3B,2BAAsD;UACtD,gBAA8B;;;;;;;;;;;;;;;+DAF9B,kBAA2B;+DAC3B,2BAAsD;+DACtD,gBAA8B;GAO/B;EAED,AAAA,0CAeC;;;;UAdC,SAAmE;;;;;;;;wEAAnE,SAAmE;GAcpE;;;;;;"
8
8
  }
@@ -3,7 +3,7 @@
3
3
  // id in a public bucket BEFORE the attestation is posted on chain. A Compact
4
4
  // circuit fixes its byte-payload width at compile time while serialised
5
5
  // outputs vary in size across requests, so the attestation event carries the
6
- // output's digest and width and the cache carries the bytes. An object holds nothing
6
+ // output's hash and width and the cache carries the bytes. An object holds nothing
7
7
  // but the packed output, and is UNTRUSTED until the attestation signature
8
8
  // verifies over it (`verifyRespondBidirectionalSignature`).
9
9
  import { getMpcOutputCacheUrl, MidnightNetwork } from "./constants.js";
@@ -1 +1 @@
1
- {"version":3,"file":"mpc-output-cache.js","sourceRoot":"","sources":["../src/mpc-output-cache.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,wEAAwE;AACxE,6EAA6E;AAC7E,qFAAqF;AACrF,0EAA0E;AAC1E,4DAA4D;AAE5D,OAAO,EAAwB,oBAAoB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAoB7F,sGAAsG;AACtG,MAAM,iBAAiB,GAAsB,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,CAChF,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,eAAe,CAAC,UAAU,CACpD,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CACb,6CAA6C,SAAS,0BAA0B,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,oBAAoB,CAAC,SAA4B,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,oBAAoB;IACd,YAAY,CAAS;IAEtC;;;;OAIG;IACH,YAAY,MAA4B;QACtC,IAAI,SAAS,GAAG,MAAM,CAAC,QAAQ,IAAI,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACvE,OAAO,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,GAAG,SAAS,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,qBAAqB,EAAE,CAAC;IACzF,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,SAAuB;QAC/B,OAAO,GAAG,IAAI,CAAC,YAAY,IAAI,SAAS,MAAM,CAAC;IACjD,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,qBAAqB,CAAC,SAAuB;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,kCAAkC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,GAAG,KAAK,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CACjG,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;IACtD,CAAC;CACF"}
1
+ {"version":3,"file":"mpc-output-cache.js","sourceRoot":"","sources":["../src/mpc-output-cache.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,wEAAwE;AACxE,6EAA6E;AAC7E,mFAAmF;AACnF,0EAA0E;AAC1E,4DAA4D;AAE5D,OAAO,EAAwB,oBAAoB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAoB7F,sGAAsG;AACtG,MAAM,iBAAiB,GAAsB,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,CAChF,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,eAAe,CAAC,UAAU,CACpD,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CACb,6CAA6C,SAAS,0BAA0B,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,oBAAoB,CAAC,SAA4B,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,oBAAoB;IACd,YAAY,CAAS;IAEtC;;;;OAIG;IACH,YAAY,MAA4B;QACtC,IAAI,SAAS,GAAG,MAAM,CAAC,QAAQ,IAAI,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACvE,OAAO,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,GAAG,SAAS,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,qBAAqB,EAAE,CAAC;IACzF,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,SAAuB;QAC/B,OAAO,GAAG,IAAI,CAAC,YAAY,IAAI,SAAS,MAAM,CAAC;IACjD,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,qBAAqB,CAAC,SAAuB;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,kCAAkC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,GAAG,KAAK,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CACjG,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;IACtD,CAAC;CACF"}
@@ -177,10 +177,12 @@ export interface SignatureRespondedEvent {
177
177
  * The MPC's respond-bidirectional attestation of a request's remote EVM
178
178
  * execution (Compact `RespondBidirectionalEventV1`, in declaration order): the
179
179
  * ECDSA signature over the attestation digest
180
- * (`calculateSignetAttestationDigest`) with everything that digest commits to
181
- * except the output, which travels off chain. Emitted UNVERIFIED: verify
182
- * in-circuit via `verifyRespondBidirectionalEventV1` or off chain via
183
- * `verifyRespondBidirectionalSignature`. Mint one with the
180
+ * (`calculateSignetAttestationDigest`) with everything that digest is
181
+ * computed from, the output's length and hash standing in for the output,
182
+ * which travels off chain. Emitted UNVERIFIED: verify in-circuit via
183
+ * `verifyRespondBidirectionalEventV1` or off chain via
184
+ * `verifyRespondBidirectionalSignature` (with the output) or
185
+ * `verifyRespondBidirectionalAttestation` (without it). Mint one with the
184
186
  * `@sig-net/midnight/testing` entry point's `attestRespondBidirectional`.
185
187
  */
186
188
  export interface RespondBidirectionalEvent {
@@ -200,13 +202,18 @@ export interface RespondBidirectionalEvent {
200
202
  /** The MPC's verdict on the execution, signed into the digest. */
201
203
  outputKind: OutputKind;
202
204
  /**
203
- * Byte width of the serialised output the digest commits to, 0 for a
204
- * failed or unviable execution. Compact `Uint<64>`.
205
+ * Byte width of the serialised output, 0 for a failed or unviable
206
+ * execution, signed into the digest. Compact `Uint<64>`.
205
207
  */
206
208
  serializedOutputLength: bigint;
207
209
  /**
208
- * The attestation digest the signature is over, 32 bytes: lets a reader
209
- * with no output in hand check the signature. A verifier recomputes it.
210
+ * The 32-byte `calculateAttestedOutputHash` of the serialised output,
211
+ * signed into the digest.
212
+ */
213
+ outputHash: Uint8Array;
214
+ /**
215
+ * The attestation digest the signature is over, 32 bytes. A verifier
216
+ * recomputes it from the fields above.
210
217
  */
211
218
  digest: Uint8Array;
212
219
  /** ECDSA signature over the attestation digest. */
@@ -1 +1 @@
1
- {"version":3,"file":"signet-contract-events.d.ts","sourceRoot":"","sources":["../src/signet-contract-events.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAoB,KAAK,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAKlF,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAA0B,KAAK,YAAY,EAAgB,MAAM,sBAAsB,CAAC;AAE/F;;;;GAIG;AACH,oBAAY,eAAe;IACzB,gEAAgE;IAChE,sBAAsB,2BAA2B;IACjD,iDAAiD;IACjD,uBAAuB,4BAA4B;IACnD,0EAA0E;IAC1E,yBAAyB,8BAA8B;CACxD;AAED,oEAAoE;AACpE,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,yDAAyD;AACzD,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,OAAO,EAAE,UAAU,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAuB,SAAQ,eAAe;IAC7D,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX,8EAA8E;IAC9E,KAAK,EAAE,MAAM,CAAC;IACd,kGAAkG;IAClG,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,eAAe,EAAE,MAAM,CAAC;IACxB,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,cAAc,EAAE,IAAI,CAAC;CACtB;AAED,qEAAqE;AACrE,MAAM,WAAW,wBAAwB;IACvC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe;IACjF;;;;;;;;;OASG;IACH,kBAAkB,CAChB,eAAe,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE,wBAAwB,GACjC,aAAa,CAAC,MAAM,CAAC,CAAC;CAC1B;AAKD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAE1F;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAE9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,SAAS,QAAQ,EAAE,EAC3B,eAAe,CAAC,EAAE,MAAM,GACvB,eAAe,EAAE,CAkBnB;AAED,0FAA0F;AAC1F,MAAM,WAAW,mBAAmB;IAClC,+FAA+F;IAC/F,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAyKD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,mBAAmB,GAC1B,iBAAiB,CAAC,sBAAsB,CAAC,CAuB3C;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;CACf;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,qCAAqC;IACrC,IAAI,EAAE,WAAW,CAAC;IAClB,+CAA+C;IAC/C,CAAC,EAAE,UAAU,CAAC;IACd,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,uEAAuE;IACvE,SAAS,EAAE,UAAU,CAAC;IACtB,0EAA0E;IAC1E,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;OAGG;IACH,SAAS,EAAE,UAAU,CAAC;IACtB;;;;;;OAMG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,kEAAkE;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB;;;OAGG;IACH,sBAAsB,EAAE,MAAM,CAAC;IAC/B;;;OAGG;IACH,MAAM,EAAE,UAAU,CAAC;IACnB,mDAAmD;IACnD,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,OAAO;IACtC,iFAAiF;IACjF,SAAS,EAAE,UAAU,CAAC;IACtB,mCAAmC;IACnC,KAAK,EAAE,OAAO,CAAC;CAChB;AAmCD;;;;;;;GAOG;AACH,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,UAAU,GAClB,eAAe,CAAC,uBAAuB,CAAC,CAO1C;AAsCD;;;;;;;;;;GAUG;AACH,wBAAgB,sCAAsC,CACpD,OAAO,EAAE,UAAU,GAClB,eAAe,CAAC,yBAAyB,CAAC,CAkC5C;AAED;;;;;GAKG;AACH,MAAM,WAAW,mCAAmC;IAClD,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,OAAO,EAAE,UAAU,CAAC;CACrB;AAcD;;;;;;;;;GASG;AACH,wBAAgB,+CAA+C,CAC7D,OAAO,EAAE,UAAU,GAClB,eAAe,CAAC,mCAAmC,CAAC,CAkBtD;AAqBD;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;;;OAMG;IACH,OAAO,EAAE,CAAC,CAAC;IACX;;;;OAIG;IACH,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,mCAAmC,GAC1C,6BAA6B,CA2B/B;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,+EAA+E;IAC/E,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,6BAA6B,CAAC;IACxE,0DAA0D;IAC1D,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IACnE,sDAAsD;IACtD,CAAC,eAAe,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC;CACxE;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,uBAAuB,CACjC,KAAK,SAAS,eAAe,EAC7B,MAAM,SAAS,eAAe,GAAG,eAAe,IAC9C;KACD,IAAI,IAAI,KAAK,GAAG;QACf,4DAA4D;QAC5D,IAAI,EAAE,IAAI,CAAC;QACX,uEAAuE;QACvE,SAAS,EAAE,YAAY,CAAC;QACxB,kCAAkC;QAClC,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,6FAA6F;QAC7F,MAAM,EAAE,MAAM,CAAC;KAChB;CACF,CAAC,KAAK,CAAC,CAAC;AAET,uFAAuF;AACvF,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAC7E,uBAAuB,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;AAcnD;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,SAAS,eAAe,EAC7B,MAAM,SAAS,eAAe,EAC9B,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,GAAG,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAIhF;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,SAAS,eAAe,EAC9D,KAAK,EAAE,MAAM,GACZ,kBAAkB,CAAC,MAAM,CAAC,GAAG,SAAS,CAMxC;AAED;;;GAGG;AACH,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAChF;IACE,2BAA2B;IAC3B,EAAE,EAAE,IAAI,CAAC;IACT,yBAAyB;IACzB,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;CACnC,GACD;IACE,kCAAkC;IAClC,EAAE,EAAE,KAAK,CAAC;IACV,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEN;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,SAAS,eAAe,EACjE,KAAK,EAAE,MAAM,GACZ,uBAAuB,CAAC,MAAM,CAAC,GAAG,SAAS,CAW7C;AAcD;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,SAAS,eAAe,EAChE,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,YAAY,GACtB,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAQ7B"}
1
+ {"version":3,"file":"signet-contract-events.d.ts","sourceRoot":"","sources":["../src/signet-contract-events.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAoB,KAAK,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAKlF,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAA0B,KAAK,YAAY,EAAgB,MAAM,sBAAsB,CAAC;AAE/F;;;;GAIG;AACH,oBAAY,eAAe;IACzB,gEAAgE;IAChE,sBAAsB,2BAA2B;IACjD,iDAAiD;IACjD,uBAAuB,4BAA4B;IACnD,0EAA0E;IAC1E,yBAAyB,8BAA8B;CACxD;AAED,oEAAoE;AACpE,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,yDAAyD;AACzD,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,OAAO,EAAE,UAAU,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAuB,SAAQ,eAAe;IAC7D,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX,8EAA8E;IAC9E,KAAK,EAAE,MAAM,CAAC;IACd,kGAAkG;IAClG,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,eAAe,EAAE,MAAM,CAAC;IACxB,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,cAAc,EAAE,IAAI,CAAC;CACtB;AAED,qEAAqE;AACrE,MAAM,WAAW,wBAAwB;IACvC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe;IACjF;;;;;;;;;OASG;IACH,kBAAkB,CAChB,eAAe,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE,wBAAwB,GACjC,aAAa,CAAC,MAAM,CAAC,CAAC;CAC1B;AAKD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAE1F;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAE9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,SAAS,QAAQ,EAAE,EAC3B,eAAe,CAAC,EAAE,MAAM,GACvB,eAAe,EAAE,CAkBnB;AAED,0FAA0F;AAC1F,MAAM,WAAW,mBAAmB;IAClC,+FAA+F;IAC/F,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAyKD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,mBAAmB,GAC1B,iBAAiB,CAAC,sBAAsB,CAAC,CAuB3C;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;CACf;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,qCAAqC;IACrC,IAAI,EAAE,WAAW,CAAC;IAClB,+CAA+C;IAC/C,CAAC,EAAE,UAAU,CAAC;IACd,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,uEAAuE;IACvE,SAAS,EAAE,UAAU,CAAC;IACtB,0EAA0E;IAC1E,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;OAGG;IACH,SAAS,EAAE,UAAU,CAAC;IACtB;;;;;;OAMG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,kEAAkE;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB;;;OAGG;IACH,sBAAsB,EAAE,MAAM,CAAC;IAC/B;;;OAGG;IACH,UAAU,EAAE,UAAU,CAAC;IACvB;;;OAGG;IACH,MAAM,EAAE,UAAU,CAAC;IACnB,mDAAmD;IACnD,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,OAAO;IACtC,iFAAiF;IACjF,SAAS,EAAE,UAAU,CAAC;IACtB,mCAAmC;IACnC,KAAK,EAAE,OAAO,CAAC;CAChB;AAmCD;;;;;;;GAOG;AACH,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,UAAU,GAClB,eAAe,CAAC,uBAAuB,CAAC,CAO1C;AAuCD;;;;;;;;;;GAUG;AACH,wBAAgB,sCAAsC,CACpD,OAAO,EAAE,UAAU,GAClB,eAAe,CAAC,yBAAyB,CAAC,CAsC5C;AAED;;;;;GAKG;AACH,MAAM,WAAW,mCAAmC;IAClD,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,OAAO,EAAE,UAAU,CAAC;CACrB;AAcD;;;;;;;;;GASG;AACH,wBAAgB,+CAA+C,CAC7D,OAAO,EAAE,UAAU,GAClB,eAAe,CAAC,mCAAmC,CAAC,CAkBtD;AAqBD;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;;;OAMG;IACH,OAAO,EAAE,CAAC,CAAC;IACX;;;;OAIG;IACH,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,mCAAmC,GAC1C,6BAA6B,CA2B/B;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,+EAA+E;IAC/E,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,6BAA6B,CAAC;IACxE,0DAA0D;IAC1D,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IACnE,sDAAsD;IACtD,CAAC,eAAe,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC;CACxE;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,uBAAuB,CACjC,KAAK,SAAS,eAAe,EAC7B,MAAM,SAAS,eAAe,GAAG,eAAe,IAC9C;KACD,IAAI,IAAI,KAAK,GAAG;QACf,4DAA4D;QAC5D,IAAI,EAAE,IAAI,CAAC;QACX,uEAAuE;QACvE,SAAS,EAAE,YAAY,CAAC;QACxB,kCAAkC;QAClC,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,6FAA6F;QAC7F,MAAM,EAAE,MAAM,CAAC;KAChB;CACF,CAAC,KAAK,CAAC,CAAC;AAET,uFAAuF;AACvF,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAC7E,uBAAuB,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;AAcnD;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,SAAS,eAAe,EAC7B,MAAM,SAAS,eAAe,EAC9B,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,GAAG,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAIhF;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,SAAS,eAAe,EAC9D,KAAK,EAAE,MAAM,GACZ,kBAAkB,CAAC,MAAM,CAAC,GAAG,SAAS,CAMxC;AAED;;;GAGG;AACH,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAChF;IACE,2BAA2B;IAC3B,EAAE,EAAE,IAAI,CAAC;IACT,yBAAyB;IACzB,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;CACnC,GACD;IACE,kCAAkC;IAClC,EAAE,EAAE,KAAK,CAAC;IACV,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEN;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,SAAS,eAAe,EACjE,KAAK,EAAE,MAAM,GACZ,uBAAuB,CAAC,MAAM,CAAC,GAAG,SAAS,CAW7C;AAcD;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,SAAS,eAAe,EAChE,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,YAAY,GACtB,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAQ7B"}
@@ -5,8 +5,9 @@
5
5
  // SignBidirectionalEvent - version (1) ++ requestId (32) ++ notification payload (128) ++ zeros (95)
6
6
  // SignatureRespondedEvent - requestId (32) ++ bigR.x (32) ++ bigR.y (32) ++ s (32) ++ recoveryId (1) ++ zeros (127)
7
7
  // RespondBidirectionalEvent - requestId (32) ++ blockHeight (8, little-endian) ++ outputKind (1)
8
- // ++ serializedOutputLength (8, little-endian) ++ digest (32)
9
- // ++ bigR.x (32) ++ bigR.y (32) ++ s (32) ++ recoveryId (1) ++ zeros (78)
8
+ // ++ serializedOutputLength (8, little-endian) ++ outputHash (32)
9
+ // ++ digest (32) ++ bigR.x (32) ++ bigR.y (32) ++ s (32)
10
+ // ++ recoveryId (1) ++ zeros (46)
10
11
  // The decoders here are the byte-plumbing twins of the emit literals in
11
12
  // signet-contract.compact: field order and offsets must match byte-for-byte
12
13
  // (the signet-contract simulator tests pin the lockstep against real emits).
@@ -280,8 +281,9 @@ const RESPOND_BIDIRECTIONAL_REQUEST_ID_OFFSET = 0;
280
281
  const RESPOND_BIDIRECTIONAL_BLOCK_HEIGHT_OFFSET = 32;
281
282
  const RESPOND_BIDIRECTIONAL_OUTPUT_KIND_OFFSET = 40;
282
283
  const RESPOND_BIDIRECTIONAL_OUTPUT_LENGTH_OFFSET = 41;
283
- const RESPOND_BIDIRECTIONAL_DIGEST_OFFSET = 49;
284
- const RESPOND_BIDIRECTIONAL_SIGNATURE_OFFSET = 81;
284
+ const RESPOND_BIDIRECTIONAL_OUTPUT_HASH_OFFSET = 49;
285
+ const RESPOND_BIDIRECTIONAL_DIGEST_OFFSET = 81;
286
+ const RESPOND_BIDIRECTIONAL_SIGNATURE_OFFSET = 113;
285
287
  /** Byte width of a packed `Uint<64>` (Compact's `as Bytes<8>` cast, little-endian). */
286
288
  const PACKED_UINT_64_LENGTH = 8;
287
289
  /**
@@ -332,6 +334,7 @@ export function decodeRespondBidirectionalEventPayload(payload) {
332
334
  blockHeight: bytesToBigint(payload.subarray(RESPOND_BIDIRECTIONAL_BLOCK_HEIGHT_OFFSET, RESPOND_BIDIRECTIONAL_BLOCK_HEIGHT_OFFSET + PACKED_UINT_64_LENGTH)),
333
335
  outputKind: outputKindOf(kindByte),
334
336
  serializedOutputLength: bytesToBigint(payload.subarray(RESPOND_BIDIRECTIONAL_OUTPUT_LENGTH_OFFSET, RESPOND_BIDIRECTIONAL_OUTPUT_LENGTH_OFFSET + PACKED_UINT_64_LENGTH)),
337
+ outputHash: payload.slice(RESPOND_BIDIRECTIONAL_OUTPUT_HASH_OFFSET, RESPOND_BIDIRECTIONAL_DIGEST_OFFSET),
335
338
  digest: payload.slice(RESPOND_BIDIRECTIONAL_DIGEST_OFFSET, RESPOND_BIDIRECTIONAL_SIGNATURE_OFFSET),
336
339
  signature,
337
340
  },
@@ -1 +1 @@
1
- {"version":3,"file":"signet-contract-events.js","sourceRoot":"","sources":["../src/signet-contract-events.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,wEAAwE;AACxE,4EAA4E;AAC5E,2CAA2C;AAC3C,0GAA0G;AAC1G,wHAAwH;AACxH,mGAAmG;AACnG,4FAA4F;AAC5F,wGAAwG;AACxG,wEAAwE;AACxE,4EAA4E;AAC5E,6EAA6E;AAC7E,wEAAwE;AACxE,wEAAwE;AACxE,2CAA2C;AAE3C,OAAO,EAAE,gBAAgB,EAAiB,MAAM,iCAAiC,CAAC;AAElF,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAqB,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAE/F;;;;GAIG;AACH,MAAM,CAAN,IAAY,eAOX;AAPD,WAAY,eAAe;IACzB,gEAAgE;IAChE,oEAAiD,CAAA;IACjD,iDAAiD;IACjD,sEAAmD,CAAA;IACnD,0EAA0E;IAC1E,0EAAuD,CAAA;AACzD,CAAC,EAPW,eAAe,KAAf,eAAe,QAO1B;AAED,oEAAoE;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAE3C,yDAAyD;AACzD,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAwE/C,4EAA4E;AAC5E,MAAM,UAAU,GAAG,IAAI,gBAAgB,CAAC,wBAAwB,GAAG,2BAA2B,CAAC,CAAC;AAEhG;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB,EAAE,IAAqB;IAC/E,OAAO,KAAK,CAAC,IAAI,KAAM,IAAe,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAgB;IACpD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAA2B,EAC3B,eAAwB;IAExB,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM;YAAE,SAAS;QACzC,IAAI,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC;QAC/E,CAAC;QACD,8DAA8D;QAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QACrF,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;YACrE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,wBAAwB,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAQD;;;;GAIG;AACH,MAAM,4BAA4B,GAAG;;;;;;;;;;;CAWpC,CAAC;AAEF,oFAAoF;AACpF,MAAM,4BAA4B,GAAG,mBAAmB,CAAC;AAEzD,oGAAoG;AACpG,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAoC7B;;;;;;;;;GASG;AACH,SAAS,6BAA6B,CACpC,GAA4B;IAE5B,IAAI,GAAG,CAAC,UAAU,KAAK,4BAA4B;QAAE,OAAO,SAAS,CAAC;IACtE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxD,MAAM,eAAe,GAAG,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC;IACrC,IACE,EAAE,KAAK,SAAS;QAChB,KAAK,KAAK,SAAS;QACnB,aAAa,KAAK,SAAS;QAC3B,IAAI,KAAK,SAAS;QAClB,OAAO,KAAK,SAAS;QACrB,eAAe,KAAK,SAAS;QAC7B,KAAK,EAAE,MAAM,KAAK,SAAS;QAC3B,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,KAAK,CAAC,SAAS,KAAK,SAAS,EAC7B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,uDAAuD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,2BAA2B,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,OAAO;QACL,IAAI,EAAE,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,EAAE;QACF,KAAK;QACL,aAAa;QACb,eAAe;QACf,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,SAAS,EAAE,KAAK,CAAC,IAAI;QACrB,cAAc,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;KAC1C,CAAC;AACJ,CAAC;AAgBD;;;;;;;;;;GAUG;AACH,KAAK,UAAU,sBAAsB,CACnC,QAAgB,EAChB,eAAuB,EACvB,MAAc,EACd,SAA6B;IAE7B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,QAAQ,EAAE;QACrC,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;QAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;YACnB,KAAK,EAAE,4BAA4B;YACnC,SAAS,EAAE;gBACT,MAAM,EAAE;oBACN,eAAe;oBACf,KAAK,EAAE,CAAC,MAAM,CAAC;oBACf,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;iBAClD;gBACD,KAAK,EAAE,gBAAgB;gBACvB,MAAM;aACP;SACF,CAAC;KACH,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,QAAQ,KAAK,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAkC,CAAC;IACtE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,+CAA+C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,8DAA8D,QAAQ,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAA2B;IAE3B,OAAO;QACL,KAAK,CAAC,CAAC,kBAAkB,CAAC,eAAe,EAAE,OAAO;YAChD,MAAM,OAAO,GAAG,UAAU,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1E,IAAI,KAAyB,CAAC;YAC9B,KAAK,IAAI,MAAM,GAAG,CAAC,GAAI,MAAM,IAAI,gBAAgB,EAAE,CAAC;gBAClD,MAAM,IAAI,GAAG,MAAM,sBAAsB,CACvC,MAAM,CAAC,QAAQ,EACf,OAAO,EACP,MAAM,EACN,OAAO,EAAE,SAAS,CACnB,CAAC;gBACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,KAAK,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC;oBACjD,IAAI,KAAK,KAAK,SAAS;wBAAE,SAAS;oBAClC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;oBACtB,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK;wBAAE,OAAO;oBAC7B,MAAM,KAAK,CAAC;gBACd,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,GAAG,gBAAgB;oBAAE,OAAO;YAC7C,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAgGD,kGAAkG;AAClG,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAEnC;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,OAAmB,EAAE,MAAc;IAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,GAAG,uBAAuB,GAAG,CAAC,CAAC,CAAC;IACjE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iDAAiD,CACnG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC;YACrC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC;SAC3C;QACD,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC;QAC1C,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,qCAAqC,GAAG,CAAC,CAAC;AAChD,MAAM,oCAAoC,GAAG,EAAE,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,UAAU,oCAAoC,CAClD,OAAmB;IAEnB,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,oCAAoC,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAC7B,qCAAqC,EACrC,oCAAoC,CACrC,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC;AACxD,CAAC;AAED,0EAA0E;AAC1E,MAAM,uCAAuC,GAAG,CAAC,CAAC;AAClD,MAAM,yCAAyC,GAAG,EAAE,CAAC;AACrD,MAAM,wCAAwC,GAAG,EAAE,CAAC;AACpD,MAAM,0CAA0C,GAAG,EAAE,CAAC;AACtD,MAAM,mCAAmC,GAAG,EAAE,CAAC;AAC/C,MAAM,sCAAsC,GAAG,EAAE,CAAC;AAElD,uFAAuF;AACvF,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC;;;GAGG;AACH,MAAM,4BAA4B,GAA0B;IAC1D,UAAU,CAAC,QAAQ;IACnB,UAAU,CAAC,MAAM;IACjB,UAAU,CAAC,QAAQ;CACpB,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,uDAAuD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sCAAsC,CACpD,OAAmB;IAEnB,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,sCAAsC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,wCAAwC,CAAC,CAAC;IACnE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAC7B,uCAAuC,EACvC,yCAAyC,CAC1C,CAAC;IACF,OAAO;QACL,SAAS;QACT,KAAK,EAAE;YACL,SAAS;YACT,WAAW,EAAE,aAAa,CACxB,OAAO,CAAC,QAAQ,CACd,yCAAyC,EACzC,yCAAyC,GAAG,qBAAqB,CAClE,CACF;YACD,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;YAClC,sBAAsB,EAAE,aAAa,CACnC,OAAO,CAAC,QAAQ,CACd,0CAA0C,EAC1C,0CAA0C,GAAG,qBAAqB,CACnE,CACF;YACD,MAAM,EAAE,OAAO,CAAC,KAAK,CACnB,mCAAmC,EACnC,sCAAsC,CACvC;YACD,SAAS;SACV;KACF,CAAC;AACJ,CAAC;AAeD,qEAAqE;AACrE,MAAM,iCAAiC,GAAG,CAAC,CAAC;AAE5C,8DAA8D;AAC9D,MAAM,oCAAoC,GAAG,CAAC,CAAC;AAE/C,sEAAsE;AACtE,MAAM,iCAAiC,GAAG,EAAE,CAAC;AAE7C,4EAA4E;AAC5E,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAExC;;;;;;;;;GASG;AACH,MAAM,UAAU,+CAA+C,CAC7D,OAAmB;IAEnB,MAAM,OAAO,GAAG,OAAO,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,iCAAiC,GAAG,2BAA2B,CAAC;IAC5E,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,+CAA+C,CACjG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,KAAK,CACtB,oCAAoC,EACpC,iCAAiC,CAClC;QACD,KAAK,EAAE;YACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;YACxB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,CAAC;SAC/D;KACF,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAE7C,+EAA+E;AAC/E,MAAM,8BAA8B,GAAG,EAAE,CAAC;AAE1C,sEAAsE;AACtE,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC,qGAAqG;AACrG,MAAM,8BAA8B,GAAG,EAAE,CAAC;AAiC1C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mCAAmC,CACjD,MAA2C;IAE3C,IAAI,MAAM,CAAC,OAAO,KAAK,8BAA8B,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,8CAA8C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB;YACtF,qCAAqC,MAAM,CAAC,8BAA8B,CAAC,GAAG,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,8BAA8B,CAAC,CACzF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,qBAAqB,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACb,wDAAwD,MAAM,CAAC,KAAK,CAAC,mBAAmB;YACtF,kBAAkB,MAAM,CAAC,qBAAqB,CAAC,GAAG,CACrD,CAAC;IACJ,CAAC;IACD,kFAAkF;IAClF,4DAA4D;IAC5D,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAC7B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,EAAE,wBAAwB,GAAG,KAAK,CAAC,CACjF,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC;QACV,aAAa;QACb,YAAY;KACb,CAAC;AACJ,CAAC;AA6CD,+FAA+F;AAC/F,MAAM,6BAA6B,GAE/B;IACF,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;QACpD,MAAM,IAAI,GAAG,+CAA+C,CAAC,OAAO,CAAC,CAAC;QACtE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,mCAAmC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,oCAAoC;IAC/E,CAAC,eAAe,CAAC,yBAAyB,CAAC,EAAE,sCAAsC;CACpF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CAGpC,KAAa,EAAE,IAAW;IAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,IAAI,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC9F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAa;IAEb,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAsBD;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa;IAEb,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC1E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,6BAA6B,GAE/B;IACF,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAClD,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;IAClF,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACnD,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,uBAAuB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;IACnF,CAAC,eAAe,CAAC,yBAAyB,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACrD,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;CACtF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAqC,EACrC,IAAW,EACX,SAAuB;IAEvB,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QAC5C,MAAM,MAAM,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
1
+ {"version":3,"file":"signet-contract-events.js","sourceRoot":"","sources":["../src/signet-contract-events.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,wEAAwE;AACxE,4EAA4E;AAC5E,2CAA2C;AAC3C,0GAA0G;AAC1G,wHAAwH;AACxH,mGAAmG;AACnG,gGAAgG;AAChG,uFAAuF;AACvF,gEAAgE;AAChE,wEAAwE;AACxE,4EAA4E;AAC5E,6EAA6E;AAC7E,wEAAwE;AACxE,wEAAwE;AACxE,2CAA2C;AAE3C,OAAO,EAAE,gBAAgB,EAAiB,MAAM,iCAAiC,CAAC;AAElF,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAqB,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAE/F;;;;GAIG;AACH,MAAM,CAAN,IAAY,eAOX;AAPD,WAAY,eAAe;IACzB,gEAAgE;IAChE,oEAAiD,CAAA;IACjD,iDAAiD;IACjD,sEAAmD,CAAA;IACnD,0EAA0E;IAC1E,0EAAuD,CAAA;AACzD,CAAC,EAPW,eAAe,KAAf,eAAe,QAO1B;AAED,oEAAoE;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAE3C,yDAAyD;AACzD,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAwE/C,4EAA4E;AAC5E,MAAM,UAAU,GAAG,IAAI,gBAAgB,CAAC,wBAAwB,GAAG,2BAA2B,CAAC,CAAC;AAEhG;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB,EAAE,IAAqB;IAC/E,OAAO,KAAK,CAAC,IAAI,KAAM,IAAe,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAgB;IACpD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAA2B,EAC3B,eAAwB;IAExB,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM;YAAE,SAAS;QACzC,IAAI,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC;QAC/E,CAAC;QACD,8DAA8D;QAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QACrF,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;YACrE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,wBAAwB,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAQD;;;;GAIG;AACH,MAAM,4BAA4B,GAAG;;;;;;;;;;;CAWpC,CAAC;AAEF,oFAAoF;AACpF,MAAM,4BAA4B,GAAG,mBAAmB,CAAC;AAEzD,oGAAoG;AACpG,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAoC7B;;;;;;;;;GASG;AACH,SAAS,6BAA6B,CACpC,GAA4B;IAE5B,IAAI,GAAG,CAAC,UAAU,KAAK,4BAA4B;QAAE,OAAO,SAAS,CAAC;IACtE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxD,MAAM,eAAe,GAAG,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC;IACrC,IACE,EAAE,KAAK,SAAS;QAChB,KAAK,KAAK,SAAS;QACnB,aAAa,KAAK,SAAS;QAC3B,IAAI,KAAK,SAAS;QAClB,OAAO,KAAK,SAAS;QACrB,eAAe,KAAK,SAAS;QAC7B,KAAK,EAAE,MAAM,KAAK,SAAS;QAC3B,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,KAAK,CAAC,SAAS,KAAK,SAAS,EAC7B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,uDAAuD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,2BAA2B,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,OAAO;QACL,IAAI,EAAE,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,EAAE;QACF,KAAK;QACL,aAAa;QACb,eAAe;QACf,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,SAAS,EAAE,KAAK,CAAC,IAAI;QACrB,cAAc,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;KAC1C,CAAC;AACJ,CAAC;AAgBD;;;;;;;;;;GAUG;AACH,KAAK,UAAU,sBAAsB,CACnC,QAAgB,EAChB,eAAuB,EACvB,MAAc,EACd,SAA6B;IAE7B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,QAAQ,EAAE;QACrC,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;QAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;YACnB,KAAK,EAAE,4BAA4B;YACnC,SAAS,EAAE;gBACT,MAAM,EAAE;oBACN,eAAe;oBACf,KAAK,EAAE,CAAC,MAAM,CAAC;oBACf,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;iBAClD;gBACD,KAAK,EAAE,gBAAgB;gBACvB,MAAM;aACP;SACF,CAAC;KACH,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,QAAQ,KAAK,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAkC,CAAC;IACtE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,+CAA+C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,8DAA8D,QAAQ,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAA2B;IAE3B,OAAO;QACL,KAAK,CAAC,CAAC,kBAAkB,CAAC,eAAe,EAAE,OAAO;YAChD,MAAM,OAAO,GAAG,UAAU,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1E,IAAI,KAAyB,CAAC;YAC9B,KAAK,IAAI,MAAM,GAAG,CAAC,GAAI,MAAM,IAAI,gBAAgB,EAAE,CAAC;gBAClD,MAAM,IAAI,GAAG,MAAM,sBAAsB,CACvC,MAAM,CAAC,QAAQ,EACf,OAAO,EACP,MAAM,EACN,OAAO,EAAE,SAAS,CACnB,CAAC;gBACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,KAAK,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC;oBACjD,IAAI,KAAK,KAAK,SAAS;wBAAE,SAAS;oBAClC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;oBACtB,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK;wBAAE,OAAO;oBAC7B,MAAM,KAAK,CAAC;gBACd,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,GAAG,gBAAgB;oBAAE,OAAO;YAC7C,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAuGD,kGAAkG;AAClG,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAEnC;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,OAAmB,EAAE,MAAc;IAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,GAAG,uBAAuB,GAAG,CAAC,CAAC,CAAC;IACjE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iDAAiD,CACnG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC;YACrC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC;SAC3C;QACD,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC;QAC1C,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,qCAAqC,GAAG,CAAC,CAAC;AAChD,MAAM,oCAAoC,GAAG,EAAE,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,UAAU,oCAAoC,CAClD,OAAmB;IAEnB,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,oCAAoC,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAC7B,qCAAqC,EACrC,oCAAoC,CACrC,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC;AACxD,CAAC;AAED,0EAA0E;AAC1E,MAAM,uCAAuC,GAAG,CAAC,CAAC;AAClD,MAAM,yCAAyC,GAAG,EAAE,CAAC;AACrD,MAAM,wCAAwC,GAAG,EAAE,CAAC;AACpD,MAAM,0CAA0C,GAAG,EAAE,CAAC;AACtD,MAAM,wCAAwC,GAAG,EAAE,CAAC;AACpD,MAAM,mCAAmC,GAAG,EAAE,CAAC;AAC/C,MAAM,sCAAsC,GAAG,GAAG,CAAC;AAEnD,uFAAuF;AACvF,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC;;;GAGG;AACH,MAAM,4BAA4B,GAA0B;IAC1D,UAAU,CAAC,QAAQ;IACnB,UAAU,CAAC,MAAM;IACjB,UAAU,CAAC,QAAQ;CACpB,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,uDAAuD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sCAAsC,CACpD,OAAmB;IAEnB,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,sCAAsC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,wCAAwC,CAAC,CAAC;IACnE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAC7B,uCAAuC,EACvC,yCAAyC,CAC1C,CAAC;IACF,OAAO;QACL,SAAS;QACT,KAAK,EAAE;YACL,SAAS;YACT,WAAW,EAAE,aAAa,CACxB,OAAO,CAAC,QAAQ,CACd,yCAAyC,EACzC,yCAAyC,GAAG,qBAAqB,CAClE,CACF;YACD,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;YAClC,sBAAsB,EAAE,aAAa,CACnC,OAAO,CAAC,QAAQ,CACd,0CAA0C,EAC1C,0CAA0C,GAAG,qBAAqB,CACnE,CACF;YACD,UAAU,EAAE,OAAO,CAAC,KAAK,CACvB,wCAAwC,EACxC,mCAAmC,CACpC;YACD,MAAM,EAAE,OAAO,CAAC,KAAK,CACnB,mCAAmC,EACnC,sCAAsC,CACvC;YACD,SAAS;SACV;KACF,CAAC;AACJ,CAAC;AAeD,qEAAqE;AACrE,MAAM,iCAAiC,GAAG,CAAC,CAAC;AAE5C,8DAA8D;AAC9D,MAAM,oCAAoC,GAAG,CAAC,CAAC;AAE/C,sEAAsE;AACtE,MAAM,iCAAiC,GAAG,EAAE,CAAC;AAE7C,4EAA4E;AAC5E,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAExC;;;;;;;;;GASG;AACH,MAAM,UAAU,+CAA+C,CAC7D,OAAmB;IAEnB,MAAM,OAAO,GAAG,OAAO,CAAC,iCAAiC,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,iCAAiC,GAAG,2BAA2B,CAAC;IAC5E,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,+CAA+C,CACjG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,KAAK,CACtB,oCAAoC,EACpC,iCAAiC,CAClC;QACD,KAAK,EAAE;YACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;YACxB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,CAAC;SAC/D;KACF,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAE7C,+EAA+E;AAC/E,MAAM,8BAA8B,GAAG,EAAE,CAAC;AAE1C,sEAAsE;AACtE,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC,qGAAqG;AACrG,MAAM,8BAA8B,GAAG,EAAE,CAAC;AAiC1C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mCAAmC,CACjD,MAA2C;IAE3C,IAAI,MAAM,CAAC,OAAO,KAAK,8BAA8B,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,8CAA8C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB;YACtF,qCAAqC,MAAM,CAAC,8BAA8B,CAAC,GAAG,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,8BAA8B,CAAC,CACzF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,qBAAqB,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACb,wDAAwD,MAAM,CAAC,KAAK,CAAC,mBAAmB;YACtF,kBAAkB,MAAM,CAAC,qBAAqB,CAAC,GAAG,CACrD,CAAC;IACJ,CAAC;IACD,kFAAkF;IAClF,4DAA4D;IAC5D,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAC7B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,EAAE,wBAAwB,GAAG,KAAK,CAAC,CACjF,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC;QACV,aAAa;QACb,YAAY;KACb,CAAC;AACJ,CAAC;AA6CD,+FAA+F;AAC/F,MAAM,6BAA6B,GAE/B;IACF,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;QACpD,MAAM,IAAI,GAAG,+CAA+C,CAAC,OAAO,CAAC,CAAC;QACtE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,mCAAmC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,oCAAoC;IAC/E,CAAC,eAAe,CAAC,yBAAyB,CAAC,EAAE,sCAAsC;CACpF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CAGpC,KAAa,EAAE,IAAW;IAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,IAAI,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC9F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAa;IAEb,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAsBD;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa;IAEb,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC1E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,6BAA6B,GAE/B;IACF,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAClD,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;IAClF,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACnD,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,uBAAuB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;IACnF,CAAC,eAAe,CAAC,yBAAyB,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACrD,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;CACtF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAqC,EACrC,IAAW,EACX,SAAuB;IAEvB,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QAC5C,MAAM,MAAM,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
@@ -20,8 +20,8 @@ const EVM_TYPE2_TAIL_ATOMS = 5;
20
20
  * Recover the sizing parameters the requester's contract was compiled with
21
21
  * (`#maxCalldataWords`, `#maxAccessListEntries`, `#maxStorageKeysPerEntry`)
22
22
  * from the declared widths alone. The tail anchors from the end: calldata
23
- * words, storage keys and `executionDest` are all `Bytes<32>`, so no forward scan
24
- * can find the boundaries.
23
+ * words and storage keys are both `Bytes<32>`, so no forward scan can find
24
+ * the boundaries.
25
25
  *
26
26
  * @param widths - The record's declared atom widths.
27
27
  * @param what - Error-message subject.
@@ -84,7 +84,7 @@ export interface RequestIdPreimage {
84
84
  txParamType: number;
85
85
  /** The 32-byte digest of the transaction decomposition over its used entries. */
86
86
  txParamsDigest: Uint8Array;
87
- /** Execution destination: the target chain in CAIP-2 form (https://chainagnostic.org/CAIPs/caip-2), zero-padded, 32 bytes. */
87
+ /** Execution destination: the target chain in CAIP-2 form (https://chainagnostic.org/CAIPs/caip-2), zero-padded, 64 bytes. */
88
88
  executionDest: Uint8Array;
89
89
  }
90
90
  /**
@@ -109,7 +109,7 @@ export interface SignBidirectionalEvent<TxParams = EvmType2TxParams> {
109
109
  txParamType: number;
110
110
  /** The transaction decomposition. */
111
111
  txParams: TxParams;
112
- /** Execution destination: the target chain in CAIP-2 form (https://chainagnostic.org/CAIPs/caip-2), zero-padded, 32 bytes. */
112
+ /** Execution destination: the target chain in CAIP-2 form (https://chainagnostic.org/CAIPs/caip-2), zero-padded, 64 bytes. */
113
113
  executionDest: Uint8Array;
114
114
  /** An {@link MPCDestination} value: the signature destination, reserved. */
115
115
  signatureDest: number;
@@ -101,7 +101,7 @@ export const requestIdPreimageDescriptor = compactStructDescriptor({
101
101
  algo: MPC_SIGNATURE_ALGORITHM,
102
102
  txParamType: TX_PARAM_TYPE,
103
103
  txParamsDigest: BYTES_32,
104
- executionDest: BYTES_32,
104
+ executionDest: BYTES_64,
105
105
  });
106
106
  /**
107
107
  * Descriptor of {@link SignBidirectionalEvent} over ANY tx-params
@@ -126,7 +126,7 @@ export function signBidirectionalEventDescriptorWith(txParams, lenOutputDeserial
126
126
  algo: MPC_SIGNATURE_ALGORITHM,
127
127
  txParamType: TX_PARAM_TYPE,
128
128
  txParams,
129
- executionDest: BYTES_32,
129
+ executionDest: BYTES_64,
130
130
  signatureDest: MPC_DESTINATION,
131
131
  params: BYTES_64,
132
132
  outputDeserializationSchema: new CompactTypeBytes(lenOutputDeserialization),
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@sig-net/midnight",
3
- "version": "0.24.1",
3
+ "version": "0.25.0-rc.1",
4
4
  "repository": {
5
5
  "type": "git",
6
6
  "url": "https://github.com/sig-net/midnight-integration",
@@ -49,7 +49,7 @@
49
49
  "@midnight-ntwrk/compact-runtime": "0.18.0-rc.1",
50
50
  "@midnight-ntwrk/midnight-js-types": "5.0.0-beta.6",
51
51
  "@noble/curves": "^2.2.0",
52
- "@sig-net/midnight-serde": "^0.24.1",
52
+ "@sig-net/midnight-serde": "^0.25.0-rc.1",
53
53
  "ethers": "^6.17.0"
54
54
  },
55
55
  "devDependencies": {
@@ -76,6 +76,7 @@ module Signet {
76
76
  evmType2TxWord,
77
77
  evmType2TxAccessEntry,
78
78
  evmType2TxStorageKey,
79
+ attestedOutput,
79
80
  }
80
81
 
81
82
  // ---- SignBidirectionalEvent ------------------------------------------------------------------------
@@ -111,8 +112,9 @@ module Signet {
111
112
  // Target chain transaction parameters.
112
113
  txParamType: TxParamType; // Off-chain tag indicating what type txParams is set to.
113
114
  txParams: TxParams; // The generic transaction-param payload
114
- executionDest: Bytes<32>; // The MPC's routing key for the target chain, in CAIP-2 form
115
- // (https://chainagnostic.org/CAIPs/caip-2). An Ethereum target
115
+ executionDest: Bytes<64>; // The MPC's routing key for the target chain, in CAIP-2 form
116
+ // (https://chainagnostic.org/CAIPs/caip-2), zero-padded: 64 bytes
117
+ // hold any CAIP-2 id (at most 41). An Ethereum target
116
118
  // (mainnet, Sepolia or a local anvil) uses ethereumCaip2Id():
117
119
  // the network itself is txParams' chainId.
118
120
 
@@ -169,7 +171,7 @@ module Signet {
169
171
  algo: MPCSignatureAlgorithm,
170
172
  txParamType: TxParamType,
171
173
  txParams: TxParams,
172
- executionDest: Bytes<32>,
174
+ executionDest: Bytes<64>,
173
175
  signatureDest: MPCDestination,
174
176
  params: Bytes<64>,
175
177
  outputDeserializationSchema: Bytes<LenOutputDeserialization>,
@@ -221,7 +223,7 @@ module Signet {
221
223
  algo: MPCSignatureAlgorithm;
222
224
  txParamType: TxParamType;
223
225
  txParamsDigest: Bytes<32>;
224
- executionDest: Bytes<32>;
226
+ executionDest: Bytes<64>;
225
227
  }
226
228
 
227
229
  // Off-chain recomputation must prefix the preimage with HashDomain.requestId
@@ -333,7 +335,8 @@ module Signet {
333
335
  // RespondBidirectionalEvent: the MPC's attestation of a foreign execution, the
334
336
  // final step of the sign bidirectional flow.
335
337
  //
336
- // attestationDigest = calculateSignetAttestationDigestV1(requestId, blockHeight, outputKind, serializedOutput)
338
+ // outputHash = calculateAttestedOutputHashV1(serializedOutput)
339
+ // attestationDigest = calculateSignetAttestationDigestV1(requestId, blockHeight, outputKind, serializedOutputLength, outputHash)
337
340
  // signature = signSECP256k1(mpcResponseKey, attestationDigest)
338
341
  //
339
342
  // mpcResponseKey is derived like request signing keys, with the path set to the
@@ -341,10 +344,12 @@ module Signet {
341
344
  // verbatim, unlike a request's hex-encoded 32 path bytes):
342
345
  // mpcResponseKey = f(mpcRootKey[keyVersion], caip2ChainId, sender, "midnight response key")
343
346
  //
344
- // The output travels off chain and the digest is recomputed at verification
345
- // time (verifyRespondBidirectionalEventV1). The signature is the ONLY thing that
346
- // distinguishes a genuine post from garbage: the singleton emits every post
347
- // unverified.
347
+ // The output travels off chain. The event carries everything the digest is
348
+ // computed from, so its signature checks without the output
349
+ // (verifyRespondBidirectionalAttestationV1), and the output checks against the
350
+ // event's length and hash (verifyAttestedOutputV1). The signature
351
+ // is the ONLY thing that distinguishes a genuine post from garbage: the
352
+ // singleton emits every post unverified.
348
353
  export struct RespondBidirectionalEventV1 {
349
354
  // The request this attestation answers. Signed into the digest: a verified
350
355
  // post settles exactly the request it names, so a client consumes this id
@@ -356,13 +361,17 @@ module Signet {
356
361
  blockHeight: Uint<64>;
357
362
  // The MPC's verdict on the execution, signed into the digest.
358
363
  outputKind: OutputKind;
359
- // Byte width of the serialised output the digest commits to (0 for a failed
360
- // or unviable execution), so a client holding no output yet knows which
361
- // width to settle at.
364
+ // Byte width of the serialised output (0 for a failed or unviable
365
+ // execution), signed into the digest. The output hash does not commit to
366
+ // the width, so this does: a verifier checks it against the width of the
367
+ // output it was handed.
362
368
  serializedOutputLength: Uint<64>;
369
+ // calculateAttestedOutputHashV1 of the serialised output, signed into the
370
+ // digest.
371
+ outputHash: Bytes<32>;
363
372
  // The attestation digest the signature is over (calculateSignetAttestationDigestV1),
364
- // so a reader holding no output can check the signature. The verifying
365
- // circuit recomputes it from the output and never reads this copy.
373
+ // for off-chain readers. The verifying circuits recompute it from the
374
+ // fields above and never read this copy.
366
375
  digest: Bytes<32>;
367
376
  // The MPC's ECDSA signature over the attestation digest.
368
377
  signature: Signature;
@@ -377,49 +386,64 @@ module Signet {
377
386
  unviable, // a finalised transaction of another request from the same account took the nonce: the attested output is empty (Bytes<0>)
378
387
  }
379
388
 
380
- // The 32-byte attestation digest of a remote execution output:
381
- // attestationDigest = upgradeFromTransient(transientHash([HashDomain.attestationDigest, requestId, blockHeight, outputKind, serializedOutputLength, serializedOutput]))
389
+ // The 32-byte hash of a serialised execution output that the attestation
390
+ // digest commits to:
391
+ // outputHash = upgradeFromTransient(transientHash([HashDomain.attestedOutput, serializedOutput]))
392
+ // The hash packs the bytes into field elements without their width, so
393
+ // outputs that differ only in trailing zero bytes hash alike: the width is
394
+ // committed separately, as serializedOutputLength. Off-chain code uses the
395
+ // TypeScript twin:
396
+ // import { calculateAttestedOutputHash } from "@sig-net/midnight";
397
+ export pure circuit calculateAttestedOutputHashV1<#serializedOutputLength>(
398
+ serializedOutput: Bytes<serializedOutputLength>,
399
+ ): Bytes<32> {
400
+ return upgradeFromTransient(transientHash<[HashDomain, Bytes<serializedOutputLength>]>([HashDomain.attestedOutput, serializedOutput]));
401
+ }
402
+
403
+ // The 32-byte attestation digest the MPC signs:
404
+ // attestationDigest = upgradeFromTransient(transientHash([HashDomain.attestationDigest, requestId, blockHeight, outputKind, serializedOutputLength, outputHash]))
382
405
  // blockHeight is the height of the finalised target-chain block holding the
383
406
  // transaction the attestation describes, in the target chain's own
384
- // numbering (a slot on Solana).
385
- // Off-chain code uses the TypeScript twin:
386
- // import { calculateSignetAttestationDigest } from "@sig-net/midnight/testing";
387
- export pure circuit calculateSignetAttestationDigestV1<#serializedOutputLength>(
407
+ // numbering (a slot on Solana). Every input is fixed-width, so the digest of
408
+ // any output is computed by this one circuit.
409
+ export pure circuit calculateSignetAttestationDigestV1(
388
410
  requestId: RequestId,
389
411
  blockHeight: Uint<64>,
390
412
  outputKind: OutputKind,
391
- serializedOutput: Bytes<serializedOutputLength>,
413
+ serializedOutputLength: Uint<64>,
414
+ outputHash: Bytes<32>,
392
415
  ): Bytes<32> {
393
- return upgradeFromTransient(transientHash<[HashDomain, RequestId, Uint<64>, OutputKind, Uint<64>, Bytes<serializedOutputLength>]>([HashDomain.attestationDigest, requestId, blockHeight, outputKind, serializedOutputLength, serializedOutput]));
416
+ return upgradeFromTransient(transientHash<[HashDomain, RequestId, Uint<64>, OutputKind, Uint<64>, Bytes<32>]>([HashDomain.attestationDigest, requestId, blockHeight, outputKind, serializedOutputLength, outputHash]));
394
417
  }
395
418
 
396
- // Verifies a RespondBidirectionalEvent against its execution output and MPC
397
- // response key: recomputes the digest over the request id, block height,
398
- // output kind, output length and caller's output, then verifies its signature. Client
399
- // contracts run this before consuming outputs, as the singleton emits
400
- // responses unverified. The caller supplies
401
- // serializedOutput at its exact unpadded width, and the event record with
402
- // signature.bigR.x and signature.s byte-reversed into LITTLE-endian: the
403
- // scalar casts below read little-endian bytes, and the wire/ledger records
404
- // are big-endian, so the reversal happens off-chain where it costs nothing
405
- // (the TS SDK's respondBidirectionalEventToCircuitInput does it). A wrong
406
- // byte order fails verification, never a false accept. Of the event, requestId,
407
- // blockHeight, outputKind, signature.bigR.x and signature.s enter verification:
408
- // serializedOutputLength and digest serve off-chain readers. The digest binds
409
- // the event's requestId, so a client MUST consume that request and no other. An s
410
- // that reduces to 0 mod the curve order aborts the
411
- // circuit rather than returning false, so sift candidate posts off chain
412
- // first (verifyRespondBidirectionalSignature).
413
- export pure circuit verifyRespondBidirectionalEventV1<#serializedOutputLength>(
414
- serializedOutput: Bytes<serializedOutputLength>,
419
+ // Verifies a RespondBidirectionalEvent's signature against the MPC response
420
+ // key, without the output: recomputes the digest from the event's request
421
+ // id, block height, output kind, output length and output hash. The event's
422
+ // digest field is never read. A true result proves the MPC attested this
423
+ // outcome for this request, and an output the event carries only as its
424
+ // length and hash: a client that consumes output bytes checks them against
425
+ // that length and hash with verifyAttestedOutputV1, or verifies with
426
+ // verifyRespondBidirectionalEventV1, which does both.
427
+ // The caller supplies the event record with signature.bigR.x and
428
+ // signature.s byte-reversed into LITTLE-endian: the scalar casts below read
429
+ // little-endian bytes, and the wire/ledger records are big-endian, so the
430
+ // reversal happens off-chain where it costs nothing (the TS SDK's
431
+ // respondBidirectionalEventToCircuitInput does it). A wrong byte order fails
432
+ // verification, never a false accept. The digest binds the event's
433
+ // requestId, so a client MUST consume that request and no other. An s that
434
+ // reduces to 0 mod the curve order aborts the circuit rather than returning
435
+ // false, so sift candidate posts off chain first
436
+ // (verifyRespondBidirectionalAttestation).
437
+ export pure circuit verifyRespondBidirectionalAttestationV1(
415
438
  respondBidirectionalEvent: RespondBidirectionalEventV1,
416
439
  mpcResponseKey: Secp256k1Point
417
440
  ): Boolean {
418
- const digest = calculateSignetAttestationDigestV1<serializedOutputLength>(
441
+ const digest = calculateSignetAttestationDigestV1(
419
442
  respondBidirectionalEvent.requestId,
420
443
  respondBidirectionalEvent.blockHeight,
421
444
  respondBidirectionalEvent.outputKind,
422
- serializedOutput,
445
+ respondBidirectionalEvent.serializedOutputLength,
446
+ respondBidirectionalEvent.outputHash,
423
447
  );
424
448
 
425
449
  return secp256k1EcdsaVerify(
@@ -432,6 +456,46 @@ module Signet {
432
456
  );
433
457
  }
434
458
 
459
+ // Whether serializedOutput is the output an attestation declares: its width
460
+ // is attestedOutputLength and its hash attestedOutputHash. Both checks are
461
+ // needed, as the hash alone does not commit to the width (see
462
+ // calculateAttestedOutputHashV1). Proves nothing about the attestation
463
+ // itself: the length and hash must come from a RespondBidirectionalEvent that
464
+ // passed verifyRespondBidirectionalAttestationV1, read from the event or
465
+ // from a copy the contract stored when it verified the event.
466
+ export pure circuit verifyAttestedOutputV1<#serializedOutputLength>(
467
+ serializedOutput: Bytes<serializedOutputLength>,
468
+ attestedOutputLength: Uint<64>,
469
+ attestedOutputHash: Bytes<32>
470
+ ): Boolean {
471
+ const lengthMatches = attestedOutputLength == serializedOutputLength;
472
+ const hashMatches = attestedOutputHash == calculateAttestedOutputHashV1<serializedOutputLength>(serializedOutput);
473
+ return lengthMatches && hashMatches;
474
+ }
475
+
476
+ // Verifies a RespondBidirectionalEvent against its execution output and MPC
477
+ // response key: the output is the one the event attests (verifyAttestedOutputV1
478
+ // against the event's length and hash) and the event's signature verifies
479
+ // (verifyRespondBidirectionalAttestationV1, whose byte-order and abort
480
+ // contract applies here too). Client contracts run this before consuming
481
+ // outputs, as the singleton emits responses unverified. The caller supplies
482
+ // serializedOutput at its exact unpadded width.
483
+ export pure circuit verifyRespondBidirectionalEventV1<#serializedOutputLength>(
484
+ serializedOutput: Bytes<serializedOutputLength>,
485
+ respondBidirectionalEvent: RespondBidirectionalEventV1,
486
+ mpcResponseKey: Secp256k1Point
487
+ ): Boolean {
488
+ // Both checks run unconditionally: the signature check's scalar casts
489
+ // cannot sit in the short-circuited operand of &&.
490
+ const outputMatches = verifyAttestedOutputV1<serializedOutputLength>(
491
+ serializedOutput,
492
+ respondBidirectionalEvent.serializedOutputLength,
493
+ respondBidirectionalEvent.outputHash
494
+ );
495
+ const attested = verifyRespondBidirectionalAttestationV1(respondBidirectionalEvent, mpcResponseKey);
496
+ return outputMatches && attested;
497
+ }
498
+
435
499
  // ---- EVM Type2 Transaction Parameters --------------------------------------------------------------
436
500
 
437
501
  // The caip2Id of every request targeting Ethereum, whichever Ethereum network the
@@ -441,8 +505,8 @@ module Signet {
441
505
  // the network's own CAIP-2 id included. EvmType2TxParams.chainId is what binds
442
506
  // the signed transaction to one network. Ethereum only: another EVM chain, such as
443
507
  // BNB Smart Chain, is a separate chain to the MPC, never one of Ethereum's networks.
444
- export pure circuit ethereumCaip2Id(): Bytes<32> {
445
- return pad(32, "eip155:1");
508
+ export pure circuit ethereumCaip2Id(): Bytes<64> {
509
+ return pad(64, "eip155:1");
446
510
  }
447
511
 
448
512
  // The EVM transaction to be signed, decomposed into typed fields