@midnight-ntwrk/credential-compact 0.1.0-rc2

package/dist/managed/credentials/contract/index.js.map

@@ -0,0 +1,8 @@
+{
+  "version": 3,
+  "file": "index.js",
+  "sourceRoot": "../../../../",
+  "sources": ["src/credentials.compact", "src/./credentials/./types.compact", "src/./credentials/./proofs.compact", "src/./credentials/./holder-bindings.compact", "src/./credentials/./protocols.compact", "src/./credentials/./status-bindings.compact", "compiler/standard-library.compact"],
+  "names": [],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAeA;;;;;;;;;;MCUA,AAAA,0BAEC;;OAAA;MAED,AAAA,oBAIC;;OAAA;MAED,AAAA,6BAKC;;OAAA;MAED,AAAA,qCAgBC;;OAAA;MAED,AAAA,2BAMC;;OAAA;MAED,AAAA,gCAWC;;OAAA;MC5ED,AAAA,eAYC;;OAAA;MAQD,AAAA,kBAEC;;OAAA;MAED,AAAA,sBAEC;;OAAA;MA8CD,AAAA,wBAKC;;OAAA;MAED,AAAA,4BAKC;;OAAA;MAED,AAAA,sBAKC;;OAAA;MAED,AAAA,0BAKC;;OAAA;MAQD,AAAA,+BAKC;;OAAA;MAED,AAAA,mCAKC;;OAAA;MCnHD,AAAA,gCAWC;;OAAA;MAED,AAAA,oCAcC;;OAAA;MAED,AAAA,uCAcC;;OAAA;MAED,AAAA,8BAaC;;OAAA;MAED,AAAA,kCAWC;;OAAA;MAED,AAAA,qCAWC;;OAAA;MAED,AAAA,wCAmBC;;OAAA;MAED,AAAA,4CAwBC;;OAAA;MAED,AAAA,+CAQC;;OAAA;MAKD,AAAA,+BAEC;;OAAA;MAED,AAAA,6BAKC;;OAAA;MAED,AAAA,oCASC;;OAAA;MAED,AAAA,uBASC;;OAAA;MAED,AAAA,6BASC;;OAAA;MAED,AAAA,6BAcC;;OAAA;MAED,AAAA,wCAOC;;OAAA;MAED,AAAA,0CAOC;;OAAA;MAED,AAAA,kCAQC;;OAAA;MAED,AAAA,+CAOC;;OAAA;MAED,AAAA,iDAOC;;OAAA;MAED,AAAA,yCAaC;;OAAA;MAOD,AAAA,gCAeC;;OAAA;MAED,AAAA,uCAwBC;;OAAA;MC5SD,AAAA,oCASC;;OAAA;MAED,AAAA,6CAQC;;OAAA;MAaD,AAAA,2BAEC;;OAAA;MAED,AAAA,gCAOC;;OAAA;MAED,AAAA,wBAaC;;OAAA;MAED,AAAA,kCAwBC;;OAAA;MAED,AAAA,8BAmBC;;OAAA;MCrGD,AAAA,4BAQC;;OAAA;MAED,AAAA,0BAKC;;OAAA;MAED,AAAA,qCAYC;;OAAA;MAED,AAAA,8BAKC;;OAAA;;;;GLvCA;EALD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAKC;EMpBD,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,iBAAA;mEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,oBAAA,SAAA;;uDAAA;uDAAA;;;EAAA,AAAA,sBAAA;yDAAA;;;EAAA,AAAA,wBAAA;2DAAA;;;EAAA,AAAA,gBAAA;mDAAA;;;EAAA,AAAA,gBAAA;mDAAA;;;EAAA,AAAA,SAAA,KAAA;4CAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;4CAAA,KAAA;;;EAAA,AAAA,kBAAA;qDAAA;;;ELyBA,AAAA,6BAEC;;GAAA;EAED,AAAA,uBAIC,CAJwC,QAAiB;2CACjD,QAAM;;;2CACN,QAAM;;;QACN,GAAuB;mCAAvB,QAAM,eAAN,GAAuB;;;GAC/B;EAED,AAAA,gCAKC,CAJC,cAAgC,gBAIjC;EAED,AAAA,wCAgBC,CAfC,MAAgC;UAE1B,QAAqC;QACvC,MAAI;6CACC,MAAI,eAAiB,QAAM;;6CAEhC,MAAI;;;;4CAKJ,MAAI,eAAiB,QAAM;;;;GAIhC;EAED,AAAA,8BAMC,CALC,YAA4B;iCAEP,YAAU;0CACD,YAAU;kDACF,YAAU;;GACjD;EAED,AAAA,mCAWC,CAVC,UAA4B,EAC5B,QAA0B;4BAGxB,UAAQ;;4BAAgC,QAAM;;4BACzC,UAAQ;;4BAA4B,QAAM;;4BAC1C,UAAQ;;4BAAoC,QAAM;;4BAClD,UAAQ;;4BAA4B,QAAM;;;GAGlD;EC5ED,AAAA,kBAYC,CAXC,IAAe,EACf,WAAoB,EACpB,WAAgB;UAEV,UAAmD,0BAAZ,WAAS;UAChD,KAAuC,iBAAd,IAAE,EAAE,WAAS;UACtC,WAAgD,iBAAjB,WAAS,IAAI,KAAG;UAC/C,UAAqE,wBAApC,UAAQ;;4CAAkB,WAAS;UACpE,UAAqE,wBAApC,UAAQ;;4CAAkB,WAAS;4BACnE,UAAQ,IAAI,UAAQ;;WACpB,UAAQ,IAAI,UAAQ;GAC5B;EAQD,AAAA,qBAEC;;GAAA;EAED,AAAA,yBAEC;;GAAA;EAKD,AAAA,6BAYC,CAXC,UAAmB,EACnB,YAAqB,EACrB,OAAY;mCAGV,UAAQ;mCACR,YAAU;0DAC4B,OAAK;sFACE,OAAK;mCAClD,OAAK;GAER;EAED,AAAA,2BAUC,CATC,UAAmB,EACnB,YAAqB,EACrB,OAAY;iGAGiB,UAAQ;iGAAE,YAAU;iGAAE,OAAK;iHACN,OAAK;iHACL,OAAK;GAExD;EAED,AAAA,6BAaC,CAZC,UAAmB,EACnB,YAAqB,EACrB,OAAY;oDAIR,OAAK;oDACL,OAAK;qFACoB,UAAQ;qFAAE,YAAU;qFAAE,OAAK;;;GAIzD;EAED,AAAA,2BAKC,CAJC,UAAmB,EACnB,OAAY;8CAEsB,UAAQ;;8CAAwB,OAAK;GACxE;EAED,AAAA,+BAKC,CAJC,UAAmB,EACnB,OAAY;8CAEsB,UAAQ;;8CAA4B,OAAK;GAC5E;EAED,AAAA,yBAKC,CAJC,UAAmB,EACnB,OAAY;4CAEoB,UAAQ;;4CAAwB,OAAK;GACtE;EAED,AAAA,6BAKC,CAJC,UAAmB,EACnB,OAAY;4CAEoB,UAAQ;;4CAA4B,OAAK;GAC1E;EAQD,AAAA,kCAKC,CAJC,UAAmB,EACnB,OAAY;uCAEe,UAAQ;;uCAAwB,OAAK;;GACjE;EAED,AAAA,sCAKC,CAJC,UAAmB,EACnB,OAAY;uCAEe,UAAQ;;uCAA4B,OAAK;;GACrE;ECnHD,AAAA,mCAWC,CAVC,SAA8B;2CAG5B,SAAO;;;2CAIP,SAAO;;;;GAGV;EAED,AAAA,uCAcC,CAbC,mBAAwC;0CACxC,qBAA0C;;0CAGxC,qBAAmB;0CACd,mBAAiB;;0CAItB,qBAAmB;0CACd,mBAAiB;;;GAGzB;EAED,AAAA,0CAcC,CAbC,SAA8B,EAC9B,mBAAwB;0CAGtB,SAAO;0CACF,mBAAiB;;2CAItB,SAAO;2CACF,mBAAiB;;;GAGzB;EAED,AAAA,iCAaC,CAZC,SAA4B;iDAQb,SAAO;;;;iDACL,SAAO;;;;;GAGzB;EAED,AAAA,qCAWC,CAVC,mBAAsC;wCACtC,qBAAwC;;iDAGzB,qBAAmB;;iDACd,mBAAiB;;iDACpB,qBAAmB;;iDACd,mBAAiB;;;GAGxC;EAED,AAAA,wCAWC,CAVC,SAA4B,EAC5B,mBAAwB;iDAGT,SAAO;;iDACF,mBAAiB;;iDACpB,SAAO;;iDACF,mBAAiB;;;GAGxC;EAED,AAAA,2CAmBC,CAlBC,SAAsC;4CAOpC,SAAO;;;4CAIP,SAAO;;;UAGH,eAEL,sBADkB,SAAO;2CAEK,eAAa;;GAC7C;EAED,AAAA,+CAwBC,CAvBC,mBAAgD;kDAChD,qBAAkD;;2CAGhD,qBAAmB;2CACd,mBAAiB;;2CAItB,qBAAmB;2CACd,mBAAiB;;UAGlB,yBAEL;0CADkB,mBAAiB;UAE9B,2BAEL;4CADkB,qBAAmB;+CAGpC,yBAAuB;+CACvB,2BAAyB;;GAE5B;EAED,AAAA,kDAQC,CAPC,SAAsC;qDACtC,mBAAwB;;UAElB,eAEL,sBADkB,SAAO;kDAEY,eAAa;kDAAE,mBAAiB;;GACvE;EAKD,AAAA,kCAEC;;GAAA;EAED,AAAA,gCAKC,CAJC,cAAuB,EACvB,SAAkB;oCAEiB,cAAY,EAAE,SAAO;GACzD;EAED,AAAA,uCASC,CARC,cAAuB;0CACvB,uBAAgC;;;mCAI9B,cAAY;mCACZ,uBAAqB;GAExB;EAED,AAAA,0BASC,CARC,cAAuB,EACvB,oBAA6B;;mCAI3B,cAAY;mCACZ,oBAAkB;GAErB;EAED,AAAA,gCASC,CARC,WAAoB;mCACpB,cAAuB;mCACvB,oBAA6B;;2CAG3B,WAAS;2EAA4B,cAAY;2EAAE,oBAAkB;;;GAGxE;EAED,AAAA,gCAcC,CAbC,wBAAiC;mCACjC,aAAsB;mCACtB,gBAAyB;;;mCAOvB,wBAAsB;mCACtB,aAAW;mCACX,gBAAc;GAEjB;EAED,AAAA,2CAOC,CANC,SAA4B;2CAG1B,SAAO;;;;GAGV;EAED,AAAA,6CAOC,CANC,SAA4B;4CAG1B,SAAO;;;;GAGV;EAED,AAAA,qCAQC,CAPC,mBAAsC;wCACtC,qBAAwC;;2CAGtC,mBAAiB;2CAA2B,qBAAmB;;;GAGlE;EAED,AAAA,kDAOC,CANC,SAAmC;2CAGjC,SAAO;;;;GAGV;EAED,AAAA,oDAOC,CANC,SAAmC;4CAGjC,SAAO;;;;GAGV;EAED,AAAA,4CAaC,CAZC,mBAA6C;+CAC7C,qBAA+C;;2CAG7C,mBAAiB;2CACZ,qBAAmB;;2CAIxB,mBAAiB;2CAAgB,qBAAmB;;;GAGvD;EAOD,AAAA,mCAeC,CAdC,SAA4B;sCAC5B,uBAAgC;sCAChC,cAAuB;sCACvB,SAAkB;;iFAGc,cAAY;iFAAE,SAAO;2CAAK,SAAO;;wFAI1B,cAAY;wFAAE,uBAAqB;2CACnE,SAAO;;;GAGf;EAED,AAAA,0CAwBC,CAvBC,SAAmC;6CACnC,uBAAgC;6CAChC,cAAuB;6CACvB,SAAkB;6CAClB,gBAAyB;;UAEnB,kBAGL,yCAFC,cAAY;qEACZ,SAAO;iFAIL,kBAAgB;iFAChB,SAAO;iFACP,gBAAc;2CACX,SAAO;;wFAIyB,cAAY;wFAAE,uBAAqB;2CACnE,SAAO;;;GAGf;EC5SD,AAAA,uCASC,CARC,UAAoC;0CAGL,UAAQ;sCACZ,UAAQ;;eACA,UAAQ;sCAChB,UAAQ;GAEpC;EAED,AAAA,gDAQC,CAPC,UAAoC,EACpC,cAAgC;0FAGO,UAAQ;6CAC7C,cAAY;;GAEf;EAaD,AAAA,8BAEC;;GAAA;EAED,AAAA,mCAOC,CANC,uBAA4C;4CAG1C,uBAAqB;;;;GAGxB;EAED,AAAA,2BAaC,CAZC,UAAmB,EACnB,QAAiB;iCAEI,UAAQ;iCACR,QAAM;2CAEzB,UAAQ;2CAAc,QAAM;;2CACvB,UAAQ;2CAAa,QAAM;;2CAC3B,UAAQ;2CAAiB,QAAM;;2CAC/B,UAAQ;2CAAiB,QAAM;;;GAGvC;EAED,AAAA,qCAwBC,CAvBC,UAAiC;UAE3B,YAA0C;2CACzC,UAAQ;;4CACR,UAAQ,YAAc,YAAU;;4CAChC,UAAQ,WAAa,YAAU;;QAClC,UAAQ;6CAER,UAAQ;6CAAwB,YAAU;;;8CAK1C,UAAQ;8CAAwB,YAAU;;;QAI1C,UAAQ;UAER,GAAwC;qCAAxC,UAAQ;+BAAR,GAAwC,IAAlB,UAAQ;;;;GAInC;EAED,AAAA,iCAmBC,CAlBC,iBAAwC,EACxC,kBAAyC;+CAEN,iBAAe;+CACf,kBAAgB;6BAC3C,kBAAgB;;2CAEtB,kBAAgB;2CAAa,iBAAe;;2CAI5C,kBAAgB;2CAAwB,iBAAe;;QAIvD,GAAuD;mCAAvD,kBAAgB;6BAAhB,GAAuD,IAAzB,iBAAe;;;GAGhD;ECrGD,AAAA,+BAQC,CAPC,aAA8B;4CAG5B,aAAW;;;6CAGoB,aAAW;;GAC7C;EAED,AAAA,6BAKC,CAJC,SAAwB,gBAIzB;EAED,AAAA,wCAYC,CAXC,SAAmC;4BAGjC,SAAO;;yCAGoB,SAAO;4CAElC,SAAO;;;;GAGV;EAED,AAAA,iCAKC,CAJC,SAAmC;kDAEG,SAAO;kCACK,SAAO;GAC1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EJlCD,AAAA,0BAEC;;;;;GAAA;EAED,AAAA,oBAIC;;;;UAJwC,QAAiB;;;;;;;;kDAAjB,QAAiB;GAIzD;EAED,AAAA,6BAKC;;;;UAJC,cAAgC;;;;;;;;2DAAhC,cAAgC;GAIjC;EAED,AAAA,qCAgBC;;;;UAfC,MAAgC;;;;;;;;mEAAhC,MAAgC;GAejC;EAED,AAAA,2BAMC;;;;UALC,YAA4B;;;;;;;;yDAA5B,YAA4B;GAK7B;EAED,AAAA,gCAWC;;;;UAVC,UAA4B;UAC5B,QAA0B;;;;;;;;;;;;;;;8DAD1B,UAA4B;8DAC5B,QAA0B;GAS3B;EC5ED,AAAA,eAYC;;;;UAXC,IAAe;UACf,WAAoB;UACpB,WAAgB;;;;;;;;;;;;;;;6CAFhB,IAAe,EACf,WAAoB,EACpB,WAAgB;GASjB;EAQD,AAAA,kBAEC;;;;;GAAA;EAED,AAAA,sBAEC;;;;;GAAA;EA8CD,AAAA,wBAKC;;;;UAJC,UAAmB;UACnB,OAAY;;;;;;;;;;;;;;;sDADZ,UAAmB,EACnB,OAAY;GAGb;EAED,AAAA,4BAKC;;;;UAJC,UAAmB;UACnB,OAAY;;;;;;;;;;;;;;;0DADZ,UAAmB,EACnB,OAAY;GAGb;EAED,AAAA,sBAKC;;;;UAJC,UAAmB;UACnB,OAAY;;;;;;;;;;;;;;;oDADZ,UAAmB,EACnB,OAAY;GAGb;EAED,AAAA,0BAKC;;;;UAJC,UAAmB;UACnB,OAAY;;;;;;;;;;;;;;;wDADZ,UAAmB,EACnB,OAAY;GAGb;EAQD,AAAA,+BAKC;;;;UAJC,UAAmB;UACnB,OAAY;;;;;;;;;;;;;;;6DADZ,UAAmB,EACnB,OAAY;GAGb;EAED,AAAA,mCAKC;;;;UAJC,UAAmB;UACnB,OAAY;;;;;;;;;;;;;;;iEADZ,UAAmB;iEACnB,OAAY;GAGb;ECnHD,AAAA,gCAWC;;;;UAVC,SAA8B;;;;;;;;8DAA9B,SAA8B;GAU/B;EAED,AAAA,oCAcC;;;;UAbC,mBAAwC;UACxC,qBAA0C;;;;;;;;;;;;;;;kEAD1C,mBAAwC;kEACxC,qBAA0C;GAY3C;EAED,AAAA,uCAcC;;;;UAbC,SAA8B;UAC9B,mBAAwB;;;;;;;;;;;;;;;qEADxB,SAA8B;qEAC9B,mBAAwB;GAYzB;EAED,AAAA,8BAaC;;;;UAZC,SAA4B;;;;;;;;4DAA5B,SAA4B;GAY7B;EAED,AAAA,kCAWC;;;;UAVC,mBAAsC;UACtC,qBAAwC;;;;;;;;;;;;;;;gEADxC,mBAAsC;gEACtC,qBAAwC;GASzC;EAED,AAAA,qCAWC;;;;UAVC,SAA4B;UAC5B,mBAAwB;;;;;;;;;;;;;;;mEADxB,SAA4B;mEAC5B,mBAAwB;GASzB;EAED,AAAA,wCAmBC;;;;UAlBC,SAAsC;;;;;;;;sEAAtC,SAAsC;GAkBvC;EAED,AAAA,4CAwBC;;;;UAvBC,mBAAgD;UAChD,qBAAkD;;;;;;;;;;;;;;;0EADlD,mBAAgD;0EAChD,qBAAkD;GAsBnD;EAED,AAAA,+CAQC;;;;UAPC,SAAsC;UACtC,mBAAwB;;;;;;;;;;;;;;;6EADxB,SAAsC;6EACtC,mBAAwB;GAMzB;EAKD,AAAA,+BAEC;;;;;GAAA;EAED,AAAA,6BAKC;;;;UAJC,cAAuB;UACvB,SAAkB;;;;;;;;;;;;;;;2DADlB,cAAuB;2DACvB,SAAkB;GAGnB;EAED,AAAA,oCASC;;;;UARC,cAAuB;UACvB,uBAAgC;;;;;;;;;;;;;;;kEADhC,cAAuB;kEACvB,uBAAgC;GAOjC;EAED,AAAA,uBASC;;;;UARC,cAAuB;UACvB,oBAA6B;;;;;;;;;;;;;;;qDAD7B,cAAuB;qDACvB,oBAA6B;GAO9B;EAED,AAAA,6BASC;;;;UARC,WAAoB;UACpB,cAAuB;UACvB,oBAA6B;;;;;;;;;;;;;;;;;;;;;;2DAF7B,WAAoB;2DACpB,cAAuB;2DACvB,oBAA6B;GAM9B;EAED,AAAA,6BAcC;;;;UAbC,wBAAiC;UACjC,aAAsB;UACtB,gBAAyB;;;;;;;;;;;;;;;;;;;;;;2DAFzB,wBAAiC;2DACjC,aAAsB;2DACtB,gBAAyB;GAW1B;EAED,AAAA,wCAOC;;;;UANC,SAA4B;;;;;;;;sEAA5B,SAA4B;GAM7B;EAED,AAAA,0CAOC;;;;UANC,SAA4B;;;;;;;;wEAA5B,SAA4B;GAM7B;EAED,AAAA,kCAQC;;;;UAPC,mBAAsC;UACtC,qBAAwC;;;;;;;;;;;;;;;gEADxC,mBAAsC;gEACtC,qBAAwC;GAMzC;EAED,AAAA,+CAOC;;;;UANC,SAAmC;;;;;;;;6EAAnC,SAAmC;GAMpC;EAED,AAAA,iDAOC;;;;UANC,SAAmC;;;;;;;;+EAAnC,SAAmC;GAMpC;EAED,AAAA,yCAaC;;;;UAZC,mBAA6C;UAC7C,qBAA+C;;;;;;;;;;;;;;;uEAD/C,mBAA6C;uEAC7C,qBAA+C;GAWhD;EAOD,AAAA,gCAeC;;;;UAdC,SAA4B;UAC5B,uBAAgC;UAChC,cAAuB;UACvB,SAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8DAHlB,SAA4B;8DAC5B,uBAAgC;8DAChC,cAAuB;8DACvB,SAAkB;GAWnB;EAED,AAAA,uCAwBC;;;;UAvBC,SAAmC;UACnC,uBAAgC;UAChC,cAAuB;UACvB,SAAkB;UAClB,gBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qEAJzB,SAAmC;qEACnC,uBAAgC;qEAChC,cAAuB;qEACvB,SAAkB;qEAClB,gBAAyB;GAmB1B;EC5SD,AAAA,oCASC;;;;UARC,UAAoC;;;;;;;;kEAApC,UAAoC;GAQrC;EAED,AAAA,6CAQC;;;;UAPC,UAAoC;UACpC,cAAgC;;;;;;;;;;;;;;;2EADhC,UAAoC;2EACpC,cAAgC;GAMjC;EAaD,AAAA,2BAEC;;;;;GAAA;EAED,AAAA,gCAOC;;;;UANC,uBAA4C;;;;;;;;8DAA5C,uBAA4C;GAM7C;EAED,AAAA,wBAaC;;;;UAZC,UAAmB;UACnB,QAAiB;;;;;;;;;;;;;;;sDADjB,UAAmB,EACnB,QAAiB;GAWlB;EAED,AAAA,kCAwBC;;;;UAvBC,UAAiC;;;;;;;;gEAAjC,UAAiC;GAuBlC;EAED,AAAA,8BAmBC;;;;UAlBC,iBAAwC;UACxC,kBAAyC;;;;;;;;;;;;;;;4DADzC,iBAAwC;4DACxC,kBAAyC;GAiB1C;ECrGD,AAAA,4BAQC;;;;UAPC,aAA8B;;;;;;;;0DAA9B,aAA8B;GAO/B;EAED,AAAA,0BAKC;;;;UAJC,SAAwB;;;;;;;;wDAAxB,SAAwB;GAIzB;EAED,AAAA,qCAYC;;;;UAXC,SAAmC;;;;;;;;mEAAnC,SAAmC;GAWpC;EAED,AAAA,8BAKC;;;;UAJC,SAAmC;;;;;;;;4DAAnC,SAAmC;GAIpC;;;;"
+}

package/dist/managed/same-holder/contract/index.d.ts

@@ -0,0 +1,400 @@
+import type * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
+
+export type SchemaRef = { packageId: Uint8Array;
+                          schemaId: Uint8Array;
+                          majorVersion: bigint;
+                          minorVersion: bigint
+                        };
+
+export type SchemaCapabilities = { supportsSelectiveDisclosure: boolean;
+                                   supportsPredicateProofs: boolean;
+                                   supportsVerifierScopedPseudonym: boolean;
+                                   supportsSameHolderProof: boolean
+                                 };
+
+export type SchemaFamilyResolutionHint = { hasResolverHint: boolean;
+                                           resolverHint: Uint8Array
+                                         };
+
+export type SchemaDescriptor = { schema: SchemaRef;
+                                 capabilities: SchemaCapabilities;
+                                 familyResolutionHint: SchemaFamilyResolutionHint
+                               };
+
+export type VerificationMethodRef = { didContractAddress: { bytes: Uint8Array };
+                                      methodId: Uint8Array
+                                    };
+
+export type NoPublicClaims = {  };
+
+export type NoClaimCommitments = {  };
+
+export type Signature = { r: __compactRuntime.JubjubPoint; s: bigint };
+
+export type ExplicitHolderBinding = { holderVerificationMethodRef: VerificationMethodRef
+                                    };
+
+export type JubjubHolderBinding = { holderPublicKey: __compactRuntime.JubjubPoint
+                                  };
+
+export type OffchainMidnightHolderBinding = { holderDidStateHash: Uint8Array;
+                                              holderMethodId: Uint8Array;
+                                              holderPublicKey: __compactRuntime.JubjubPoint
+                                            };
+
+export type SecretHolderBinding = { holderSecretCommitment: Uint8Array;
+                                    requestChallengeResponse: Uint8Array
+                                  };
+
+export type BlindedSecretHolderBinding = { blindedHolderSecretCommitment: Uint8Array;
+                                           issuerNonce: Uint8Array;
+                                           requestChallengeResponse: Uint8Array
+                                         };
+
+export type Proof = { signerVerificationMethodRef: VerificationMethodRef;
+                      createdAt: bigint;
+                      challengeHash: Uint8Array;
+                      publicKey: __compactRuntime.JubjubPoint;
+                      signature: Signature
+                    };
+
+export enum HolderBindingProfile { explicitDid = 0,
+                                   secretHolder = 1,
+                                   blindedSecretHolder = 2
+}
+
+export type CredentialProtocolFeatures = { supportsSelectiveDisclosure: boolean;
+                                           supportsPredicateProofs: boolean;
+                                           supportsVerifierScopedPseudonym: boolean;
+                                           supportsSameHolderProof: boolean
+                                         };
+
+export type ProtocolMessageEnvelope = { version: bigint;
+                                        messageId: Uint8Array;
+                                        threadId: Uint8Array;
+                                        initialMessage: boolean;
+                                        respondsToMessageId: Uint8Array;
+                                        createdAt: bigint;
+                                        hasExpiresAt: boolean;
+                                        expiresAt: bigint
+                                      };
+
+export type StatusRegistryRef = { registryId: Uint8Array;
+                                  authorityVerificationMethodRef: VerificationMethodRef
+                                };
+
+export type NoStatusBinding = {  };
+
+export enum StatusType { revocationRegistry = 0 }
+
+export type RegistryBoundStatusBinding = { statusType: StatusType;
+                                           registryRef: StatusRegistryRef;
+                                           statusHandleCommitment: Uint8Array
+                                         };
+
+export type Witnesses<PS> = {
+}
+
+export type ImpureCircuits<PS> = {
+}
+
+export type ProvableCircuits<PS> = {
+}
+
+export type PureCircuits = {
+  noSchemaFamilyResolverHint(): Uint8Array;
+  assertValidSchemaRef(schema_0: SchemaRef): [];
+  assertValidSchemaCapabilities(capabilities_0: SchemaCapabilities): [];
+  assertValidSchemaFamilyResolutionHint(hint_0: SchemaFamilyResolutionHint): [];
+  assertValidSchemaDescriptor(descriptor_0: SchemaDescriptor): [];
+  assertMatchingSchemaCapabilities(expected_0: SchemaCapabilities,
+                                   actual_0: SchemaCapabilities): [];
+  verifySignature(pk_0: __compactRuntime.JubjubPoint,
+                  signature_0: Signature,
+                  challenge_0: bigint): boolean;
+  issuanceContextTag(): Uint8Array;
+  presentationContextTag(): Uint8Array;
+  issuanceProofPayloadRoot(bodyRoot_0: Uint8Array, proof_0: Proof): Uint8Array;
+  presentationProofPayloadRoot(bodyRoot_0: Uint8Array, proof_0: Proof): Uint8Array;
+  issuanceProofChallenge(bodyRoot_0: Uint8Array, proof_0: Proof): bigint;
+  presentationProofChallenge(bodyRoot_0: Uint8Array, proof_0: Proof): bigint;
+  assertValidIssuanceContextProof(bodyRoot_0: Uint8Array, proof_0: Proof): [];
+  assertValidPresentationContextProof(bodyRoot_0: Uint8Array, proof_0: Proof): [];
+  assertValidExplicitHolderBinding(binding_0: ExplicitHolderBinding): [];
+  assertMatchingExplicitHolderBindings(credentialBinding_0: ExplicitHolderBinding,
+                                       presentationBinding_0: ExplicitHolderBinding): [];
+  assertProofMatchesExplicitHolderBinding(binding_0: ExplicitHolderBinding,
+                                          presentationProof_0: Proof): [];
+  assertValidJubjubHolderBinding(binding_0: JubjubHolderBinding): [];
+  assertMatchingJubjubHolderBindings(credentialBinding_0: JubjubHolderBinding,
+                                     presentationBinding_0: JubjubHolderBinding): [];
+  assertProofMatchesJubjubHolderBinding(binding_0: JubjubHolderBinding,
+                                        presentationProof_0: Proof): [];
+  assertValidOffchainMidnightHolderBinding(binding_0: OffchainMidnightHolderBinding): [];
+  assertMatchingOffchainMidnightHolderBindings(credentialBinding_0: OffchainMidnightHolderBinding,
+                                               presentationBinding_0: OffchainMidnightHolderBinding): [];
+  assertProofMatchesOffchainMidnightHolderBinding(binding_0: OffchainMidnightHolderBinding,
+                                                  presentationProof_0: Proof): [];
+  noSecretHolderChallengeResponse(): Uint8Array;
+  secretHolderBindingCommitment(holderSecret_0: Uint8Array,
+                                opening_0: Uint8Array): Uint8Array;
+  secretHolderBindingChallengeResponse(holderSecret_0: Uint8Array,
+                                       verifierChallengeHash_0: Uint8Array): Uint8Array;
+  verifierScopedPseudonym(holderSecret_0: Uint8Array,
+                          verifierDomainHash_0: Uint8Array): Uint8Array;
+  assertVerifierScopedPseudonym(pseudonym_0: Uint8Array,
+                                holderSecret_0: Uint8Array,
+                                verifierDomainHash_0: Uint8Array): [];
+  blindedSecretHolderCommitment(holderSecretCommitment_0: Uint8Array,
+                                issuerNonce_0: Uint8Array,
+                                blindingFactor_0: Uint8Array): Uint8Array;
+  assertValidSecretHolderCredentialBinding(binding_0: SecretHolderBinding): [];
+  assertValidSecretHolderPresentationBinding(binding_0: SecretHolderBinding): [];
+  assertMatchingSecretHolderBindings(credentialBinding_0: SecretHolderBinding,
+                                     presentationBinding_0: SecretHolderBinding): [];
+  assertValidBlindedSecretHolderCredentialBinding(binding_0: BlindedSecretHolderBinding): [];
+  assertValidBlindedSecretHolderPresentationBinding(binding_0: BlindedSecretHolderBinding): [];
+  assertMatchingBlindedSecretHolderBindings(credentialBinding_0: BlindedSecretHolderBinding,
+                                            presentationBinding_0: BlindedSecretHolderBinding): [];
+  assertSecretHolderBindingWitness(binding_0: SecretHolderBinding,
+                                   verifierChallengeHash_0: Uint8Array,
+                                   holderSecret_0: Uint8Array,
+                                   opening_0: Uint8Array): [];
+  assertBlindedSecretHolderBindingWitness(binding_0: BlindedSecretHolderBinding,
+                                          verifierChallengeHash_0: Uint8Array,
+                                          holderSecret_0: Uint8Array,
+                                          opening_0: Uint8Array,
+                                          blindingFactor_0: Uint8Array): [];
+  protocolFeaturesAsSchemaCapabilities(features_0: CredentialProtocolFeatures): SchemaCapabilities;
+  assertProtocolFeaturesMatchSchemaCapabilities(features_0: CredentialProtocolFeatures,
+                                                capabilities_0: SchemaCapabilities): [];
+  noProtocolResponseReference(): Uint8Array;
+  assertValidVerificationMethodRef(verificationMethodRef_0: VerificationMethodRef): [];
+  assertMatchingSchemaRefs(expected_0: SchemaRef, actual_0: SchemaRef): [];
+  assertValidProtocolMessageEnvelope(envelope_0: ProtocolMessageEnvelope): [];
+  assertProtocolResponseEnvelope(requestEnvelope_0: ProtocolMessageEnvelope,
+                                 responseEnvelope_0: ProtocolMessageEnvelope): [];
+  assertValidStatusRegistryRef(registryRef_0: StatusRegistryRef): [];
+  assertValidNoStatusBinding(binding_0: NoStatusBinding): [];
+  assertValidRegistryBoundStatusBinding(binding_0: RegistryBoundStatusBinding): [];
+  registryBoundStatusBindingRoot(binding_0: RegistryBoundStatusBinding): Uint8Array;
+  assertSameSecretHolderBindingWitnesses(firstBinding_0: SecretHolderBinding,
+                                         secondBinding_0: SecretHolderBinding,
+                                         verifierChallengeHash_0: Uint8Array,
+                                         holderSecret_0: Uint8Array,
+                                         firstOpening_0: Uint8Array,
+                                         secondOpening_0: Uint8Array): [];
+  assertSameSecretHolderBindingWitnesses3(firstBinding_0: SecretHolderBinding,
+                                          secondBinding_0: SecretHolderBinding,
+                                          thirdBinding_0: SecretHolderBinding,
+                                          verifierChallengeHash_0: Uint8Array,
+                                          holderSecret_0: Uint8Array,
+                                          firstOpening_0: Uint8Array,
+                                          secondOpening_0: Uint8Array,
+                                          thirdOpening_0: Uint8Array): [];
+  assertSameBlindedSecretHolderBindingWitnesses(firstBinding_0: BlindedSecretHolderBinding,
+                                                secondBinding_0: BlindedSecretHolderBinding,
+                                                verifierChallengeHash_0: Uint8Array,
+                                                holderSecret_0: Uint8Array,
+                                                firstOpening_0: Uint8Array,
+                                                firstBlindingFactor_0: Uint8Array,
+                                                secondOpening_0: Uint8Array,
+                                                secondBlindingFactor_0: Uint8Array): [];
+  assertSameBlindedSecretHolderBindingWitnesses3(firstBinding_0: BlindedSecretHolderBinding,
+                                                 secondBinding_0: BlindedSecretHolderBinding,
+                                                 thirdBinding_0: BlindedSecretHolderBinding,
+                                                 verifierChallengeHash_0: Uint8Array,
+                                                 holderSecret_0: Uint8Array,
+                                                 firstOpening_0: Uint8Array,
+                                                 firstBlindingFactor_0: Uint8Array,
+                                                 secondOpening_0: Uint8Array,
+                                                 secondBlindingFactor_0: Uint8Array,
+                                                 thirdOpening_0: Uint8Array,
+                                                 thirdBlindingFactor_0: Uint8Array): [];
+}
+
+export type Circuits<PS> = {
+  noSchemaFamilyResolverHint(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  assertValidSchemaRef(context: __compactRuntime.CircuitContext<PS>,
+                       schema_0: SchemaRef): __compactRuntime.CircuitResults<PS, []>;
+  assertValidSchemaCapabilities(context: __compactRuntime.CircuitContext<PS>,
+                                capabilities_0: SchemaCapabilities): __compactRuntime.CircuitResults<PS, []>;
+  assertValidSchemaFamilyResolutionHint(context: __compactRuntime.CircuitContext<PS>,
+                                        hint_0: SchemaFamilyResolutionHint): __compactRuntime.CircuitResults<PS, []>;
+  assertValidSchemaDescriptor(context: __compactRuntime.CircuitContext<PS>,
+                              descriptor_0: SchemaDescriptor): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingSchemaCapabilities(context: __compactRuntime.CircuitContext<PS>,
+                                   expected_0: SchemaCapabilities,
+                                   actual_0: SchemaCapabilities): __compactRuntime.CircuitResults<PS, []>;
+  verifySignature(context: __compactRuntime.CircuitContext<PS>,
+                  pk_0: __compactRuntime.JubjubPoint,
+                  signature_0: Signature,
+                  challenge_0: bigint): __compactRuntime.CircuitResults<PS, boolean>;
+  issuanceContextTag(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  presentationContextTag(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  issuanceProofPayloadRoot(context: __compactRuntime.CircuitContext<PS>,
+                           bodyRoot_0: Uint8Array,
+                           proof_0: Proof): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  presentationProofPayloadRoot(context: __compactRuntime.CircuitContext<PS>,
+                               bodyRoot_0: Uint8Array,
+                               proof_0: Proof): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  issuanceProofChallenge(context: __compactRuntime.CircuitContext<PS>,
+                         bodyRoot_0: Uint8Array,
+                         proof_0: Proof): __compactRuntime.CircuitResults<PS, bigint>;
+  presentationProofChallenge(context: __compactRuntime.CircuitContext<PS>,
+                             bodyRoot_0: Uint8Array,
+                             proof_0: Proof): __compactRuntime.CircuitResults<PS, bigint>;
+  assertValidIssuanceContextProof(context: __compactRuntime.CircuitContext<PS>,
+                                  bodyRoot_0: Uint8Array,
+                                  proof_0: Proof): __compactRuntime.CircuitResults<PS, []>;
+  assertValidPresentationContextProof(context: __compactRuntime.CircuitContext<PS>,
+                                      bodyRoot_0: Uint8Array,
+                                      proof_0: Proof): __compactRuntime.CircuitResults<PS, []>;
+  assertValidExplicitHolderBinding(context: __compactRuntime.CircuitContext<PS>,
+                                   binding_0: ExplicitHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingExplicitHolderBindings(context: __compactRuntime.CircuitContext<PS>,
+                                       credentialBinding_0: ExplicitHolderBinding,
+                                       presentationBinding_0: ExplicitHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertProofMatchesExplicitHolderBinding(context: __compactRuntime.CircuitContext<PS>,
+                                          binding_0: ExplicitHolderBinding,
+                                          presentationProof_0: Proof): __compactRuntime.CircuitResults<PS, []>;
+  assertValidJubjubHolderBinding(context: __compactRuntime.CircuitContext<PS>,
+                                 binding_0: JubjubHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingJubjubHolderBindings(context: __compactRuntime.CircuitContext<PS>,
+                                     credentialBinding_0: JubjubHolderBinding,
+                                     presentationBinding_0: JubjubHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertProofMatchesJubjubHolderBinding(context: __compactRuntime.CircuitContext<PS>,
+                                        binding_0: JubjubHolderBinding,
+                                        presentationProof_0: Proof): __compactRuntime.CircuitResults<PS, []>;
+  assertValidOffchainMidnightHolderBinding(context: __compactRuntime.CircuitContext<PS>,
+                                           binding_0: OffchainMidnightHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingOffchainMidnightHolderBindings(context: __compactRuntime.CircuitContext<PS>,
+                                               credentialBinding_0: OffchainMidnightHolderBinding,
+                                               presentationBinding_0: OffchainMidnightHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertProofMatchesOffchainMidnightHolderBinding(context: __compactRuntime.CircuitContext<PS>,
+                                                  binding_0: OffchainMidnightHolderBinding,
+                                                  presentationProof_0: Proof): __compactRuntime.CircuitResults<PS, []>;
+  noSecretHolderChallengeResponse(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  secretHolderBindingCommitment(context: __compactRuntime.CircuitContext<PS>,
+                                holderSecret_0: Uint8Array,
+                                opening_0: Uint8Array): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  secretHolderBindingChallengeResponse(context: __compactRuntime.CircuitContext<PS>,
+                                       holderSecret_0: Uint8Array,
+                                       verifierChallengeHash_0: Uint8Array): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  verifierScopedPseudonym(context: __compactRuntime.CircuitContext<PS>,
+                          holderSecret_0: Uint8Array,
+                          verifierDomainHash_0: Uint8Array): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  assertVerifierScopedPseudonym(context: __compactRuntime.CircuitContext<PS>,
+                                pseudonym_0: Uint8Array,
+                                holderSecret_0: Uint8Array,
+                                verifierDomainHash_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+  blindedSecretHolderCommitment(context: __compactRuntime.CircuitContext<PS>,
+                                holderSecretCommitment_0: Uint8Array,
+                                issuerNonce_0: Uint8Array,
+                                blindingFactor_0: Uint8Array): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  assertValidSecretHolderCredentialBinding(context: __compactRuntime.CircuitContext<PS>,
+                                           binding_0: SecretHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertValidSecretHolderPresentationBinding(context: __compactRuntime.CircuitContext<PS>,
+                                             binding_0: SecretHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingSecretHolderBindings(context: __compactRuntime.CircuitContext<PS>,
+                                     credentialBinding_0: SecretHolderBinding,
+                                     presentationBinding_0: SecretHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertValidBlindedSecretHolderCredentialBinding(context: __compactRuntime.CircuitContext<PS>,
+                                                  binding_0: BlindedSecretHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertValidBlindedSecretHolderPresentationBinding(context: __compactRuntime.CircuitContext<PS>,
+                                                    binding_0: BlindedSecretHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingBlindedSecretHolderBindings(context: __compactRuntime.CircuitContext<PS>,
+                                            credentialBinding_0: BlindedSecretHolderBinding,
+                                            presentationBinding_0: BlindedSecretHolderBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertSecretHolderBindingWitness(context: __compactRuntime.CircuitContext<PS>,
+                                   binding_0: SecretHolderBinding,
+                                   verifierChallengeHash_0: Uint8Array,
+                                   holderSecret_0: Uint8Array,
+                                   opening_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+  assertBlindedSecretHolderBindingWitness(context: __compactRuntime.CircuitContext<PS>,
+                                          binding_0: BlindedSecretHolderBinding,
+                                          verifierChallengeHash_0: Uint8Array,
+                                          holderSecret_0: Uint8Array,
+                                          opening_0: Uint8Array,
+                                          blindingFactor_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+  protocolFeaturesAsSchemaCapabilities(context: __compactRuntime.CircuitContext<PS>,
+                                       features_0: CredentialProtocolFeatures): __compactRuntime.CircuitResults<PS, SchemaCapabilities>;
+  assertProtocolFeaturesMatchSchemaCapabilities(context: __compactRuntime.CircuitContext<PS>,
+                                                features_0: CredentialProtocolFeatures,
+                                                capabilities_0: SchemaCapabilities): __compactRuntime.CircuitResults<PS, []>;
+  noProtocolResponseReference(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  assertValidVerificationMethodRef(context: __compactRuntime.CircuitContext<PS>,
+                                   verificationMethodRef_0: VerificationMethodRef): __compactRuntime.CircuitResults<PS, []>;
+  assertMatchingSchemaRefs(context: __compactRuntime.CircuitContext<PS>,
+                           expected_0: SchemaRef,
+                           actual_0: SchemaRef): __compactRuntime.CircuitResults<PS, []>;
+  assertValidProtocolMessageEnvelope(context: __compactRuntime.CircuitContext<PS>,
+                                     envelope_0: ProtocolMessageEnvelope): __compactRuntime.CircuitResults<PS, []>;
+  assertProtocolResponseEnvelope(context: __compactRuntime.CircuitContext<PS>,
+                                 requestEnvelope_0: ProtocolMessageEnvelope,
+                                 responseEnvelope_0: ProtocolMessageEnvelope): __compactRuntime.CircuitResults<PS, []>;
+  assertValidStatusRegistryRef(context: __compactRuntime.CircuitContext<PS>,
+                               registryRef_0: StatusRegistryRef): __compactRuntime.CircuitResults<PS, []>;
+  assertValidNoStatusBinding(context: __compactRuntime.CircuitContext<PS>,
+                             binding_0: NoStatusBinding): __compactRuntime.CircuitResults<PS, []>;
+  assertValidRegistryBoundStatusBinding(context: __compactRuntime.CircuitContext<PS>,
+                                        binding_0: RegistryBoundStatusBinding): __compactRuntime.CircuitResults<PS, []>;
+  registryBoundStatusBindingRoot(context: __compactRuntime.CircuitContext<PS>,
+                                 binding_0: RegistryBoundStatusBinding): __compactRuntime.CircuitResults<PS, Uint8Array>;
+  assertSameSecretHolderBindingWitnesses(context: __compactRuntime.CircuitContext<PS>,
+                                         firstBinding_0: SecretHolderBinding,
+                                         secondBinding_0: SecretHolderBinding,
+                                         verifierChallengeHash_0: Uint8Array,
+                                         holderSecret_0: Uint8Array,
+                                         firstOpening_0: Uint8Array,
+                                         secondOpening_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+  assertSameSecretHolderBindingWitnesses3(context: __compactRuntime.CircuitContext<PS>,
+                                          firstBinding_0: SecretHolderBinding,
+                                          secondBinding_0: SecretHolderBinding,
+                                          thirdBinding_0: SecretHolderBinding,
+                                          verifierChallengeHash_0: Uint8Array,
+                                          holderSecret_0: Uint8Array,
+                                          firstOpening_0: Uint8Array,
+                                          secondOpening_0: Uint8Array,
+                                          thirdOpening_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+  assertSameBlindedSecretHolderBindingWitnesses(context: __compactRuntime.CircuitContext<PS>,
+                                                firstBinding_0: BlindedSecretHolderBinding,
+                                                secondBinding_0: BlindedSecretHolderBinding,
+                                                verifierChallengeHash_0: Uint8Array,
+                                                holderSecret_0: Uint8Array,
+                                                firstOpening_0: Uint8Array,
+                                                firstBlindingFactor_0: Uint8Array,
+                                                secondOpening_0: Uint8Array,
+                                                secondBlindingFactor_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+  assertSameBlindedSecretHolderBindingWitnesses3(context: __compactRuntime.CircuitContext<PS>,
+                                                 firstBinding_0: BlindedSecretHolderBinding,
+                                                 secondBinding_0: BlindedSecretHolderBinding,
+                                                 thirdBinding_0: BlindedSecretHolderBinding,
+                                                 verifierChallengeHash_0: Uint8Array,
+                                                 holderSecret_0: Uint8Array,
+                                                 firstOpening_0: Uint8Array,
+                                                 firstBlindingFactor_0: Uint8Array,
+                                                 secondOpening_0: Uint8Array,
+                                                 secondBlindingFactor_0: Uint8Array,
+                                                 thirdOpening_0: Uint8Array,
+                                                 thirdBlindingFactor_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
+}
+
+export type Ledger = {
+}
+
+export type ContractReferenceLocations = any;
+
+export declare const contractReferenceLocations : ContractReferenceLocations;
+
+export declare class Contract<PS = any, W extends Witnesses<PS> = Witnesses<PS>> {
+  witnesses: W;
+  circuits: Circuits<PS>;
+  impureCircuits: ImpureCircuits<PS>;
+  provableCircuits: ProvableCircuits<PS>;
+  constructor(witnesses: W);
+  initialState(context: __compactRuntime.ConstructorContext<PS>): __compactRuntime.ConstructorResult<PS>;
+}
+
+export declare function ledger(state: __compactRuntime.StateValue | __compactRuntime.ChargedState): Ledger;
+export declare const pureCircuits: PureCircuits;