@proto-kit/protocol 0.1.1-develop.211 → 0.1.1-develop.2137

package/dist/prover/accumulators/WitnessedRootHashList.js

@@ -0,0 +1,51 @@
+import { Field, Provable, Struct } from "o1js";
+import { DefaultProvableHashList } from "../../utils/ProvableHashList";
+/**
+ * Link between a certain applied batch stack and a given root hash that the
+ * stack has to evaluate to at that given point in time
+ */
+export class WitnessedRoot extends Struct({
+    appliedBatchListState: Field,
+    root: Field,
+}) {
+}
+export class WitnessedRootWitness extends Struct({
+    witnessedRoot: Field,
+}) {
+}
+/**
+ * Accumulator as of section "Intermediary state roots" of the STProver v2 spec
+ */
+export class WitnessedRootHashList extends DefaultProvableHashList {
+    constructor(commitment = Field(0), preimage = Field(0)) {
+        super(WitnessedRoot, commitment);
+        this.preimage = preimage;
+    }
+    /**
+     * To be used by the BlockProver or for tracing
+     *
+     * The main purpose of this method compared to the simple push methods
+     * is for deduplicating witnessed roots. We need to do this because the
+     * STProver can only witness once per batch, therefore if multiple witness
+     * points fall back to the same ST (because any batches in between were empty),
+     * this has to be detected and compensated for.
+     * This function does this using the preimage of the current list state.
+     */
+    witnessRoot(witnessedRoot, condition) {
+        // Note, we don't have to validate the preimage here because of the following
+        // 1. If the sequencer doesn't provide the correct witness, the BlockProver's
+        //    equality check will fail
+        // 2. If the list is empty, no preimage exists, therefore condition (2) doesn't
+        //    apply, which is the same outcome when the sequencer provides an arbitrary witness
+        const preimageCheckList = new WitnessedRootHashList(this.preimage).push(witnessedRoot);
+        // Conditions:
+        // (1) don't append if witnessedRoot == finalizedRoot -> Already covered in BlockProver
+        // (2) don't append if preimage.push({ finalizedRoot, pendingSTBatchesHash }) == this.commitment
+        const skipPush = preimageCheckList.commitment.equals(this.commitment);
+        const fromCommitment = this.commitment;
+        const pushCondition = condition.and(skipPush.not());
+        this.pushIf(witnessedRoot, pushCondition);
+        this.preimage = Provable.if(pushCondition, fromCommitment, this.preimage);
+    }
+}
+//# sourceMappingURL=WitnessedRootHashList.js.map

package/dist/prover/accumulators/WitnessedRootHashList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WitnessedRootHashList.js","sourceRoot":"","sources":["../../../src/prover/accumulators/WitnessedRootHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE;;;GAGG;AACH,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC;IACxC,qBAAqB,EAAE,KAAK;IAC5B,IAAI,EAAE,KAAK;CACZ,CAAC;CAAG;AAEL,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC;IAC/C,aAAa,EAAE,KAAK;CACrB,CAAC;CAAG;AAEL;;GAEG;AAEH,MAAM,OAAO,qBAAsB,SAAQ,uBAAsC;IAC/E,YACE,aAAoB,KAAK,CAAC,CAAC,CAAC,EACrB,WAAkB,KAAK,CAAC,CAAC,CAAC;QAEjC,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAF1B,aAAQ,GAAR,QAAQ,CAAkB;IAGnC,CAAC;IAED;;;;;;;;;OASG;IACI,WAAW,CAAC,aAA4B,EAAE,SAAe;QAC9D,6EAA6E;QAC7E,6EAA6E;QAC7E,8BAA8B;QAC9B,+EAA+E;QAC/E,uFAAuF;QACvF,MAAM,iBAAiB,GAAG,IAAI,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CACrE,aAAa,CACd,CAAC;QAEF,cAAc;QACd,uFAAuF;QACvF,gGAAgG;QAChG,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEtE,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC;QAEvC,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;QAE1C,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5E,CAAC;CACF"}