@sig-net/midnight 0.24.0-rc.2 → 0.24.0-rc.4
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.
- package/README.md +26 -21
- package/dist/compact-descriptors.d.ts +23 -8
- package/dist/compact-descriptors.d.ts.map +1 -1
- package/dist/compact-descriptors.js +34 -31
- package/dist/compact-descriptors.js.map +1 -1
- package/dist/constants.d.ts +1 -1
- package/dist/constants.js +1 -1
- package/dist/ecdsa-attestation.d.ts +6 -6
- package/dist/ecdsa-attestation.d.ts.map +1 -1
- package/dist/ecdsa-attestation.js +7 -5
- package/dist/ecdsa-attestation.js.map +1 -1
- package/dist/index.d.ts +3 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +3 -3
- package/dist/index.js.map +1 -1
- package/dist/managed/compiler/contract-info.json +1580 -122
- package/dist/managed/compiler/contract-manifest.json +8 -8
- package/dist/managed/contract/index.d.ts +352 -0
- package/dist/managed/contract/index.js +1042 -208
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/mpc-output-cache.js +2 -2
- package/dist/mpc-output-cache.js.map +1 -1
- package/dist/signature-requests-state-reader.js +3 -3
- package/dist/signature-requests-state-reader.js.map +1 -1
- package/dist/signet-contract-events.d.ts +5 -5
- package/dist/signet-contract-events.d.ts.map +1 -1
- package/dist/signet-evtype2tx-record-decoding.d.ts.map +1 -1
- package/dist/signet-evtype2tx-record-decoding.js +5 -4
- package/dist/signet-evtype2tx-record-decoding.js.map +1 -1
- package/dist/signet-evtype2tx-requests.d.ts +17 -12
- package/dist/signet-evtype2tx-requests.d.ts.map +1 -1
- package/dist/signet-evtype2tx-requests.js +92 -16
- package/dist/signet-evtype2tx-requests.js.map +1 -1
- package/dist/signet-request-id.d.ts +5 -3
- package/dist/signet-request-id.d.ts.map +1 -1
- package/dist/signet-request-id.js +20 -12
- package/dist/signet-request-id.js.map +1 -1
- package/dist/signet-requests.d.ts +30 -34
- package/dist/signet-requests.d.ts.map +1 -1
- package/dist/signet-requests.js +15 -23
- package/dist/signet-requests.js.map +1 -1
- package/package.json +2 -2
- package/src/Signet.compact +204 -92
- package/src/circuits.compact +61 -9
|
@@ -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": "
|
|
7
|
+
"mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MC0NE,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;MAID,MAAA,aAKC;;OAAA;MDxoBH,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,wCAIC;;OAAA;MAED,MAAA,wCAIC;;OAAA;MAED,MAAA,gCAUC;;OAAA;MAED,MAAA,iCAUC;;OAAA;MAED,MAAA,6CAgBC;;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;;;EDwJE,AAAA,oCAmCC,CAlCC,YAAmB;uCACnB,QAAuB;uCACvB,MAAe;uCACf,MAA2B;uCAC3B,aAAwB;uCACxB,UAAkB;uCAClB,eAAwB;uCACxB,eAA6B;uCAC7B,QAAiB;uCACjB,6BAA4D;uCAC5D,4BAA0D;;4BAEnD,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;yCAC3B,4BAA0B;GAE7B;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,SAAsK;4BAE/J,SAAO;;UACR,UAQL,iBAPa,SAAO;iCACX,SAAO;+BACT,SAAO;+BACP,SAAO;sCACA,SAAO;;qEAC8F,SAAO;wCAC1G,SAAO;wCAEI,UAAQ;GACrC;EAdD,AAAA,+BAcC,CAbC,SAAsK;4BAE/J,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;EAID,AAAA,gBAKC,CALiC,MAAe;;;6FAC9B,MAAI;;;;;;;UACf,MAAkC;;mFAAlB,MAAI;;;;4BACnB,MAAI,WAAkB,MAAI;;WAC1B,MAAI;GACZ;EDxoBH,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,2CAIC,CAHC,SAAoE;gDAEf,SAAO;GAC7D;EAED,AAAA,2CAIC,CAHC,SAAoE;gDAEf,SAAO;GAC7D;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,gDAgBC,CAfC,SAAoE;qDAGlE,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;qDACP,SAAO;GAEV;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECuEC,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;EAID,AAAA,aAKC;;;;UALiC,MAAe;;;;;;;;2CAAf,MAAe;GAKhD;EDxoBH,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,wCAIC;;;;UAHC,SAAoE;;;;;;;;sEAApE,SAAoE;GAGrE;EAED,AAAA,wCAIC;;;;UAHC,SAAoE;;;;;;;;sEAApE,SAAoE;GAGrE;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,6CAgBC;;;;UAfC,SAAoE;;;;;;;;2EAApE,SAAoE;GAerE;;;;;;"
|
|
8
8
|
}
|
package/dist/mpc-output-cache.js
CHANGED
|
@@ -2,8 +2,8 @@
|
|
|
2
2
|
// MPC attests for a bidirectional request, stored as one object per request
|
|
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
|
-
// outputs vary in size across requests, so the
|
|
6
|
-
//
|
|
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
|
|
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,
|
|
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;AAmB7F,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;;;;;;;;;OASG;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"}
|
|
@@ -14,10 +14,10 @@ import { decodeEvmType2SignBidirectionalEvent } from "./signet-evtype2tx-record-
|
|
|
14
14
|
import { calculateRequestId } from "./signet-request-id.js";
|
|
15
15
|
import { requestIdBytes, requestIdHex, requestIdType, TxParamType, } from "./signet-requests.js";
|
|
16
16
|
// Atom position of `txParamType` in a stored record: the chain-agnostic head
|
|
17
|
-
// of
|
|
18
|
-
//
|
|
17
|
+
// of SignBidirectionalEventV1 (keyVersion through txParamType) occupies the first
|
|
18
|
+
// 5 atoms whatever the decomposition, so the tag sits at the same index in
|
|
19
19
|
// every record.
|
|
20
|
-
const TX_PARAM_TYPE_ATOM =
|
|
20
|
+
const TX_PARAM_TYPE_ATOM = 4;
|
|
21
21
|
/**
|
|
22
22
|
* Decode a stored request record: read the `txParamType` tag and hand the
|
|
23
23
|
* cell to that decomposition's decoder, so a foreign param type fails by
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signature-requests-state-reader.js","sourceRoot":"","sources":["../src/signature-requests-state-reader.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,0EAA0E;AAC1E,4EAA4E;AAC5E,EAAE;AACF,6DAA6D;AAC7D,4EAA4E;AAC5E,0EAA0E;AAC1E,2DAA2D;AAI3D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAyB,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,oCAAoC,EAAE,MAAM,uCAAuC,CAAC;AAC7F,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,cAAc,EAEd,YAAY,EACZ,aAAa,EAGb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAE9B,6EAA6E;AAC7E,
|
|
1
|
+
{"version":3,"file":"signature-requests-state-reader.js","sourceRoot":"","sources":["../src/signature-requests-state-reader.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,0EAA0E;AAC1E,4EAA4E;AAC5E,EAAE;AACF,6DAA6D;AAC7D,4EAA4E;AAC5E,0EAA0E;AAC1E,2DAA2D;AAI3D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAyB,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,oCAAoC,EAAE,MAAM,uCAAuC,CAAC;AAC7F,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,cAAc,EAEd,YAAY,EACZ,aAAa,EAGb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAE9B,6EAA6E;AAC7E,kFAAkF;AAClF,2EAA2E;AAC3E,gBAAgB;AAChB,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAE7B;;;;;;;;;;GAUG;AACH,SAAS,4BAA4B,CAAC,IAAkB;IACtD,MAAM,IAAI,GAAG,gBAAgB,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,2BAA2B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,4BAA4B,CAClF,CAAC;IACJ,CAAC;IACD,uEAAuE;IACvE,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,WAAW,CAAC,QAAQ;YACvB,OAAO,oCAAoC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D;YACE,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAQD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iCAAiC,CAC/C,GAAqB,EACrB,iBAAoC;IAEpC,MAAM,GAAG,GAAG,qBAAqB,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC,KAAK,EAAE,CAAC;IAClE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,aAAa,GAAgC,IAAI,GAAG,EAAE,CAAC;IAC7D,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,YAAY,CAAC,aAAa,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAC7F,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,EAAE,aAAa,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAqB,EACrB,YAA+B,EAC/B,SAAuB;IAEvB,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,qBAAqB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC,CAAC,sCAAsC;IAC1D,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IACzB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC,CAAC,yCAAyC;IAC7D,CAAC;IACD,sEAAsE;IACtE,iEAAiE;IACjE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC;QACpB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACvD,SAAS,EAAE,aAAa,CAAC,SAAS,EAAE;KACrC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC,CAAC,wCAAwC;IAC5D,CAAC;IACD,IAAI,MAA8B,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC,CAAC,gDAAgD;IACpE,CAAC;IACD,IAAI,YAAY,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC,CAAC,kCAAkC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -149,12 +149,12 @@ export interface MpcSignature {
|
|
|
149
149
|
bigR: AffinePoint;
|
|
150
150
|
/** Signature scalar s, 32 big-endian bytes. */
|
|
151
151
|
s: Uint8Array;
|
|
152
|
-
/** Recovery
|
|
152
|
+
/** Recovery flag matching the supplied signature scalar: 0 or 1. */
|
|
153
153
|
recoveryId: bigint;
|
|
154
154
|
}
|
|
155
155
|
/**
|
|
156
156
|
* The MPC's signature over the requested EVM transaction (Compact
|
|
157
|
-
* `
|
|
157
|
+
* `SignatureRespondedEventV1`). Emitted UNVERIFIED: authenticity comes from
|
|
158
158
|
* `SignetRequestResponseReader.getVerifiedSignatureRespondedEvent`.
|
|
159
159
|
*/
|
|
160
160
|
export interface SignatureRespondedEvent {
|
|
@@ -165,11 +165,11 @@ export interface SignatureRespondedEvent {
|
|
|
165
165
|
}
|
|
166
166
|
/**
|
|
167
167
|
* The MPC's respond-bidirectional attestation of a request's remote EVM
|
|
168
|
-
* execution (Compact `
|
|
168
|
+
* execution (Compact `RespondBidirectionalEventV1`, in declaration order): the
|
|
169
169
|
* ECDSA signature over the attestation digest
|
|
170
170
|
* (`calculateSignetAttestationDigest`) with everything that digest commits to
|
|
171
171
|
* except the output, which travels off chain. Emitted UNVERIFIED: verify
|
|
172
|
-
* in-circuit via `
|
|
172
|
+
* in-circuit via `verifyRespondBidirectionalEventV1` or off chain via
|
|
173
173
|
* `verifyRespondBidirectionalSignature`. Mint one with the
|
|
174
174
|
* `@sig-net/midnight/testing` entry point's `attestRespondBidirectional`.
|
|
175
175
|
*/
|
|
@@ -278,7 +278,7 @@ export interface SignBidirectionalNotification {
|
|
|
278
278
|
*/
|
|
279
279
|
callerAddress: string;
|
|
280
280
|
/**
|
|
281
|
-
* Resolved ledger-tree path of the `
|
|
281
|
+
* Resolved ledger-tree path of the `SignBidirectionalEventMapV1` in
|
|
282
282
|
* {@link callerAddress}, as compactc records it in that contract's
|
|
283
283
|
* `contract-info.json` (`"index"`): `[4]` for a flat contract's field 4,
|
|
284
284
|
* `[1, 14]` once chunking applies. Followed node for node by
|
|
@@ -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;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe;IACjF;;;;;;;;OAQG;IACH,kBAAkB,CAAC,eAAe,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;CACpE;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;AAmKD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,mBAAmB,GAC1B,iBAAiB,CAAC,sBAAsB,CAAC,CAkB3C;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,
|
|
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;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe;IACjF;;;;;;;;OAQG;IACH,kBAAkB,CAAC,eAAe,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;CACpE;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;AAmKD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,mBAAmB,GAC1B,iBAAiB,CAAC,sBAAsB,CAAC,CAkB3C;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;;;;OAIG;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 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-evtype2tx-record-decoding.d.ts","sourceRoot":"","sources":["../src/signet-evtype2tx-record-decoding.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIpE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;
|
|
1
|
+
{"version":3,"file":"signet-evtype2tx-record-decoding.d.ts","sourceRoot":"","sources":["../src/signet-evtype2tx-record-decoding.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIpE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAsFnE;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oCAAoC,CAClD,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,GACX,sBAAsB,CAsBxB"}
|
|
@@ -8,13 +8,14 @@
|
|
|
8
8
|
import { declaredWidths, decodeExactly } from "./compact-descriptors.js";
|
|
9
9
|
import { signBidirectionalEventDescriptor } from "./signet-evtype2tx-requests.js";
|
|
10
10
|
// Atom layout of an evmType2 request record: the fixed atom count, the
|
|
11
|
-
// fixed head before the calldata words
|
|
12
|
-
//
|
|
11
|
+
// fixed head before the calldata words (keyVersion through calldata.noWords)
|
|
12
|
+
// and the fixed tail (executionDest, signatureDest, params and the two
|
|
13
|
+
// schemas). A stored cell holds
|
|
13
14
|
// EVM_TYPE2_FIXED_ATOMS + maxCalldataWords
|
|
14
15
|
// + maxAccessListEntries * (2 + maxStorageKeysPerEntry) atoms.
|
|
15
16
|
const EVM_TYPE2_FIXED_ATOMS = 21;
|
|
16
|
-
const EVM_TYPE2_HEAD_ATOMS =
|
|
17
|
-
const EVM_TYPE2_TAIL_ATOMS =
|
|
17
|
+
const EVM_TYPE2_HEAD_ATOMS = 15;
|
|
18
|
+
const EVM_TYPE2_TAIL_ATOMS = 5;
|
|
18
19
|
/**
|
|
19
20
|
* Recover the sizing parameters the requester's contract was compiled with
|
|
20
21
|
* (`#maxCalldataWords`, `#maxAccessListEntries`, `#maxStorageKeysPerEntry`)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-evtype2tx-record-decoding.js","sourceRoot":"","sources":["../src/signet-evtype2tx-record-decoding.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,2EAA2E;AAC3E,2EAA2E;AAC3E,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,uDAAuD;AAIvD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AAGlF,uEAAuE;AACvE,
|
|
1
|
+
{"version":3,"file":"signet-evtype2tx-record-decoding.js","sourceRoot":"","sources":["../src/signet-evtype2tx-record-decoding.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,2EAA2E;AAC3E,2EAA2E;AAC3E,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,uDAAuD;AAIvD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AAGlF,uEAAuE;AACvE,6EAA6E;AAC7E,uEAAuE;AACvE,gCAAgC;AAChC,2CAA2C;AAC3C,iEAAiE;AACjE,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAChC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAS/B;;;;;;;;;;;GAWG;AACH,SAAS,kBAAkB,CAAC,MAAyB,EAAE,IAAY;IACjE,IAAI,MAAM,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,+BAA+B;YACjE,GAAG,MAAM,CAAC,qBAAqB,CAAC,wBAAwB,CAC3D,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,oBAAoB,CAAC;IAElD,IAAI,KAAK,GAAG,oBAAoB,CAAC;IACjC,OAAO,KAAK,GAAG,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QAC5C,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,MAAM,gBAAgB,GAAG,KAAK,GAAG,oBAAoB,CAAC;IAEtD,MAAM,QAAQ,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC1F,MAAM,IAAI,KAAK,CACb,uDAAuD,MAAM,CAAC,gBAAgB,CAAC,GAAG;YAChF,yBAAyB,KAAK,EAAE,CACnC,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,CAAC;IAEX,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;IAC3E,IAAI,sBAA8B,CAAC;IACnC,IAAI,oBAAoB,KAAK,CAAC,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,yBAAyB;gBAC5E,yBAAyB,CAC5B,CAAC;QACJ,CAAC;QACD,sBAAsB,GAAG,CAAC,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,IAAI,MAAM,CAAC,MAAM,GAAG,oBAAoB,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CACb,4BAA4B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,8BAA8B;gBAC7E,UAAU,MAAM,CAAC,oBAAoB,CAAC,UAAU,CACnD,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,oBAAoB,CAAC;QACtD,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,oEAAoE;gBAClE,OAAO,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAClC,CAAC;QACJ,CAAC;QACD,sBAAsB,GAAG,QAAQ,GAAG,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oCAAoC,CAClD,IAAkB,EAClB,IAAY;IAEZ,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,wBAAwB,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,uBAAuB,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,wBAAwB,KAAK,SAAS,IAAI,uBAAuB,KAAK,SAAS,EAAE,CAAC;QACpF,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,oCAAoC;YACtE,mEAAmE,CACtE,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAClB,gCAAgC,CAC9B,UAAU,CAAC,gBAAgB,EAC3B,UAAU,CAAC,oBAAoB,EAC/B,UAAU,CAAC,sBAAsB,EACjC,wBAAwB,EACxB,uBAAuB,CACxB,EACD,IAAI,CAAC,KAAK,EACV,IAAI,CACL,CAAC;AACJ,CAAC"}
|
|
@@ -89,17 +89,6 @@ export declare function evmAccessListEntryDescriptor(maxStorageKeys: number): Co
|
|
|
89
89
|
* @returns The tx-params descriptor.
|
|
90
90
|
*/
|
|
91
91
|
export declare function evmType2TxParamsDescriptor(maxCalldataWords: number, maxAccessListEntries: number, maxStorageKeysPerEntry: number): CompactType<EvmType2TxParams>;
|
|
92
|
-
/**
|
|
93
|
-
* Descriptor of {@link EvmType2TxParams} at the capacity instantiation a
|
|
94
|
-
* stored value itself exhibits: vector capacities are read off the value's
|
|
95
|
-
* array lengths, which carry the contract's compile-time throttles. For
|
|
96
|
-
* hashing or re-encoding a record already decoded at full capacity (see
|
|
97
|
-
* `calculateRequestId` in signet-request-id.ts).
|
|
98
|
-
*
|
|
99
|
-
* @param txParams - The transaction decomposition to size against.
|
|
100
|
-
* @returns The tx-params descriptor at the value's capacities.
|
|
101
|
-
*/
|
|
102
|
-
export declare function evmType2TxParamsDescriptorOf(txParams: EvmType2TxParams): CompactType<EvmType2TxParams>;
|
|
103
92
|
/**
|
|
104
93
|
* Descriptor of {@link SignBidirectionalEvent} at one EVM Type-2 capacity
|
|
105
94
|
* instantiation.
|
|
@@ -164,6 +153,22 @@ export declare function abiWordToUint128(word: Uint8Array): bigint;
|
|
|
164
153
|
* @throws {Error} If the word is not 32 bytes or is not a canonical Boolean.
|
|
165
154
|
*/
|
|
166
155
|
export declare function abiWordToBool(word: Uint8Array): boolean;
|
|
156
|
+
/**
|
|
157
|
+
* Digest of an {@link EvmType2TxParams} over the bytes that reach the signed
|
|
158
|
+
* transaction, the TS twin of the `calculateEvmType2TxParamsDigestV1` circuit
|
|
159
|
+
* (lockstep-tested against its fixed-width oracles): the scalar fields, then
|
|
160
|
+
* the calldata words, access-list entries and storage keys up to their
|
|
161
|
+
* declared counts, each count hashed beside its entries. Slots past a count
|
|
162
|
+
* are skipped and an absent calldata contributes only its absence, so one
|
|
163
|
+
* transaction has one digest whatever the capacities and whatever bytes sit
|
|
164
|
+
* in unused slots. This is what {@link calculateRequestId} hashes in place of
|
|
165
|
+
* the parameters.
|
|
166
|
+
*
|
|
167
|
+
* @param txParams - The transaction decomposition to digest, at any capacity.
|
|
168
|
+
* @returns The 32-byte digest.
|
|
169
|
+
* @throws {Error} When a count exceeds its capacity.
|
|
170
|
+
*/
|
|
171
|
+
export declare function calculateEvmType2TxParamsDigest(txParams: EvmType2TxParams): Uint8Array;
|
|
167
172
|
/**
|
|
168
173
|
* Assemble the raw calldata a request's words describe:
|
|
169
174
|
* `data = selector || words[0..noWords]`, VERBATIM (see {@link EvmCalldata}).
|
|
@@ -182,7 +187,7 @@ export declare function assembleCalldata(calldata: Maybe<EvmCalldata>): string;
|
|
|
182
187
|
* @param request - The on-ledger request record.
|
|
183
188
|
* @returns The unsigned ethers transaction (`unsignedHash` is the digest the
|
|
184
189
|
* MPC signs).
|
|
185
|
-
* @throws {Error} If a calldata
|
|
190
|
+
* @throws {Error} If a calldata count overruns its stored slots.
|
|
186
191
|
*/
|
|
187
192
|
export declare function signBidirectionalEventToUnsignedEvmTransaction(request: SignBidirectionalEvent): Transaction;
|
|
188
193
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-evtype2tx-requests.d.ts","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAUA,OAAO,
|
|
1
|
+
{"version":3,"file":"signet-evtype2tx-requests.d.ts","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAc,WAAW,EAAE,MAAM,QAAQ,CAAC;AAGjD,OAAO,EAUL,KAAK,KAAK,EAKX,MAAM,0BAA0B,CAAC;AAGlC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EACL,KAAK,sBAAsB,EAE5B,MAAM,sBAAsB,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,QAAQ,EAAE,UAAU,CAAC;IACrB,6EAA6E;IAC7E,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,iEAAiE;IACjE,OAAO,EAAE,UAAU,CAAC;IACpB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,EAAE,EAAE,UAAU,CAAC;IACf,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7B,4DAA4D;IAC5D,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mEAAmE;IACnE,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAMD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAMhF;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,cAAc,EAAE,MAAM,GACrB,WAAW,CAAC,kBAAkB,CAAC,CAMjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,gBAAgB,EAAE,MAAM,EACxB,oBAAoB,EAAE,MAAM,EAC5B,sBAAsB,EAAE,MAAM,GAC7B,WAAW,CAAC,gBAAgB,CAAC,CAiB/B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gCAAgC,CAC9C,gBAAgB,EAAE,MAAM,EACxB,oBAAoB,EAAE,MAAM,EAC5B,sBAAsB,EAAE,MAAM,EAC9B,wBAAwB,EAAE,MAAM,EAChC,uBAAuB,EAAE,MAAM,GAC9B,WAAW,CAAC,sBAAsB,CAAC,CAMrC;AAID;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAExD;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,GAAG,UAAU,CAOjE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAItD;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAYzD;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CASvD;AA2CD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,+BAA+B,CAAC,QAAQ,EAAE,gBAAgB,GAAG,UAAU,CAiDtF;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,MAAM,CAUrE;AAoBD;;;;;;;;;;GAUG;AACH,wBAAgB,8CAA8C,CAC5D,OAAO,EAAE,sBAAsB,GAC9B,WAAW,CAcb;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,4CAA4C,CAC1D,OAAO,EAAE,sBAAsB,EAC/B,QAAQ,EAAE,uBAAuB,GAChC,WAAW,CAIb"}
|
|
@@ -7,11 +7,12 @@
|
|
|
7
7
|
// Words are stored ABI-ready: {@link assembleCalldata} concatenates
|
|
8
8
|
// `selector || words` VERBATIM, so the transaction the MPC signs carries the
|
|
9
9
|
// contract-stored bytes untouched.
|
|
10
|
-
import { CompactTypeVector } from "@midnight-ntwrk/compact-runtime";
|
|
10
|
+
import { CompactTypeVector, transientHash, upgradeFromTransient, } from "@midnight-ntwrk/compact-runtime";
|
|
11
11
|
import { getAddress, Transaction } from "ethers";
|
|
12
12
|
import { bigintToBytes32BE, bytesToHex } from "./byte-codecs.js";
|
|
13
|
-
import { BYTES_4, BYTES_20, BYTES_32, compactMaybeDescriptor, compactStructDescriptor, UINT_8, UINT_16, UINT_64, UINT_128, } from "./compact-descriptors.js";
|
|
13
|
+
import { BOOLEAN, BYTES_4, BYTES_20, BYTES_32, compactMaybeDescriptor, compactStructDescriptor, compactTupleDescriptor, FIELD, HASH_DOMAIN, UINT_8, UINT_16, UINT_64, UINT_128, } from "./compact-descriptors.js";
|
|
14
14
|
import { signatureRespondedEventToSignature } from "./ecdsa-attestation.js";
|
|
15
|
+
import { HashDomain } from "./managed/contract/index.js";
|
|
15
16
|
import { signBidirectionalEventDescriptorWith, } from "./signet-requests.js";
|
|
16
17
|
// ---- Runtime descriptors (see the deviation note in signet-requests.ts) ----
|
|
17
18
|
// Base-type descriptors come from compact-descriptors.ts at the literals the
|
|
@@ -69,19 +70,6 @@ export function evmType2TxParamsDescriptor(maxCalldataWords, maxAccessListEntrie
|
|
|
69
70
|
accessList: new CompactTypeVector(maxAccessListEntries, evmAccessListEntryDescriptor(maxStorageKeysPerEntry)),
|
|
70
71
|
});
|
|
71
72
|
}
|
|
72
|
-
/**
|
|
73
|
-
* Descriptor of {@link EvmType2TxParams} at the capacity instantiation a
|
|
74
|
-
* stored value itself exhibits: vector capacities are read off the value's
|
|
75
|
-
* array lengths, which carry the contract's compile-time throttles. For
|
|
76
|
-
* hashing or re-encoding a record already decoded at full capacity (see
|
|
77
|
-
* `calculateRequestId` in signet-request-id.ts).
|
|
78
|
-
*
|
|
79
|
-
* @param txParams - The transaction decomposition to size against.
|
|
80
|
-
* @returns The tx-params descriptor at the value's capacities.
|
|
81
|
-
*/
|
|
82
|
-
export function evmType2TxParamsDescriptorOf(txParams) {
|
|
83
|
-
return evmType2TxParamsDescriptor(txParams.calldata.value.words.length, txParams.accessList.length, txParams.accessList[0]?.storageKeys.length ?? 0);
|
|
84
|
-
}
|
|
85
73
|
/**
|
|
86
74
|
* Descriptor of {@link SignBidirectionalEvent} at one EVM Type-2 capacity
|
|
87
75
|
* instantiation.
|
|
@@ -183,6 +171,94 @@ export function abiWordToBool(word) {
|
|
|
183
171
|
}
|
|
184
172
|
return low === 1;
|
|
185
173
|
}
|
|
174
|
+
/** The digest's head tuple: the scalar fields, the calldata presence, selector and count, the entry count. */
|
|
175
|
+
const EVM_TYPE2_DIGEST_HEAD = compactTupleDescriptor([
|
|
176
|
+
HASH_DOMAIN,
|
|
177
|
+
UINT_64,
|
|
178
|
+
UINT_64,
|
|
179
|
+
UINT_128,
|
|
180
|
+
UINT_128,
|
|
181
|
+
UINT_64,
|
|
182
|
+
BYTES_20,
|
|
183
|
+
UINT_128,
|
|
184
|
+
BOOLEAN,
|
|
185
|
+
BYTES_4,
|
|
186
|
+
UINT_16,
|
|
187
|
+
UINT_8,
|
|
188
|
+
]);
|
|
189
|
+
/** One fold step over a calldata word or storage key. */
|
|
190
|
+
const DOMAIN_FIELD_BYTES_32 = compactTupleDescriptor([
|
|
191
|
+
HASH_DOMAIN,
|
|
192
|
+
FIELD,
|
|
193
|
+
BYTES_32,
|
|
194
|
+
]);
|
|
195
|
+
/** One fold step over a used access-list entry with its keys' digest. */
|
|
196
|
+
const EVM_TYPE2_DIGEST_ENTRY = compactTupleDescriptor([HASH_DOMAIN, FIELD, BYTES_20, UINT_8, FIELD]);
|
|
197
|
+
/**
|
|
198
|
+
* Digest of an {@link EvmType2TxParams} over the bytes that reach the signed
|
|
199
|
+
* transaction, the TS twin of the `calculateEvmType2TxParamsDigestV1` circuit
|
|
200
|
+
* (lockstep-tested against its fixed-width oracles): the scalar fields, then
|
|
201
|
+
* the calldata words, access-list entries and storage keys up to their
|
|
202
|
+
* declared counts, each count hashed beside its entries. Slots past a count
|
|
203
|
+
* are skipped and an absent calldata contributes only its absence, so one
|
|
204
|
+
* transaction has one digest whatever the capacities and whatever bytes sit
|
|
205
|
+
* in unused slots. This is what {@link calculateRequestId} hashes in place of
|
|
206
|
+
* the parameters.
|
|
207
|
+
*
|
|
208
|
+
* @param txParams - The transaction decomposition to digest, at any capacity.
|
|
209
|
+
* @returns The 32-byte digest.
|
|
210
|
+
* @throws {Error} When a count exceeds its capacity.
|
|
211
|
+
*/
|
|
212
|
+
export function calculateEvmType2TxParamsDigest(txParams) {
|
|
213
|
+
const { calldata, accessListEntryCount, accessList } = txParams;
|
|
214
|
+
const noWords = calldata.is_some ? calldata.value.noWords : 0n;
|
|
215
|
+
const selector = calldata.is_some ? calldata.value.selector : new Uint8Array(4);
|
|
216
|
+
if (noWords > BigInt(calldata.value.words.length)) {
|
|
217
|
+
throw new Error("calldata noWords exceeds capacity");
|
|
218
|
+
}
|
|
219
|
+
if (accessListEntryCount > BigInt(accessList.length)) {
|
|
220
|
+
throw new Error("accessListEntryCount exceeds capacity");
|
|
221
|
+
}
|
|
222
|
+
const head = transientHash(EVM_TYPE2_DIGEST_HEAD, [
|
|
223
|
+
HashDomain.evmType2TxHeader,
|
|
224
|
+
txParams.chainId,
|
|
225
|
+
txParams.nonce,
|
|
226
|
+
txParams.maxPriorityFeePerGas,
|
|
227
|
+
txParams.maxFeePerGas,
|
|
228
|
+
txParams.gasLimit,
|
|
229
|
+
txParams.to,
|
|
230
|
+
txParams.value,
|
|
231
|
+
calldata.is_some,
|
|
232
|
+
selector,
|
|
233
|
+
noWords,
|
|
234
|
+
accessListEntryCount,
|
|
235
|
+
]);
|
|
236
|
+
let acc = head;
|
|
237
|
+
for (const word of calldata.value.words.slice(0, Number(noWords))) {
|
|
238
|
+
acc = transientHash(DOMAIN_FIELD_BYTES_32, [HashDomain.evmType2TxWord, acc, word]);
|
|
239
|
+
}
|
|
240
|
+
for (const entry of accessList.slice(0, Number(accessListEntryCount))) {
|
|
241
|
+
if (entry.storageKeyCount > BigInt(entry.storageKeys.length)) {
|
|
242
|
+
throw new Error("a used entry's storageKeyCount exceeds capacity");
|
|
243
|
+
}
|
|
244
|
+
let keysAcc = 0n;
|
|
245
|
+
for (const key of entry.storageKeys.slice(0, Number(entry.storageKeyCount))) {
|
|
246
|
+
keysAcc = transientHash(DOMAIN_FIELD_BYTES_32, [
|
|
247
|
+
HashDomain.evmType2TxStorageKey,
|
|
248
|
+
keysAcc,
|
|
249
|
+
key,
|
|
250
|
+
]);
|
|
251
|
+
}
|
|
252
|
+
acc = transientHash(EVM_TYPE2_DIGEST_ENTRY, [
|
|
253
|
+
HashDomain.evmType2TxAccessEntry,
|
|
254
|
+
acc,
|
|
255
|
+
entry.address,
|
|
256
|
+
entry.storageKeyCount,
|
|
257
|
+
keysAcc,
|
|
258
|
+
]);
|
|
259
|
+
}
|
|
260
|
+
return upgradeFromTransient(acc);
|
|
261
|
+
}
|
|
186
262
|
/**
|
|
187
263
|
* Assemble the raw calldata a request's words describe:
|
|
188
264
|
* `data = selector || words[0..noWords]`, VERBATIM (see {@link EvmCalldata}).
|
|
@@ -226,7 +302,7 @@ function decodeAccessList(txParams) {
|
|
|
226
302
|
* @param request - The on-ledger request record.
|
|
227
303
|
* @returns The unsigned ethers transaction (`unsignedHash` is the digest the
|
|
228
304
|
* MPC signs).
|
|
229
|
-
* @throws {Error} If a calldata
|
|
305
|
+
* @throws {Error} If a calldata count overruns its stored slots.
|
|
230
306
|
*/
|
|
231
307
|
export function signBidirectionalEventToUnsignedEvmTransaction(request) {
|
|
232
308
|
const { txParams } = request;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-evtype2tx-requests.js","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,sEAAsE;AACtE,6EAA6E;AAC7E,sEAAsE;AACtE,wBAAwB;AACxB,EAAE;AACF,oEAAoE;AACpE,6EAA6E;AAC7E,mCAAmC;AAEnC,OAAO,
|
|
1
|
+
{"version":3,"file":"signet-evtype2tx-requests.js","sourceRoot":"","sources":["../src/signet-evtype2tx-requests.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,sEAAsE;AACtE,6EAA6E;AAC7E,sEAAsE;AACtE,wBAAwB;AACxB,EAAE;AACF,oEAAoE;AACpE,6EAA6E;AAC7E,mCAAmC;AAEnC,OAAO,EAEL,iBAAiB,EACjB,aAAa,EACb,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAEjD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EACL,OAAO,EACP,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,EACL,WAAW,EAEX,MAAM,EACN,OAAO,EACP,OAAO,EACP,QAAQ,GACT,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,kCAAkC,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EAEL,oCAAoC,GACrC,MAAM,sBAAsB,CAAC;AAgE9B,+EAA+E;AAC/E,6EAA6E;AAC7E,kFAAkF;AAElF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,OAAO,uBAAuB,CAAc;QAC1C,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,IAAI,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC;KACjD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,cAAsB;IAEtB,OAAO,uBAAuB,CAAqB;QACjD,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE,MAAM;QACvB,WAAW,EAAE,IAAI,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC;KAC7D,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CACxC,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B;IAE9B,8EAA8E;IAC9E,OAAO,uBAAuB,CAAmB;QAC/C,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,OAAO;QACd,oBAAoB,EAAE,QAAQ;QAC9B,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,OAAO;QACjB,EAAE,EAAE,QAAQ;QACZ,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,sBAAsB,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;QACzE,oBAAoB,EAAE,MAAM;QAC5B,UAAU,EAAE,IAAI,iBAAiB,CAC/B,oBAAoB,EACpB,4BAA4B,CAAC,sBAAsB,CAAC,CACrD;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gCAAgC,CAC9C,gBAAwB,EACxB,oBAA4B,EAC5B,sBAA8B,EAC9B,wBAAgC,EAChC,uBAA+B;IAE/B,OAAO,oCAAoC,CACzC,0BAA0B,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,sBAAsB,CAAC,EAC1F,wBAAwB,EACxB,uBAAuB,CACxB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAmB;IACnD,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QACzC,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,8GAA8G;AAC9G,MAAM,qBAAqB,GAAG,sBAAsB,CAelD;IACA,WAAW;IACX,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,OAAO;IACP,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AACH,yDAAyD;AACzD,MAAM,qBAAqB,GAAG,sBAAsB,CAAmC;IACrF,WAAW;IACX,KAAK;IACL,QAAQ;CACT,CAAC,CAAC;AACH,yEAAyE;AACzE,MAAM,sBAAsB,GAAG,sBAAsB,CAEnD,CAAC,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAEjD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,+BAA+B,CAAC,QAA0B;IACxE,MAAM,EAAE,QAAQ,EAAE,oBAAoB,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC;IAChE,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAChF,IAAI,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,oBAAoB,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,qBAAqB,EAAE;QAChD,UAAU,CAAC,gBAAgB;QAC3B,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,KAAK;QACd,QAAQ,CAAC,oBAAoB;QAC7B,QAAQ,CAAC,YAAY;QACrB,QAAQ,CAAC,QAAQ;QACjB,QAAQ,CAAC,EAAE;QACX,QAAQ,CAAC,KAAK;QACd,QAAQ,CAAC,OAAO;QAChB,QAAQ;QACR,OAAO;QACP,oBAAoB;KACrB,CAAC,CAAC;IACH,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,GAAG,aAAa,CAAC,qBAAqB,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC;QACtE,IAAI,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;YAC5E,OAAO,GAAG,aAAa,CAAC,qBAAqB,EAAE;gBAC7C,UAAU,CAAC,oBAAoB;gBAC/B,OAAO;gBACP,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,GAAG,GAAG,aAAa,CAAC,sBAAsB,EAAE;YAC1C,UAAU,CAAC,qBAAqB;YAChC,GAAG;YACH,KAAK,CAAC,OAAO;YACb,KAAK,CAAC,eAAe;YACrB,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IACD,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAA4B;IAC3D,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACpD,IAAI,IAAI,GAAG,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACnD,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CACvB,QAA0B;IAE1B,OAAO,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACzF,OAAO,EAAE,UAAU,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,WAAW,EAAE,KAAK,CAAC,WAAW;aAC3B,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;aACvC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;KACxC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8CAA8C,CAC5D,OAA+B;IAE/B,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC7B,OAAO,WAAW,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,EAAE,EAAE,UAAU,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,UAAU,EAAE,gBAAgB,CAAC,QAAQ,CAAC;QACtC,IAAI,EAAE,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,4CAA4C,CAC1D,OAA+B,EAC/B,QAAiC;IAEjC,MAAM,WAAW,GAAG,8CAA8C,CAAC,OAAO,CAAC,CAAC;IAC5E,WAAW,CAAC,SAAS,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
@@ -1,13 +1,15 @@
|
|
|
1
1
|
import { type RequestId, type SignBidirectionalEvent } from "./signet-requests.ts";
|
|
2
2
|
/**
|
|
3
3
|
* Canonical id of a signet request: the transientHash (Poseidon) of the
|
|
4
|
-
* record's {@link RequestIdPreimage}
|
|
5
|
-
*
|
|
4
|
+
* record's {@link RequestIdPreimage} prefixed with {@link HashDomain.requestId},
|
|
5
|
+
* with the transaction entering as its decomposition's digest
|
|
6
|
+
* ({@link calculateEvmType2TxParamsDigest} for evmType2), so the id ignores
|
|
7
|
+
* the record's capacities and unused slots.
|
|
6
8
|
*
|
|
7
9
|
* @param request - The full event record (contract-shaped, all slots).
|
|
8
10
|
* @returns The 32-byte request id, the record's ledger map key.
|
|
9
11
|
* @throws {Error} If the record's `txParamType` names a decomposition this
|
|
10
|
-
* computation has no
|
|
12
|
+
* computation has no digest for, or a count overruns its capacity.
|
|
11
13
|
*/
|
|
12
14
|
export declare function calculateRequestId(request: SignBidirectionalEvent): RequestId;
|
|
13
15
|
//# sourceMappingURL=signet-request-id.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-request-id.d.ts","sourceRoot":"","sources":["../src/signet-request-id.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"signet-request-id.d.ts","sourceRoot":"","sources":["../src/signet-request-id.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,KAAK,SAAS,EAGd,KAAK,sBAAsB,EAE5B,MAAM,sBAAsB,CAAC;AAO9B;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,sBAAsB,GAAG,SAAS,CAmB7E"}
|
|
@@ -1,20 +1,28 @@
|
|
|
1
1
|
// The signet request id computation: the TS twin of Signet.compact's
|
|
2
|
-
// `
|
|
3
|
-
// signet-requests.ts). Chain-agnostic entry point that
|
|
4
|
-
//
|
|
5
|
-
//
|
|
2
|
+
// `calculateEvmType2RequestIdV1` circuit (see the deviation note in
|
|
3
|
+
// signet-requests.ts). Chain-agnostic entry point that digests each record's
|
|
4
|
+
// transaction by its `txParamType` tag, so every decomposition mints ids
|
|
5
|
+
// through this one function.
|
|
6
6
|
import { transientHash, upgradeFromTransient } from "@midnight-ntwrk/compact-runtime";
|
|
7
|
-
import {
|
|
8
|
-
import {
|
|
7
|
+
import { compactTupleDescriptor, HASH_DOMAIN } from "./compact-descriptors.js";
|
|
8
|
+
import { HashDomain } from "./managed/contract/index.js";
|
|
9
|
+
import { calculateEvmType2TxParamsDigest } from "./signet-evtype2tx-requests.js";
|
|
10
|
+
import { requestIdPreimageDescriptor, TxParamType, } from "./signet-requests.js";
|
|
11
|
+
const REQUEST_ID_HASH_PREIMAGE = compactTupleDescriptor([
|
|
12
|
+
HASH_DOMAIN,
|
|
13
|
+
requestIdPreimageDescriptor,
|
|
14
|
+
]);
|
|
9
15
|
/**
|
|
10
16
|
* Canonical id of a signet request: the transientHash (Poseidon) of the
|
|
11
|
-
* record's {@link RequestIdPreimage}
|
|
12
|
-
*
|
|
17
|
+
* record's {@link RequestIdPreimage} prefixed with {@link HashDomain.requestId},
|
|
18
|
+
* with the transaction entering as its decomposition's digest
|
|
19
|
+
* ({@link calculateEvmType2TxParamsDigest} for evmType2), so the id ignores
|
|
20
|
+
* the record's capacities and unused slots.
|
|
13
21
|
*
|
|
14
22
|
* @param request - The full event record (contract-shaped, all slots).
|
|
15
23
|
* @returns The 32-byte request id, the record's ledger map key.
|
|
16
24
|
* @throws {Error} If the record's `txParamType` names a decomposition this
|
|
17
|
-
* computation has no
|
|
25
|
+
* computation has no digest for, or a count overruns its capacity.
|
|
18
26
|
*/
|
|
19
27
|
export function calculateRequestId(request) {
|
|
20
28
|
if (request.txParamType !== TxParamType.evmType2) {
|
|
@@ -22,14 +30,14 @@ export function calculateRequestId(request) {
|
|
|
22
30
|
`understands evmType2 (${String(TxParamType.evmType2)})`);
|
|
23
31
|
}
|
|
24
32
|
const preimage = {
|
|
25
|
-
sender: request.sender,
|
|
26
33
|
keyVersion: request.keyVersion,
|
|
34
|
+
sender: request.sender,
|
|
27
35
|
path: request.path,
|
|
28
36
|
algo: request.algo,
|
|
29
37
|
txParamType: request.txParamType,
|
|
30
|
-
|
|
38
|
+
txParamsDigest: calculateEvmType2TxParamsDigest(request.txParams),
|
|
31
39
|
executionDest: request.executionDest,
|
|
32
40
|
};
|
|
33
|
-
return upgradeFromTransient(transientHash(
|
|
41
|
+
return upgradeFromTransient(transientHash(REQUEST_ID_HASH_PREIMAGE, [HashDomain.requestId, preimage]));
|
|
34
42
|
}
|
|
35
43
|
//# sourceMappingURL=signet-request-id.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-request-id.js","sourceRoot":"","sources":["../src/signet-request-id.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,
|
|
1
|
+
{"version":3,"file":"signet-request-id.js","sourceRoot":"","sources":["../src/signet-request-id.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,oEAAoE;AACpE,6EAA6E;AAC7E,yEAAyE;AACzE,6BAA6B;AAE7B,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEtF,OAAO,EAAE,sBAAsB,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAGL,2BAA2B,EAE3B,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAE9B,MAAM,wBAAwB,GAAG,sBAAsB,CAAkC;IACvF,WAAW;IACX,2BAA2B;CAC5B,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA+B;IAChE,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CACb,2BAA2B,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,wBAAwB;YAC5E,yBAAyB,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAC3D,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAsB;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,cAAc,EAAE,+BAA+B,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjE,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC;IACF,OAAO,oBAAoB,CACzB,aAAa,CAAC,wBAAwB,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC"}
|