mod

.gitmodules

@@ -2,6 +2,6 @@
 	path = packages/authdecode
 	url = https://github.com/tlsnotary/tlsn
 	branch = authdecode-wasm-benchmark
-[submodule "packages/websockify"]
-	path = packages/websockify
-	url = https://github.com/novnc/websockify
+[submodule "packages/proxy"]
+	path = packages/proxy
+	url = https://github.com/novnc/websockify-js

mprocs.yaml

@@ -2,12 +2,16 @@ procs:
   contracts:
     cwd: packages/contracts
     shell: pnpm run dev
-  client:
+  dapp:
     cwd: packages/dapp
     shell: pnpm run dev
+  web-gen-proof:
+    cwd: packages/webapp-prove
+    shell: pnpm run dev
   notary:
     cwd: packages/notary
     shell: cargo run --release
+    stop: SIGTERM
   websockify:
-    cwd: packages/websockify
-    shell: ./docker/build.sh && docker run -it --rm -p 55688:80 novnc/websockify 80 example.com:443
+    cwd: packages/proxy/websockify
+    shell: ./websockify.js 55688 example.com:443

packages/contracts/src/common/IAdditionalZKPTLC.sol

@@ -0,0 +1,11 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {IPayment} from "./IPayment.sol";
+import {ILeaf} from "./ILeaf.sol";
+
+interface IAdditionalZKPTLC {
+    function verifyAdditionalZKPTLC(
+        bytes memory customData
+    ) external view returns (bool);
+}

packages/contracts/src/common/IAsset.sol

@@ -0,0 +1,12 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+interface IAsset {
+    struct Assets {
+        uint256[4] amounts;
+    }
+
+    struct AssetsAddress {
+        address[4] addresses;
+    }
+}

packages/contracts/src/common/ILeaf.sol

@@ -0,0 +1,23 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {IAsset} from "./IAsset.sol";
+
+interface ILeaf is IAsset {
+    struct EvidenceLeaf {
+        bytes32 transferCommitment;
+        uint64 ebn;
+    }
+
+    struct WithdrawLeaf {
+        address recipient;
+        Assets amount;
+        uint64 startEbn;
+        uint64 endEbn;
+    }
+
+    struct SettlementLeaf {
+        WithdrawLeaf withdrawLeaf;
+        EvidenceLeaf evidenceLeaf;
+    }
+}

packages/contracts/src/common/IMerkleProof.sol

@@ -0,0 +1,12 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {ILeaf} from "./ILeaf.sol";
+
+interface IMerkleProof {
+    struct SettlementMerkleProof {
+        ILeaf.SettlementLeaf leaf;
+        uint256 index;
+        bytes32[] siblings;
+    }
+}

packages/contracts/src/common/IPayment.sol

@@ -0,0 +1,26 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {IAsset} from "./IAsset.sol";
+
+interface IPayment is IAsset {
+    struct Payment {
+        bytes32 uniqueIdentifier;
+        address user; // the address of the user.
+        uint32 round; // incremented every time the payment channel is closed.
+        uint32 nonce; // incremented every time the payment channel is updated.
+        Assets userBalance;
+        Assets operatorBalance;
+        Assets airdropped; // the amount of airdrop to this user.
+        Assets spentDeposit; // the total amount of spent deposit.
+        bytes32 latestTransferCommitment; // the latest transfer commitment of the transfer to other user.
+        uint64 latestEbn; // the latest ebn of airdrop to this user.
+        bytes customData; // the custom data of the payment channel.
+    }
+
+    struct PaymentWithSignature {
+        Payment payment;
+        bytes userSignature;
+        bytes operatorSignature;
+    }
+}

packages/contracts/src/common/IState.sol

@@ -0,0 +1,20 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {IAsset} from "./IAsset.sol";
+import {IPayment} from "./IPayment.sol";
+
+interface IState is IAsset, IPayment {
+    struct ChannelState {
+        Assets userDeposit;
+        uint64 ebn;
+        uint32 round;
+    }
+
+    struct WithdrawalRequest {
+        uint256 requestedAt; // 0 means no request
+        Assets airdropped;
+        Assets redeposit;
+        uint64 newEbn;
+    }
+}

packages/contracts/src/common/ITransfer.sol

@@ -0,0 +1,10 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+interface ITransfer {
+    struct Transfer {
+        address recipient;
+        uint256 amount;
+        uint32 assetId;
+    }
+}

packages/contracts/src/config/Config.sol

@@ -0,0 +1,51 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {AccessControlUpgradeable} from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol";
+import {UUPSUpgradeable} from "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
+
+import {IConfig} from "./IConfig.sol";
+import {IVerifier} from "../verifier/IVerifier.sol";
+
+
+import {IAsset} from "../common/IAsset.sol";
+
+contract Config is AccessControlUpgradeable, UUPSUpgradeable, IConfig {
+    bytes32 public constant DEPLOYER = keccak256("DEPLOYER");
+
+    AddressBook public addressBook;
+
+    function initialize() public initializer {
+        __AccessControl_init();
+        __UUPSUpgradeable_init();
+        _grantRole(DEPLOYER, _msgSender());
+    }
+
+    function configure(
+        address operator_,
+        IAsset.AssetsAddress memory tokenAddresses_,
+        address halo2VerifyingKeyAddress_,
+        address halo2VerifierAddress_,
+        address verifier_
+    ) external onlyRole(DEPLOYER) {
+        IVerifier(verifier_).config(
+            halo2VerifyingKeyAddress_,
+            halo2VerifierAddress_
+        );
+     
+
+        addressBook = AddressBook(
+            operator_,
+            tokenAddresses_,
+            halo2VerifyingKeyAddress_,
+            halo2VerifierAddress_,
+            verifier_
+        );
+    }
+
+    function getAddressBook() external view returns (AddressBook memory) {
+        return addressBook;
+    }
+
+    function _authorizeUpgrade(address) internal override onlyRole(DEPLOYER) {}
+}

packages/contracts/src/config/IConfig.sol

@@ -0,0 +1,24 @@
+/// SPDX-License-Identifier: MIT
+pragma solidity 0.8.21;
+
+import {IAsset} from "../common/IAsset.sol";
+
+interface IConfig {
+    struct AddressBook {
+        address operator;
+        IAsset.AssetsAddress tokenAddresses;
+        address halo2VerifyingKeyAddress;
+        address halo2VerifierAddress;
+        address verifier;
+    }
+
+    function configure(
+        address operator_,
+        IAsset.AssetsAddress memory tokenAddresses_,
+        address halo2VerifyingKeyAddress_,
+        address halo2VerifierAddress_,
+        address verifier_
+    ) external;
+
+    function getAddressBook() external view returns (AddressBook memory);
+}

packages/dapp-verify/build/index.html

@@ -0,0 +1,13 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>a minimal MUD client</title>
+    <script type="module" crossorigin src="/assets/index-fe7f0033.js"></script>
+  </head>
+  <body>
+    <div id="react-root"></div>
+    
+  </body>
+</html>

packages/dapp-verify/package.json

@@ -7,7 +7,7 @@
   "scripts": {
     "build": "vite build",
     "dev": "wait-port localhost:8545 && vite",
-    "local": "vite",
+    "local": "vite dev",
     "preview": "vite preview",
     "test": "tsc --noEmit"
   },
@@ -28,9 +28,10 @@
     "rxjs": "7.5.5",
     "tlsn-js": "0.1.0-alpha.4.1",
     "viem": "1.14.0",
-    "vite-plugin-static-copy": "^1.0.1"
-  },
+    "vite-plugin-node-polyfills": "^0.21.0"
+    },
   "devDependencies": {
+    "vite-plugin-static-copy": "^1.0.1",
     "@types/react": "18.2.22",
     "@types/react-dom": "18.2.7",
     "@vitejs/plugin-react": "^3.1.0",

packages/dapp-verify/public/index.d.ts

@@ -0,0 +1,20 @@
+import { Proof } from './types';
+export declare const prove: (url: string, options: {
+    notaryUrl: string;
+    websocketProxyUrl: string;
+    method?: string | undefined;
+    headers?: {
+        [key: string]: string;
+    } | undefined;
+    body?: string | undefined;
+    maxTranscriptSize?: number | undefined;
+    secretHeaders?: string[] | undefined;
+    secretResps?: string[] | undefined;
+}) => Promise<Proof>;
+export declare const verify: (proof: Proof, publicKeyOverride?: string) => Promise<{
+    time: number;
+    sent: string;
+    recv: string;
+    notaryUrl: string;
+}>;
+//# sourceMappingURL=index.d.ts.map

packages/dapp-verify/public/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAWhC,eAAO,MAAM,KAAK,QACX,MAAM;eAEE,MAAM;uBACE,MAAM;;;;;;;;;MAQ1B,QAAQ,KAAK,CAgCf,CAAC;AAEF,eAAO,MAAM,MAAM,UACV,KAAK,sBACQ,MAAM,KACzB,QAAQ;IACT,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB,CASA,CAAC"}

packages/dapp-verify/public/tlsn.d.ts

@@ -0,0 +1,21 @@
+export default class TLSN {
+    private startPromise;
+    private resolveStart;
+    constructor();
+    start(): Promise<void>;
+    waitForStart(): Promise<any>;
+    prove(url: string, options?: {
+        method?: string;
+        headers?: {
+            [key: string]: string;
+        };
+        body?: string;
+        maxTranscriptSize?: number;
+        notaryUrl?: string;
+        websocketProxyUrl?: string;
+        secretHeaders?: string[];
+        secretResps?: string[];
+    }): Promise<any>;
+    verify(proof: any, pubkey: string): Promise<any>;
+}
+//# sourceMappingURL=tlsn.d.ts.map

packages/dapp-verify/public/tlsn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tlsn.d.ts","sourceRoot":"","sources":["../src/tlsn.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,OAAO,OAAO,IAAI;IACvB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,YAAY,CAAM;;IASpB,KAAK;IAaL,YAAY;IAIZ,KAAK,CACT,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE;QACR,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE;YAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;SAAE,CAAC;QACpC,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;KACxB;IA8BG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM;CAKxC"}

packages/dapp-verify/public/types.d.ts

@@ -0,0 +1,84 @@
+export interface Proof {
+    session: Session;
+    substrings: Substrings;
+    notaryUrl: string;
+}
+export interface Session {
+    header: Header;
+    signature: Signature;
+    session_info: SessionInfo;
+}
+export interface SessionInfo {
+    server_name: ServerName;
+    handshake_decommitment: HandshakeDecommitment;
+}
+export interface HandshakeDecommitment {
+    nonce: number[];
+    data: Data;
+}
+export interface Data {
+    server_cert_details: ServerCERTDetails;
+    server_kx_details: ServerKxDetails;
+    client_random: number[];
+    server_random: number[];
+}
+export interface ServerCERTDetails {
+    cert_chain: Array<number[]>;
+    ocsp_response: number[];
+    scts: null;
+}
+export interface ServerKxDetails {
+    kx_params: number[];
+    kx_sig: KxSig;
+}
+export interface KxSig {
+    scheme: string;
+    sig: number[];
+}
+export interface Header {
+    encoder_seed: number[];
+    merkle_root: number[];
+    sent_len: number;
+    recv_len: number;
+    handshake_summary: HandshakeSummary;
+}
+export interface HandshakeSummary {
+    time: number;
+    server_public_key: ServerPublicKey;
+    handshake_commitment: number[];
+}
+export interface ServerPublicKey {
+    group: string;
+    key: number[];
+}
+export interface ServerName {
+    Dns: string;
+}
+export interface Signature {
+    P256: string;
+}
+export interface Substrings {
+    openings: {
+        [key: string]: Opening[];
+    };
+    inclusion_proof: InclusionProof;
+}
+export interface InclusionProof {
+    proof: any[];
+    total_leaves: number;
+}
+export interface Opening {
+    kind?: string;
+    ranges?: Range[];
+    direction?: string;
+    Blake3?: Blake3;
+}
+export interface Blake3 {
+    data: number[];
+    nonce: number[];
+}
+export interface Range {
+    start: number;
+    end: number;
+}
+//# sourceMappingURL=types.d.ts.map

packages/dapp-verify/public/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IACrB,YAAY,EAAE,WAAW,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,WAAW,EAAE,UAAU,CAAC;IACxB,sBAAsB,EAAE,qBAAqB,CAAC;CAC/C;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAI;IACnB,mBAAmB,EAAE,iBAAiB,CAAC;IACvC,iBAAiB,EAAE,eAAe,CAAC;IACnC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,KAAK,CAAC;CACf;AAED,MAAM,WAAW,KAAK;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,EAAE,CAAC;CACf;AAED,MAAM,WAAW,MAAM;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB,EAAE,eAAe,CAAC;IACnC,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;CACf;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE;QAAE,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,EAAE,CAAA;KAAE,CAAC;IACvC,eAAe,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,GAAG,EAAE,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb"}

packages/dapp-verify/public/worker.d.ts

@@ -0,0 +1,3 @@
+import TLSN from './tlsn';
+export default TLSN;
+//# sourceMappingURL=worker.d.ts.map

packages/dapp-verify/public/worker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker.d.ts","sourceRoot":"","sources":["../src/worker.ts"],"names":[],"mappings":"AACA,OAAO,IAAI,MAAM,QAAQ,CAAC;AAE1B,eAAe,IAAI,CAAC"}

packages/dapp-verify/src/App.tsx

@@ -31,10 +31,14 @@ export const App = () => {
     setProcessing(true);
     const p = await prove('https://example.com', {
       method: 'GET',
+      body: '',
+      headers: {
+      'Accept-Encoding': 'identity',
+      },
       maxTranscriptSize: 1024,
-      notaryUrl: 'http://localhost:7047',
-      websocketProxyUrl: 'ws://localhost:55688',
-    });
+      notaryUrl: 'http://127.0.0.1:7047',
+      websocketProxyUrl: 'ws://127.0.0.1:55688',
+    });r
     setProof(p);
   }, [setProof, setProcessing]);
   useEffect(() => {

packages/dapp-verify/src/index.tsx

@@ -0,0 +1,16 @@
+import ReactDOM from "react-dom/client";
+import { App } from "./App";
+import { setup } from "./mud/setup";
+
+const rootElement = document.getElementById("react-root");
+if (!rootElement) throw new Error("React root not found");
+const root = ReactDOM.createRoot(rootElement);
+
+// TODO: figure out if we actually want this to be async or if we should render something else in the meantime
+
+  root.render(
+  //  <MUDProvider value={result}>
+      <App />
+   // </MUDProvider>
+  );
+

packages/dapp-verify/vite.config.ts

@@ -0,0 +1,72 @@
+import { defineConfig } from "vite";
+import react from "@vitejs/plugin-react";
+import { nodePolyfills } from 'vite-plugin-node-polyfills';
+import inject from '@rollup/plugin-inject';
+import { viteStaticCopy } from 'vite-plugin-static-copy'
+
+export default defineConfig({
+  //assetsInclude: ["**/tlsn-js/build/*.wasm"],
+  plugins: [react(),
+    viteStaticCopy({
+      targets: [
+        {
+          src: 'node_modules/tlsn-js/build/*.wasm',
+          dest: 'packages/dapp/public'
+        }
+      ]
+    }),
+            nodePolyfills({
+      include: ["buffer"],
+      globals: {
+        Buffer: true,
+      },
+    }),
+           
+           ],
+           preview: {
+            proxy: {
+              "/*": {
+                target: 'http://127.0.0.1:4173/',
+                changeOrigin: true,
+                configure: (proxy, options) => {
+                  options.headers = {
+                    "Cross-Origin-Embedder-Policy": "require-corp",
+                    'Cross-Origin-Opener-Policy': 'same-origin',
+                  }
+                },
+              },
+            },
+            headers: {
+              'Cross-Origin-Embedder-Policy': 'require-corp',
+              'Cross-Origin-Opener-Policy': 'same-origin',
+            },
+           },
+  server: {
+    host: '127.0.0.1',
+    port: 3000,
+    cors: false,
+    headers: {
+      'Cross-Origin-Embedder-Policy': 'require-corp',
+      'Cross-Origin-Opener-Policy': 'same-origin',
+    },
+    fs: {
+      strict: false,
+    },
+  },
+  build: {
+    target: "esnext",
+    outDir: "build",
+    minify: true,
+    sourcemap: true,
+    rollupOptions: {
+      plugins: [
+        inject({
+          // cbor-x checks for Buffer on the global object, and the polyfills plugin doesn't cover this case for the
+          // production build (but works in development because Buffer gets injected as a banner, so it's "naturally"
+          // available on the global object)
+          "globalThis.Buffer": ["buffer", "Buffer"],
+        }),
+      ],
+    },
+  },
+});

packages/dapp/src/index.tsx

@@ -1,34 +0,0 @@
-import ReactDOM from "react-dom/client";
-import { App } from "./App";
-import { setup } from "./mud/setup";
-import { MUDProvider } from "./MUDContext";
-import mudConfig from "contracts/mud.config";
-
-const rootElement = document.getElementById("react-root");
-if (!rootElement) throw new Error("React root not found");
-const root = ReactDOM.createRoot(rootElement);
-
-// TODO: figure out if we actually want this to be async or if we should render something else in the meantime
-setup().then(async (result) => {
-  root.render(
-    <MUDProvider value={result}>
-      <App />
-    </MUDProvider>
-  );
-
-  // https://vitejs.dev/guide/env-and-mode.html
-  if (import.meta.env.DEV) {
-    const { mount: mountDevTools } = await import("@latticexyz/dev-tools");
-    mountDevTools({
-      config: mudConfig,
-      publicClient: result.network.publicClient,
-      walletClient: result.network.walletClient,
-      latestBlock$: result.network.latestBlock$,
-      storedBlockLogs$: result.network.storedBlockLogs$,
-      worldAddress: result.network.worldContract.address,
-      worldAbi: result.network.worldContract.abi,
-      write$: result.network.write$,
-      useStore: result.network.useStore,
-    });
-  }
-});

packages/dapp/vite.config.ts

@@ -1,39 +0,0 @@
-import { defineConfig } from "vite";
-import react from "@vitejs/plugin-react";
-import inject from '@rollup/plugin-inject'
-import { viteStaticCopy } from 'vite-plugin-static-copy'
-import path from 'path'
-export default defineConfig({
-  plugins: [react(),
-    viteStaticCopy({
-      targets: [
-        {
-          src: 'node_modules/tlsn-js/build/b0eac407bfb6403d3965.wasm',
-          dest: '.',
-        },
-  
-  ],
-}),],
-  server: {
-    port: 3000,
-    cors: true,
-    headers: {
-      'Cross-Origin-Embedder-Policy': 'require-corp',
-      'Cross-Origin-Opener-Policy': 'same-origin',
-    },
-    fs: {
-      strict: false,
-    },
-  },
-  publicDir: 'assets',
-
-  build: {
-    target: "es2022",
-    minify: true,
-    sourcemap: true,
-    rollupOptions: {
-		//	plugins: [inject({	modules: { Buffer: ['buffer', 'Buffer'] }
-   // })],
-		},
-  },
-});

packages/webapp-prove/.eslintrc.cjs

@@ -0,0 +1,18 @@
+module.exports = {
+  root: true,
+  env: { browser: true, es2020: true },
+  extends: [
+    'eslint:recommended',
+    'plugin:@typescript-eslint/recommended',
+    'plugin:react-hooks/recommended',
+  ],
+  ignorePatterns: ['dist', '.eslintrc.cjs'],
+  parser: '@typescript-eslint/parser',
+  plugins: ['react-refresh'],
+  rules: {
+    'react-refresh/only-export-components': [
+      'warn',
+      { allowConstantExport: true },
+    ],
+  },
+}

packages/webapp-prove/.gitignore

@@ -0,0 +1,24 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+lerna-debug.log*
+
+node_modules
+dist
+dist-ssr
+*.local
+
+# Editor directories and files
+.vscode/*
+!.vscode/extensions.json
+.idea
+.DS_Store
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?

packages/webapp-prove/README.md

@@ -0,0 +1,30 @@
+# React + TypeScript + Vite
+
+This template provides a minimal setup to get React working in Vite with HMR and some ESLint rules.
+
+Currently, two official plugins are available:
+
+- [@vitejs/plugin-react](https://github.com/vitejs/vite-plugin-react/blob/main/packages/plugin-react/README.md) uses [Babel](https://babeljs.io/) for Fast Refresh
+- [@vitejs/plugin-react-swc](https://github.com/vitejs/vite-plugin-react-swc) uses [SWC](https://swc.rs/) for Fast Refresh
+
+## Expanding the ESLint configuration
+
+If you are developing a production application, we recommend updating the configuration to enable type aware lint rules:
+
+- Configure the top-level `parserOptions` property like this:
+
+```js
+export default {
+  // other rules...
+  parserOptions: {
+    ecmaVersion: 'latest',
+    sourceType: 'module',
+    project: ['./tsconfig.json', './tsconfig.node.json'],
+    tsconfigRootDir: __dirname,
+  },
+}
+```
+
+- Replace `plugin:@typescript-eslint/recommended` to `plugin:@typescript-eslint/recommended-type-checked` or `plugin:@typescript-eslint/strict-type-checked`
+- Optionally add `plugin:@typescript-eslint/stylistic-type-checked`
+- Install [eslint-plugin-react](https://github.com/jsx-eslint/eslint-plugin-react) and add `plugin:react/recommended` & `plugin:react/jsx-runtime` to the `extends` list

packages/webapp-prove/index.html

@@ -0,0 +1,13 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <link rel="icon" type="image/svg+xml" href="/vite.svg" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>Vite + React + TS</title>
+  </head>
+  <body>
+    <div id="root"></div>
+    <script type="module" src="/src/main.tsx"></script>
+  </body>
+</html>

packages/webapp-prove/package.json

@@ -0,0 +1,32 @@
+{
+  "name": "webapp-prove",
+  "private": true,
+  "version": "0.0.0",
+  "type": "module",
+  "scripts": {
+    "dev": "vite",
+    "build": "tsc && vite build",
+    "lint": "eslint . --ext ts,tsx --report-unused-disable-directives --max-warnings 0",
+    "preview": "vite preview"
+  },
+  "dependencies": {
+    "@rollup/plugin-inject": "^5.0.5",
+    "@vitejs/plugin-basic-ssl": "^1.1.0",
+    "react": "^18.2.0",
+    "react-dom": "^18.2.0",
+    "vite-plugin-node-polyfills": "^0.21.0",
+    "vite-plugin-static-copy": "^1.0.1"
+  },
+  "devDependencies": {
+    "@types/react": "^18.2.64",
+    "@types/react-dom": "^18.2.21",
+    "@typescript-eslint/eslint-plugin": "^7.1.1",
+    "@typescript-eslint/parser": "^7.1.1",
+    "@vitejs/plugin-react": "^4.2.1",
+    "eslint": "^8.57.0",
+    "eslint-plugin-react-hooks": "^4.6.0",
+    "eslint-plugin-react-refresh": "^0.4.5",
+    "typescript": "^5.2.2",
+    "vite": "^5.1.6"
+  }
+}

packages/webapp-prove/public/vite.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="31.88" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 257"><defs><linearGradient id="IconifyId1813088fe1fbc01fb466" x1="-.828%" x2="57.636%" y1="7.652%" y2="78.411%"><stop offset="0%" stop-color="#41D1FF"></stop><stop offset="100%" stop-color="#BD34FE"></stop></linearGradient><linearGradient id="IconifyId1813088fe1fbc01fb467" x1="43.376%" x2="50.316%" y1="2.242%" y2="89.03%"><stop offset="0%" stop-color="#FFEA83"></stop><stop offset="8.333%" stop-color="#FFDD35"></stop><stop offset="100%" stop-color="#FFA800"></stop></linearGradient></defs><path fill="url(#IconifyId1813088fe1fbc01fb466)" d="M255.153 37.938L134.897 252.976c-2.483 4.44-8.862 4.466-11.382.048L.875 37.958c-2.746-4.814 1.371-10.646 6.827-9.67l120.385 21.517a6.537 6.537 0 0 0 2.322-.004l117.867-21.483c5.438-.991 9.574 4.796 6.877 9.62Z"></path><path fill="url(#IconifyId1813088fe1fbc01fb467)" d="M185.432.063L96.44 17.501a3.268 3.268 0 0 0-2.634 3.014l-5.474 92.456a3.268 3.268 0 0 0 3.997 3.378l24.777-5.718c2.318-.535 4.413 1.507 3.936 3.838l-7.361 36.047c-.495 2.426 1.782 4.5 4.151 3.78l15.304-4.649c2.372-.72 4.652 1.36 4.15 3.788l-11.698 56.621c-.732 3.542 3.979 5.473 5.943 2.437l1.313-2.028l72.516-144.72c1.215-2.423-.88-5.186-3.54-4.672l-25.505 4.922c-2.396.462-4.435-1.77-3.759-4.114l16.646-57.705c.677-2.35-1.37-4.583-3.769-4.113Z"></path></svg>

packages/webapp-prove/src/App.css

@@ -0,0 +1,42 @@
+#root {
+  max-width: 1280px;
+  margin: 0 auto;
+  padding: 2rem;
+  text-align: center;
+}
+
+.logo {
+  height: 6em;
+  padding: 1.5em;
+  will-change: filter;
+  transition: filter 300ms;
+}
+.logo:hover {
+  filter: drop-shadow(0 0 2em #646cffaa);
+}
+.logo.react:hover {
+  filter: drop-shadow(0 0 2em #61dafbaa);
+}
+
+@keyframes logo-spin {
+  from {
+    transform: rotate(0deg);
+  }
+  to {
+    transform: rotate(360deg);
+  }
+}
+
+@media (prefers-reduced-motion: no-preference) {
+  a:nth-of-type(2) .logo {
+    animation: logo-spin infinite 20s linear;
+  }
+}
+
+.card {
+  padding: 2em;
+}
+
+.read-the-docs {
+  color: #888;
+}

packages/webapp-prove/src/App.tsx

@@ -0,0 +1,35 @@
+import { useState } from 'react'
+import reactLogo from './assets/react.svg'
+import viteLogo from '/vite.svg'
+import './App.css'
+
+function App() {
+  const [count, setCount] = useState(0)
+
+  return (
+    <>
+      <div>
+        <a href="https://vitejs.dev" target="_blank">
+          <img src={viteLogo} className="logo" alt="Vite logo" />
+        </a>
+        <a href="https://react.dev" target="_blank">
+          <img src={reactLogo} className="logo react" alt="React logo" />
+        </a>
+      </div>
+      <h1>Vite + React</h1>
+      <div className="card">
+        <button onClick={() => setCount((count) => count + 1)}>
+          count is {count}
+        </button>
+        <p>
+          Edit <code>src/App.tsx</code> and save to test HMR
+        </p>
+      </div>
+      <p className="read-the-docs">
+        Click on the Vite and React logos to learn more
+      </p>
+    </>
+  )
+}
+
+export default App

packages/webapp-prove/src/assets/react.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="35.93" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 228"><path fill="#00D8FF" d="M210.483 73.824a171.49 171.49 0 0 0-8.24-2.597c.465-1.9.893-3.777 1.273-5.621c6.238-30.281 2.16-54.676-11.769-62.708c-13.355-7.7-35.196.329-57.254 19.526a171.23 171.23 0 0 0-6.375 5.848a155.866 155.866 0 0 0-4.241-3.917C100.759 3.829 77.587-4.822 63.673 3.233C50.33 10.957 46.379 33.89 51.995 62.588a170.974 170.974 0 0 0 1.892 8.48c-3.28.932-6.445 1.924-9.474 2.98C17.309 83.498 0 98.307 0 113.668c0 15.865 18.582 31.778 46.812 41.427a145.52 145.52 0 0 0 6.921 2.165a167.467 167.467 0 0 0-2.01 9.138c-5.354 28.2-1.173 50.591 12.134 58.266c13.744 7.926 36.812-.22 59.273-19.855a145.567 145.567 0 0 0 5.342-4.923a168.064 168.064 0 0 0 6.92 6.314c21.758 18.722 43.246 26.282 56.54 18.586c13.731-7.949 18.194-32.003 12.4-61.268a145.016 145.016 0 0 0-1.535-6.842c1.62-.48 3.21-.974 4.76-1.488c29.348-9.723 48.443-25.443 48.443-41.52c0-15.417-17.868-30.326-45.517-39.844Zm-6.365 70.984c-1.4.463-2.836.91-4.3 1.345c-3.24-10.257-7.612-21.163-12.963-32.432c5.106-11 9.31-21.767 12.459-31.957c2.619.758 5.16 1.557 7.61 2.4c23.69 8.156 38.14 20.213 38.14 29.504c0 9.896-15.606 22.743-40.946 31.14Zm-10.514 20.834c2.562 12.94 2.927 24.64 1.23 33.787c-1.524 8.219-4.59 13.698-8.382 15.893c-8.067 4.67-25.32-1.4-43.927-17.412a156.726 156.726 0 0 1-6.437-5.87c7.214-7.889 14.423-17.06 21.459-27.246c12.376-1.098 24.068-2.894 34.671-5.345a134.17 134.17 0 0 1 1.386 6.193ZM87.276 214.515c-7.882 2.783-14.16 2.863-17.955.675c-8.075-4.657-11.432-22.636-6.853-46.752a156.923 156.923 0 0 1 1.869-8.499c10.486 2.32 22.093 3.988 34.498 4.994c7.084 9.967 14.501 19.128 21.976 27.15a134.668 134.668 0 0 1-4.877 4.492c-9.933 8.682-19.886 14.842-28.658 17.94ZM50.35 144.747c-12.483-4.267-22.792-9.812-29.858-15.863c-6.35-5.437-9.555-10.836-9.555-15.216c0-9.322 13.897-21.212 37.076-29.293c2.813-.98 5.757-1.905 8.812-2.773c3.204 10.42 7.406 21.315 12.477 32.332c-5.137 11.18-9.399 22.249-12.634 32.792a134.718 134.718 0 0 1-6.318-1.979Zm12.378-84.26c-4.811-24.587-1.616-43.134 6.425-47.789c8.564-4.958 27.502 2.111 47.463 19.835a144.318 144.318 0 0 1 3.841 3.545c-7.438 7.987-14.787 17.08-21.808 26.988c-12.04 1.116-23.565 2.908-34.161 5.309a160.342 160.342 0 0 1-1.76-7.887Zm110.427 27.268a347.8 347.8 0 0 0-7.785-12.803c8.168 1.033 15.994 2.404 23.343 4.08c-2.206 7.072-4.956 14.465-8.193 22.045a381.151 381.151 0 0 0-7.365-13.322Zm-45.032-43.861c5.044 5.465 10.096 11.566 15.065 18.186a322.04 322.04 0 0 0-30.257-.006c4.974-6.559 10.069-12.652 15.192-18.18ZM82.802 87.83a323.167 323.167 0 0 0-7.227 13.238c-3.184-7.553-5.909-14.98-8.134-22.152c7.304-1.634 15.093-2.97 23.209-3.984a321.524 321.524 0 0 0-7.848 12.897Zm8.081 65.352c-8.385-.936-16.291-2.203-23.593-3.793c2.26-7.3 5.045-14.885 8.298-22.6a321.187 321.187 0 0 0 7.257 13.246c2.594 4.48 5.28 8.868 8.038 13.147Zm37.542 31.03c-5.184-5.592-10.354-11.779-15.403-18.433c4.902.192 9.899.29 14.978.29c5.218 0 10.376-.117 15.453-.343c-4.985 6.774-10.018 12.97-15.028 18.486Zm52.198-57.817c3.422 7.8 6.306 15.345 8.596 22.52c-7.422 1.694-15.436 3.058-23.88 4.071a382.417 382.417 0 0 0 7.859-13.026a347.403 347.403 0 0 0 7.425-13.565Zm-16.898 8.101a358.557 358.557 0 0 1-12.281 19.815a329.4 329.4 0 0 1-23.444.823c-7.967 0-15.716-.248-23.178-.732a310.202 310.202 0 0 1-12.513-19.846h.001a307.41 307.41 0 0 1-10.923-20.627a310.278 310.278 0 0 1 10.89-20.637l-.001.001a307.318 307.318 0 0 1 12.413-19.761c7.613-.576 15.42-.876 23.31-.876H128c7.926 0 15.743.303 23.354.883a329.357 329.357 0 0 1 12.335 19.695a358.489 358.489 0 0 1 11.036 20.54a329.472 329.472 0 0 1-11 20.722Zm22.56-122.124c8.572 4.944 11.906 24.881 6.52 51.026c-.344 1.668-.73 3.367-1.15 5.09c-10.622-2.452-22.155-4.275-34.23-5.408c-7.034-10.017-14.323-19.124-21.64-27.008a160.789 160.789 0 0 1 5.888-5.4c18.9-16.447 36.564-22.941 44.612-18.3ZM128 90.808c12.625 0 22.86 10.235 22.86 22.86s-10.235 22.86-22.86 22.86s-22.86-10.235-22.86-22.86s10.235-22.86 22.86-22.86Z"></path></svg>

packages/webapp-prove/src/index.css

@@ -0,0 +1,68 @@
+:root {
+  font-family: Inter, system-ui, Avenir, Helvetica, Arial, sans-serif;
+  line-height: 1.5;
+  font-weight: 400;
+
+  color-scheme: light dark;
+  color: rgba(255, 255, 255, 0.87);
+  background-color: #242424;
+
+  font-synthesis: none;
+  text-rendering: optimizeLegibility;
+  -webkit-font-smoothing: antialiased;
+  -moz-osx-font-smoothing: grayscale;
+}
+
+a {
+  font-weight: 500;
+  color: #646cff;
+  text-decoration: inherit;
+}
+a:hover {
+  color: #535bf2;
+}
+
+body {
+  margin: 0;
+  display: flex;
+  place-items: center;
+  min-width: 320px;
+  min-height: 100vh;
+}
+
+h1 {
+  font-size: 3.2em;
+  line-height: 1.1;
+}
+
+button {
+  border-radius: 8px;
+  border: 1px solid transparent;
+  padding: 0.6em 1.2em;
+  font-size: 1em;
+  font-weight: 500;
+  font-family: inherit;
+  background-color: #1a1a1a;
+  cursor: pointer;
+  transition: border-color 0.25s;
+}
+button:hover {
+  border-color: #646cff;
+}
+button:focus,
+button:focus-visible {
+  outline: 4px auto -webkit-focus-ring-color;
+}
+
+@media (prefers-color-scheme: light) {
+  :root {
+    color: #213547;
+    background-color: #ffffff;
+  }
+  a:hover {
+    color: #747bff;
+  }
+  button {
+    background-color: #f9f9f9;
+  }
+}

packages/webapp-prove/src/main.tsx

@@ -0,0 +1,10 @@
+import React from 'react'
+import ReactDOM from 'react-dom/client'
+import App from './App.tsx'
+import './index.css'
+
+ReactDOM.createRoot(document.getElementById('root')!).render(
+  <React.StrictMode>
+    <App />
+  </React.StrictMode>,
+)

packages/webapp-prove/src/vite-env.d.ts

@@ -0,0 +1 @@
+/// <reference types="vite/client" />

packages/webapp-prove/tsconfig.json

@@ -0,0 +1,25 @@
+{
+  "compilerOptions": {
+    "target": "ES2020",
+    "useDefineForClassFields": true,
+    "lib": ["ES2020", "DOM", "DOM.Iterable"],
+    "module": "ESNext",
+    "skipLibCheck": true,
+
+    /* Bundler mode */
+    "moduleResolution": "bundler",
+    "allowImportingTsExtensions": true,
+    "resolveJsonModule": true,
+    "isolatedModules": true,
+    "noEmit": true,
+    "jsx": "react-jsx",
+
+    /* Linting */
+    "strict": true,
+    "noUnusedLocals": true,
+    "noUnusedParameters": true,
+    "noFallthroughCasesInSwitch": true
+  },
+  "include": ["src"],
+  "references": [{ "path": "./tsconfig.node.json" }]
+}

packages/webapp-prove/tsconfig.node.json

@@ -0,0 +1,11 @@
+{
+  "compilerOptions": {
+    "composite": true,
+    "skipLibCheck": true,
+    "module": "ESNext",
+    "moduleResolution": "bundler",
+    "allowSyntheticDefaultImports": true,
+    "strict": true
+  },
+  "include": ["vite.config.ts"]
+}

packages/webapp-prove/vite.config.ts

@@ -0,0 +1,75 @@
+import { defineConfig } from "vite";
+import react from "@vitejs/plugin-react";
+import { nodePolyfills } from 'vite-plugin-node-polyfills';
+import inject from '@rollup/plugin-inject';
+import { viteStaticCopy } from 'vite-plugin-static-copy';
+
+export default defineConfig({
+  //assetsInclude: ["**/tlsn-js/build/*.wasm"],
+  plugins: [react(),
+    viteStaticCopy({
+      targets: [
+        {
+          src: 'node_modules/tlsn-js/build/*.wasm',
+          dest: 'packages/dapp/public'
+        }
+      ]
+    }),
+            nodePolyfills({
+      include: ["buffer"],
+      globals: {
+        Buffer: true,
+      },
+    }),
+           
+           ],
+           preview: {
+            proxy: {
+              "/*": {
+                target: 'http://127.0.0.1:4173/',
+                changeOrigin: true,
+                configure: (proxy, options) => {
+                  options.headers = {
+                    "Cross-Origin-Embedder-Policy": "require-corp",
+                    'Cross-Origin-Opener-Policy': 'same-origin',
+                  }
+                },
+              },
+            },
+            headers: {
+              'Cross-Origin-Embedder-Policy': 'require-corp',
+              'Cross-Origin-Opener-Policy': 'same-origin',
+            },
+           },
+  server: {
+    https: { key: "../authdecode/notary-server/fixture/tls/notary.key",
+            cert: "../authdecode/notary-server/fixture/tls/notary.crt"
+  },
+    host: '127.0.0.1',
+    port: 3000,
+    cors: false,
+    headers: {
+      'Cross-Origin-Embedder-Policy': 'require-corp',
+      'Cross-Origin-Opener-Policy': 'same-origin',
+    },
+    fs: {
+      strict: false,
+    },
+  },
+  build: {
+    target: "esnext",
+    outDir: "build",
+    minify: true,
+    sourcemap: true,
+    rollupOptions: {
+      plugins: [
+        inject({
+          // cbor-x checks for Buffer on the global object, and the polyfills plugin doesn't cover this case for the
+          // production build (but works in development because Buffer gets injected as a banner, so it's "naturally"
+          // available on the global object)
+          "globalThis.Buffer": ["buffer", "Buffer"],
+        }),
+      ],
+    },
+  },
+});