@sig-net/midnight 0.24.0-rc.3 → 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 +13 -0
- package/dist/compact-descriptors.d.ts +6 -4
- package/dist/compact-descriptors.d.ts.map +1 -1
- package/dist/compact-descriptors.js +5 -2
- package/dist/compact-descriptors.js.map +1 -1
- package/dist/ecdsa-attestation.d.ts +3 -3
- package/dist/ecdsa-attestation.d.ts.map +1 -1
- package/dist/ecdsa-attestation.js +3 -1
- package/dist/ecdsa-attestation.js.map +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -2
- package/dist/index.js.map +1 -1
- package/dist/managed/compiler/contract-info.json +508 -0
- package/dist/managed/compiler/contract-manifest.json +8 -8
- package/dist/managed/contract/index.d.ts +131 -0
- package/dist/managed/contract/index.js +299 -179
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/signet-contract-events.d.ts +1 -1
- package/dist/signet-contract-events.d.ts.map +1 -1
- package/dist/signet-evtype2tx-requests.d.ts.map +1 -1
- package/dist/signet-evtype2tx-requests.js +16 -9
- package/dist/signet-evtype2tx-requests.js.map +1 -1
- package/dist/signet-request-id.d.ts +1 -1
- package/dist/signet-request-id.d.ts.map +1 -1
- package/dist/signet-request-id.js +8 -2
- package/dist/signet-request-id.js.map +1 -1
- package/package.json +2 -2
- package/src/Signet.compact +33 -30
- package/src/circuits.compact +19 -0
|
@@ -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
|
}
|
|
@@ -149,7 +149,7 @@ 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
|
/**
|
|
@@ -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-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,
|
|
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"}
|
|
@@ -10,8 +10,9 @@
|
|
|
10
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 { BOOLEAN, BYTES_4, BYTES_20, BYTES_32, compactMaybeDescriptor, compactStructDescriptor, compactTupleDescriptor, FIELD, 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
|
|
@@ -172,6 +173,7 @@ export function abiWordToBool(word) {
|
|
|
172
173
|
}
|
|
173
174
|
/** The digest's head tuple: the scalar fields, the calldata presence, selector and count, the entry count. */
|
|
174
175
|
const EVM_TYPE2_DIGEST_HEAD = compactTupleDescriptor([
|
|
176
|
+
HASH_DOMAIN,
|
|
175
177
|
UINT_64,
|
|
176
178
|
UINT_64,
|
|
177
179
|
UINT_128,
|
|
@@ -185,14 +187,13 @@ const EVM_TYPE2_DIGEST_HEAD = compactTupleDescriptor([
|
|
|
185
187
|
UINT_8,
|
|
186
188
|
]);
|
|
187
189
|
/** One fold step over a calldata word or storage key. */
|
|
188
|
-
const
|
|
189
|
-
|
|
190
|
-
const EVM_TYPE2_DIGEST_ENTRY = compactTupleDescriptor([
|
|
191
|
-
FIELD,
|
|
192
|
-
BYTES_20,
|
|
193
|
-
UINT_8,
|
|
190
|
+
const DOMAIN_FIELD_BYTES_32 = compactTupleDescriptor([
|
|
191
|
+
HASH_DOMAIN,
|
|
194
192
|
FIELD,
|
|
193
|
+
BYTES_32,
|
|
195
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]);
|
|
196
197
|
/**
|
|
197
198
|
* Digest of an {@link EvmType2TxParams} over the bytes that reach the signed
|
|
198
199
|
* transaction, the TS twin of the `calculateEvmType2TxParamsDigestV1` circuit
|
|
@@ -219,6 +220,7 @@ export function calculateEvmType2TxParamsDigest(txParams) {
|
|
|
219
220
|
throw new Error("accessListEntryCount exceeds capacity");
|
|
220
221
|
}
|
|
221
222
|
const head = transientHash(EVM_TYPE2_DIGEST_HEAD, [
|
|
223
|
+
HashDomain.evmType2TxHeader,
|
|
222
224
|
txParams.chainId,
|
|
223
225
|
txParams.nonce,
|
|
224
226
|
txParams.maxPriorityFeePerGas,
|
|
@@ -233,7 +235,7 @@ export function calculateEvmType2TxParamsDigest(txParams) {
|
|
|
233
235
|
]);
|
|
234
236
|
let acc = head;
|
|
235
237
|
for (const word of calldata.value.words.slice(0, Number(noWords))) {
|
|
236
|
-
acc = transientHash(
|
|
238
|
+
acc = transientHash(DOMAIN_FIELD_BYTES_32, [HashDomain.evmType2TxWord, acc, word]);
|
|
237
239
|
}
|
|
238
240
|
for (const entry of accessList.slice(0, Number(accessListEntryCount))) {
|
|
239
241
|
if (entry.storageKeyCount > BigInt(entry.storageKeys.length)) {
|
|
@@ -241,9 +243,14 @@ export function calculateEvmType2TxParamsDigest(txParams) {
|
|
|
241
243
|
}
|
|
242
244
|
let keysAcc = 0n;
|
|
243
245
|
for (const key of entry.storageKeys.slice(0, Number(entry.storageKeyCount))) {
|
|
244
|
-
keysAcc = transientHash(
|
|
246
|
+
keysAcc = transientHash(DOMAIN_FIELD_BYTES_32, [
|
|
247
|
+
HashDomain.evmType2TxStorageKey,
|
|
248
|
+
keysAcc,
|
|
249
|
+
key,
|
|
250
|
+
]);
|
|
245
251
|
}
|
|
246
252
|
acc = transientHash(EVM_TYPE2_DIGEST_ENTRY, [
|
|
253
|
+
HashDomain.evmType2TxAccessEntry,
|
|
247
254
|
acc,
|
|
248
255
|
entry.address,
|
|
249
256
|
entry.storageKeyCount,
|
|
@@ -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,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,
|
|
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,7 +1,7 @@
|
|
|
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}
|
|
4
|
+
* record's {@link RequestIdPreimage} prefixed with {@link HashDomain.requestId},
|
|
5
5
|
* with the transaction entering as its decomposition's digest
|
|
6
6
|
* ({@link calculateEvmType2TxParamsDigest} for evmType2), so the id ignores
|
|
7
7
|
* the record's capacities and unused slots.
|
|
@@ -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"}
|
|
@@ -4,11 +4,17 @@
|
|
|
4
4
|
// transaction by its `txParamType` tag, so every decomposition mints ids
|
|
5
5
|
// through this one function.
|
|
6
6
|
import { transientHash, upgradeFromTransient } from "@midnight-ntwrk/compact-runtime";
|
|
7
|
+
import { compactTupleDescriptor, HASH_DOMAIN } from "./compact-descriptors.js";
|
|
8
|
+
import { HashDomain } from "./managed/contract/index.js";
|
|
7
9
|
import { calculateEvmType2TxParamsDigest } from "./signet-evtype2tx-requests.js";
|
|
8
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}
|
|
17
|
+
* record's {@link RequestIdPreimage} prefixed with {@link HashDomain.requestId},
|
|
12
18
|
* with the transaction entering as its decomposition's digest
|
|
13
19
|
* ({@link calculateEvmType2TxParamsDigest} for evmType2), so the id ignores
|
|
14
20
|
* the record's capacities and unused slots.
|
|
@@ -32,6 +38,6 @@ export function calculateRequestId(request) {
|
|
|
32
38
|
txParamsDigest: calculateEvmType2TxParamsDigest(request.txParams),
|
|
33
39
|
executionDest: request.executionDest,
|
|
34
40
|
};
|
|
35
|
-
return upgradeFromTransient(transientHash(
|
|
41
|
+
return upgradeFromTransient(transientHash(REQUEST_ID_HASH_PREIMAGE, [HashDomain.requestId, preimage]));
|
|
36
42
|
}
|
|
37
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,oEAAoE;AACpE,6EAA6E;AAC7E,yEAAyE;AACzE,6BAA6B;AAE7B,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAGL,2BAA2B,EAE3B,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAE9B;;;;;;;;;;;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,
|
|
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"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@sig-net/midnight",
|
|
3
|
-
"version": "0.24.0-rc.
|
|
3
|
+
"version": "0.24.0-rc.4",
|
|
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.0-rc.
|
|
52
|
+
"@sig-net/midnight-serde": "^0.24.0-rc.4",
|
|
53
53
|
"ethers": "^6.17.0"
|
|
54
54
|
},
|
|
55
55
|
"devDependencies": {
|
package/src/Signet.compact
CHANGED
|
@@ -19,8 +19,7 @@
|
|
|
19
19
|
//
|
|
20
20
|
// Key types at a glance (each declaration below carries the full contract):
|
|
21
21
|
// - SignBidirectionalEventV1: a client contract's structured request for a signature on a transaction.
|
|
22
|
-
// - RequestId: 32-byte id
|
|
23
|
-
// that name one execution: key, sender, path, a digest of the transaction and its destination).
|
|
22
|
+
// - RequestId: 32-byte id derived by calculateRequestIdV1.
|
|
24
23
|
// - SignBidirectionalEventMapV1: the RequestId -> SignBidirectionalEventV1 map a client contract
|
|
25
24
|
// declares in its own ledger for the MPC to read requests from.
|
|
26
25
|
// - SignetSigner: the contract interface client contracts call to notify the Signet singleton.
|
|
@@ -66,6 +65,16 @@
|
|
|
66
65
|
module Signet {
|
|
67
66
|
import CompactStandardLibrary;
|
|
68
67
|
|
|
68
|
+
// Hash-domain indices are protocol u8 values. Append variants only.
|
|
69
|
+
export enum HashDomain {
|
|
70
|
+
requestId,
|
|
71
|
+
attestationDigest,
|
|
72
|
+
evmType2TxHeader,
|
|
73
|
+
evmType2TxWord,
|
|
74
|
+
evmType2TxAccessEntry,
|
|
75
|
+
evmType2TxStorageKey,
|
|
76
|
+
}
|
|
77
|
+
|
|
69
78
|
// ---- SignBidirectionalEvent ------------------------------------------------------------------------
|
|
70
79
|
|
|
71
80
|
// Structured request for a signature on a transaction. Generically configured by client contracts
|
|
@@ -155,6 +164,8 @@ module Signet {
|
|
|
155
164
|
respondSerializationSchema: Bytes<LenRespondSerialization>,
|
|
156
165
|
): SignBidirectionalEventV1<TxParams, LenOutputDeserialization, LenRespondSerialization> {
|
|
157
166
|
assert(keyVersion >= 1, "keyVersion must be >= 1");
|
|
167
|
+
assert(signatureDest == MPCDestination.unused, "signatureDest must be unused");
|
|
168
|
+
assert(params == default<Bytes<64>>, "params must be zero");
|
|
158
169
|
// The protocol reserves the "midnight response key" path for the MPC's
|
|
159
170
|
// attestation key of this contract (see RespondBidirectionalEventV1), and the
|
|
160
171
|
// MPC refuses a request that names it.
|
|
@@ -178,8 +189,7 @@ module Signet {
|
|
|
178
189
|
|
|
179
190
|
// ---- SignBidirectionalEvent RequestId --------------------------------------------------------------
|
|
180
191
|
|
|
181
|
-
// 32
|
|
182
|
-
// transientHash of its RequestIdPreimageV1 (see calculateRequestIdV1).
|
|
192
|
+
// 32-byte chain-agnostic nominal id derived by calculateRequestIdV1.
|
|
183
193
|
export new type RequestId = Bytes<32>;
|
|
184
194
|
|
|
185
195
|
// The fields of a SignBidirectionalEventV1 that name one execution: the signing key
|
|
@@ -203,20 +213,11 @@ module Signet {
|
|
|
203
213
|
executionDest: Bytes<32>;
|
|
204
214
|
}
|
|
205
215
|
|
|
206
|
-
//
|
|
207
|
-
//
|
|
208
|
-
//
|
|
209
|
-
// layout exactly.
|
|
210
|
-
//
|
|
211
|
-
// Two properties follow from the field-aligned representation and matter to anyone
|
|
212
|
-
// reasoning about these ids:
|
|
213
|
-
// - byte 31 is always zero. upgradeFromTransient writes the field element's 31
|
|
214
|
-
// little-endian bytes into bytes 0..30, so an id carries ~248 bits of entropy.
|
|
215
|
-
// - a Bytes<N> field packs into ceil(N/31) field elements, so trailing zero bytes
|
|
216
|
-
// within a chunk do not change the hash. Every id commits to its sender, so
|
|
217
|
-
// requests cannot collide in practice.
|
|
216
|
+
// Off-chain recomputation must prefix the preimage with HashDomain.requestId
|
|
217
|
+
// and reproduce its field-aligned layout exactly. A ledger-era hash change
|
|
218
|
+
// requires draining pending requests before the fork.
|
|
218
219
|
export pure circuit calculateRequestIdV1(preimage: RequestIdPreimageV1): RequestId {
|
|
219
|
-
return upgradeFromTransient(transientHash<RequestIdPreimageV1>(preimage)) as RequestId;
|
|
220
|
+
return upgradeFromTransient(transientHash<[HashDomain, RequestIdPreimageV1]>([HashDomain.requestId, preimage])) as RequestId;
|
|
220
221
|
}
|
|
221
222
|
|
|
222
223
|
// ---- Client Contract: SignBidirectionalEvent Map ---------------------------------------------------
|
|
@@ -297,10 +298,10 @@ module Signet {
|
|
|
297
298
|
y: Bytes<32>;
|
|
298
299
|
}
|
|
299
300
|
|
|
300
|
-
//
|
|
301
|
-
//
|
|
302
|
-
//
|
|
303
|
-
//
|
|
301
|
+
// recoveryId (0 or 1) recovers the signer with the supplied s. Converting
|
|
302
|
+
// high-s to low-s requires replacing s with n - s and flipping recoveryId,
|
|
303
|
+
// where n is the curve's group order, even when bigR is kept unchanged.
|
|
304
|
+
// Point coordinates and s are stored as BIG-endian SEC1 bytes.
|
|
304
305
|
export struct Signature {
|
|
305
306
|
bigR: AffinePoint;
|
|
306
307
|
s: Bytes<32>;
|
|
@@ -321,7 +322,7 @@ module Signet {
|
|
|
321
322
|
// RespondBidirectionalEvent: the MPC's attestation of a foreign execution, the
|
|
322
323
|
// final step of the sign bidirectional flow.
|
|
323
324
|
//
|
|
324
|
-
// attestationDigest =
|
|
325
|
+
// attestationDigest = calculateSignetAttestationDigestV1(requestId, blockHeight, outputKind, serializedOutput)
|
|
325
326
|
// signature = signSECP256k1(mpcResponseKey, attestationDigest)
|
|
326
327
|
//
|
|
327
328
|
// mpcResponseKey is derived like request signing keys, with the path set to the
|
|
@@ -366,7 +367,7 @@ module Signet {
|
|
|
366
367
|
}
|
|
367
368
|
|
|
368
369
|
// The 32-byte attestation digest of a remote execution output:
|
|
369
|
-
// attestationDigest = upgradeFromTransient(transientHash([requestId, blockHeight, outputKind, serializedOutputLength, serializedOutput]))
|
|
370
|
+
// attestationDigest = upgradeFromTransient(transientHash([HashDomain.attestationDigest, requestId, blockHeight, outputKind, serializedOutputLength, serializedOutput]))
|
|
370
371
|
// blockHeight is the height of the finalised destination block holding the
|
|
371
372
|
// transaction the attestation describes, in the destination chain's own
|
|
372
373
|
// numbering (a slot on Solana).
|
|
@@ -378,12 +379,12 @@ module Signet {
|
|
|
378
379
|
outputKind: OutputKind,
|
|
379
380
|
serializedOutput: Bytes<serializedOutputLength>,
|
|
380
381
|
): Bytes<32> {
|
|
381
|
-
return upgradeFromTransient(transientHash<[RequestId, Uint<64>, OutputKind, Uint<64>, Bytes<serializedOutputLength>]>([requestId, blockHeight, outputKind, serializedOutputLength, serializedOutput]));
|
|
382
|
+
return upgradeFromTransient(transientHash<[HashDomain, RequestId, Uint<64>, OutputKind, Uint<64>, Bytes<serializedOutputLength>]>([HashDomain.attestationDigest, requestId, blockHeight, outputKind, serializedOutputLength, serializedOutput]));
|
|
382
383
|
}
|
|
383
384
|
|
|
384
385
|
// Verifies a RespondBidirectionalEvent against its execution output and MPC
|
|
385
|
-
// response key: recomputes the
|
|
386
|
-
//
|
|
386
|
+
// response key: recomputes the digest over the request id, block height,
|
|
387
|
+
// output kind, output length and caller's output, then verifies its signature. Client
|
|
387
388
|
// contracts run this before consuming outputs, as the singleton emits
|
|
388
389
|
// responses unverified. The caller supplies
|
|
389
390
|
// serializedOutput at its exact unpadded width, and the event record with
|
|
@@ -523,7 +524,8 @@ module Signet {
|
|
|
523
524
|
assert(keyCountsFit[1], "a used entry's storageKeyCount exceeds capacity");
|
|
524
525
|
|
|
525
526
|
// The scalar fields and the counts, hashed as one field-aligned tuple.
|
|
526
|
-
const head = transientHash<[Uint<64>, Uint<64>, Uint<128>, Uint<128>, Uint<64>, Bytes<20>, Uint<128>, Boolean, Bytes<4>, Uint<16>, Uint<8>]>([
|
|
527
|
+
const head = transientHash<[HashDomain, Uint<64>, Uint<64>, Uint<128>, Uint<128>, Uint<64>, Bytes<20>, Uint<128>, Boolean, Bytes<4>, Uint<16>, Uint<8>]>([
|
|
528
|
+
HashDomain.evmType2TxHeader,
|
|
527
529
|
txParams.chainId,
|
|
528
530
|
txParams.nonce,
|
|
529
531
|
txParams.maxPriorityFeePerGas,
|
|
@@ -542,7 +544,7 @@ module Signet {
|
|
|
542
544
|
// at zero every step passes the head through.
|
|
543
545
|
const wordsScan = fold(
|
|
544
546
|
(acc: [Uint<16>, Field], word: Bytes<32>): [Uint<16>, Field] =>
|
|
545
|
-
[(acc[0] + 1) as Uint<16>, acc[0] < noWords ? transientHash<[Field, Bytes<32>]>([acc[1], word]) : acc[1]],
|
|
547
|
+
[(acc[0] + 1) as Uint<16>, acc[0] < noWords ? transientHash<[HashDomain, Field, Bytes<32>]>([HashDomain.evmType2TxWord, acc[1], word]) : acc[1]],
|
|
546
548
|
[0 as Uint<16>, head],
|
|
547
549
|
calldata.value.words
|
|
548
550
|
);
|
|
@@ -555,13 +557,14 @@ module Signet {
|
|
|
555
557
|
[
|
|
556
558
|
(acc[0] + 1) as Uint<8>,
|
|
557
559
|
acc[0] < txParams.accessListEntryCount
|
|
558
|
-
? transientHash<[Field, Bytes<20>, Uint<8>, Field]>([
|
|
560
|
+
? transientHash<[HashDomain, Field, Bytes<20>, Uint<8>, Field]>([
|
|
561
|
+
HashDomain.evmType2TxAccessEntry,
|
|
559
562
|
acc[1],
|
|
560
563
|
entry.address,
|
|
561
564
|
entry.storageKeyCount,
|
|
562
565
|
fold(
|
|
563
566
|
(keyAcc: [Uint<8>, Field], key: Bytes<32>): [Uint<8>, Field] =>
|
|
564
|
-
[(keyAcc[0] + 1) as Uint<8>, keyAcc[0] < entry.storageKeyCount ? transientHash<[Field, Bytes<32>]>([keyAcc[1], key]) : keyAcc[1]],
|
|
567
|
+
[(keyAcc[0] + 1) as Uint<8>, keyAcc[0] < entry.storageKeyCount ? transientHash<[HashDomain, Field, Bytes<32>]>([HashDomain.evmType2TxStorageKey, keyAcc[1], key]) : keyAcc[1]],
|
|
565
568
|
[0 as Uint<8>, 0 as Field],
|
|
566
569
|
entry.storageKeys
|
|
567
570
|
)[1]
|
package/src/circuits.compact
CHANGED
|
@@ -9,6 +9,7 @@ import CompactStandardLibrary;
|
|
|
9
9
|
import "./Signet";
|
|
10
10
|
|
|
11
11
|
export {
|
|
12
|
+
HashDomain,
|
|
12
13
|
OutputKind,
|
|
13
14
|
calculateRequestIdV1,
|
|
14
15
|
constructSignBidirectionalEventNotificationV1,
|
|
@@ -127,3 +128,21 @@ export pure circuit verifyRespondBidirectionalEvent32(
|
|
|
127
128
|
mpcResponseKey
|
|
128
129
|
);
|
|
129
130
|
}
|
|
131
|
+
|
|
132
|
+
export pure circuit constructSignBidirectionalEventV1_1_0_0_34_34(
|
|
133
|
+
request: SignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 34>
|
|
134
|
+
): SignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 34> {
|
|
135
|
+
return constructSignBidirectionalEventV1<EvmType2TxParams<1, 0, 0>, 34, 34>(
|
|
136
|
+
request.keyVersion,
|
|
137
|
+
request.sender,
|
|
138
|
+
request.path,
|
|
139
|
+
request.algo,
|
|
140
|
+
request.txParamType,
|
|
141
|
+
request.txParams,
|
|
142
|
+
request.executionDest,
|
|
143
|
+
request.signatureDest,
|
|
144
|
+
request.params,
|
|
145
|
+
request.outputDeserializationSchema,
|
|
146
|
+
request.respondSerializationSchema
|
|
147
|
+
);
|
|
148
|
+
}
|