Merge pull request #32 from 0xPolygon/nadim/zkEVM

zkEVM section improvements
0xPolygon · Dec 4, 2023 · 0a1b034 · 0a1b034
2 parents b8e75a6 + 3e53689
commit 0a1b034
Show file tree

Hide file tree

Showing 435 changed files with 3,210 additions and 1,066 deletions.
diff --git a/docs/img/cdk/cdk-block-explorer-empty.png b/docs/img/cdk/cdk-block-explorer-empty.png
diff --git a/docs/img/cdk/cdk-bridge.png b/docs/img/cdk/cdk-bridge.png
diff --git a/docs/img/cdk/zksupernets-dac.png b/docs/img/cdk/zksupernets-dac.png
diff --git a/docs/img/pos/create-app.png b/docs/img/pos/create-app.png
diff --git a/docs/img/pos/polygon-scan.png b/docs/img/pos/polygon-scan.png
diff --git a/docs/img/pos/polygonscan.png b/docs/img/pos/polygonscan.png
diff --git a/docs/img/pos/tw-explore.png b/docs/img/pos/tw-explore.png
diff --git a/docs/img/pos/view-key.png b/docs/img/pos/view-key.png
diff --git a/docs/img/zkEVM/01L2-overview-l2-state-management.png b/docs/img/zkEVM/01L2-overview-l2-state-management.png
diff --git a/docs/img/zkEVM/01arith-sch-mlt-eg.png b/docs/img/zkEVM/01arith-sch-mlt-eg.png
diff --git a/docs/img/zkEVM/01b2f-44-2-one-multiplex.png b/docs/img/zkEVM/01b2f-44-2-one-multiplex.png
diff --git a/docs/img/zkEVM/01bin-cdfctn-3bit-strngs.png b/docs/img/zkEVM/01bin-cdfctn-3bit-strngs.png
diff --git a/docs/img/zkEVM/01circom-witness-zkprover.png b/docs/img/zkEVM/01circom-witness-zkprover.png
diff --git a/docs/img/zkEVM/01kkb-chunk-divs-136-bytes.png b/docs/img/zkEVM/01kkb-chunk-divs-136-bytes.png
diff --git a/docs/img/zkEVM/01kkf-state-array-calibrated.png b/docs/img/zkEVM/01kkf-state-array-calibrated.png
diff --git a/docs/img/zkEVM/01mem-align-schm-mld-eg.png b/docs/img/zkEVM/01mem-align-schm-mld-eg.png
diff --git a/docs/img/zkEVM/01mem-fig-exec-trc.png b/docs/img/zkEVM/01mem-fig-exec-trc.png
diff --git a/docs/img/zkEVM/01msm-evm-components.png b/docs/img/zkEVM/01msm-evm-components.png
diff --git a/docs/img/zkEVM/01pkk-input-strings-allocate.png b/docs/img/zkEVM/01pkk-input-strings-allocate.png
diff --git a/docs/img/zkEVM/01prf-rec-pil-stark.png b/docs/img/zkEVM/01prf-rec-pil-stark.png
diff --git a/docs/img/zkEVM/01psd-hades-based-poseidon-perm.png b/docs/img/zkEVM/01psd-hades-based-poseidon-perm.png
diff --git a/docs/img/zkEVM/01pzb-polygon-zkevm-schema.png b/docs/img/zkEVM/01pzb-polygon-zkevm-schema.png
diff --git a/docs/img/zkEVM/02b2f-44-bits-to-64bit-fe.png b/docs/img/zkEVM/02b2f-44-bits-to-64bit-fe.png
diff --git a/docs/img/zkEVM/02bin-trth-tbls-bitws.png b/docs/img/zkEVM/02bin-trth-tbls-bitws.png
diff --git a/docs/img/zkEVM/02circom-overall-context.png b/docs/img/zkEVM/02circom-overall-context.png
diff --git a/docs/img/zkEVM/02kkb-pad-kk-bit-to-kk-f.png b/docs/img/zkEVM/02kkb-pad-kk-bit-to-kk-f.png
diff --git a/docs/img/zkEVM/02kkf-theta-map-one-bit.png b/docs/img/zkEVM/02kkf-theta-map-one-bit.png
diff --git a/docs/img/zkEVM/02l2-l2-state-timeline.png b/docs/img/zkEVM/02l2-l2-state-timeline.png
diff --git a/docs/img/zkEVM/02mem-align-schm-mstr-eg.png b/docs/img/zkEVM/02mem-align-schm-mstr-eg.png
diff --git a/docs/img/zkEVM/02msm-prover-structure.png b/docs/img/zkEVM/02msm-prover-structure.png
diff --git a/docs/img/zkEVM/02prf-rec-simple-composition.png b/docs/img/zkEVM/02prf-rec-simple-composition.png
diff --git a/docs/img/zkEVM/02psd-poseidon-hash-pic.png b/docs/img/zkEVM/02psd-poseidon-hash-pic.png
diff --git a/docs/img/zkEVM/02pzb-global-exit-tree.png b/docs/img/zkEVM/02pzb-global-exit-tree.png
diff --git a/docs/img/zkEVM/03circom-simple-arith-circuit.png b/docs/img/zkEVM/03circom-simple-arith-circuit.png
diff --git a/docs/img/zkEVM/03kkf-pi-stepmap-shuffle.png b/docs/img/zkEVM/03kkf-pi-stepmap-shuffle.png
diff --git a/docs/img/zkEVM/03l2-sequencing-batches.png b/docs/img/zkEVM/03l2-sequencing-batches.png
diff --git a/docs/img/zkEVM/03msm-state-transition-gen-regs.png b/docs/img/zkEVM/03msm-state-transition-gen-regs.png
diff --git a/docs/img/zkEVM/03prf-rec-setup-phase-rec.png b/docs/img/zkEVM/03prf-rec-setup-phase-rec.png
diff --git a/docs/img/zkEVM/03pzb-exit-leaf-add-L1-L2.png b/docs/img/zkEVM/03pzb-exit-leaf-add-L1-L2.png
diff --git a/docs/img/zkEVM/04circom-batch-prover.png b/docs/img/zkEVM/04circom-batch-prover.png
diff --git a/docs/img/zkEVM/04kkf-chi-map-5bit-row.png b/docs/img/zkEVM/04kkf-chi-map-5bit-row.png
diff --git a/docs/img/zkEVM/04l2-batch-chain-acc-hash.png b/docs/img/zkEVM/04l2-batch-chain-acc-hash.png
diff --git a/docs/img/zkEVM/04msm-simple-state-transition.png b/docs/img/zkEVM/04msm-simple-state-transition.png
diff --git a/docs/img/zkEVM/04prf-rec-proving-phase-rec.png b/docs/img/zkEVM/04prf-rec-proving-phase-rec.png
diff --git a/docs/img/zkEVM/04pzb-overall-interact-bridge-scs.png b/docs/img/zkEVM/04pzb-overall-interact-bridge-scs.png
diff --git a/docs/img/zkEVM/05circom-forming-batch.png b/docs/img/zkEVM/05circom-forming-batch.png
diff --git a/docs/img/zkEVM/05kkf-iota-rc-bits-lfsr.png b/docs/img/zkEVM/05kkf-iota-rc-bits-lfsr.png
diff --git a/docs/img/zkEVM/05l2-off-chain-on-chain-trans.png b/docs/img/zkEVM/05l2-off-chain-on-chain-trans.png
diff --git a/docs/img/zkEVM/05msm-addr-reg-contexts.png b/docs/img/zkEVM/05msm-addr-reg-contexts.png
diff --git a/docs/img/zkEVM/05prf-rec-binary-aggreg-eg.png b/docs/img/zkEVM/05prf-rec-binary-aggreg-eg.png
diff --git a/docs/img/zkEVM/05pzb-l2-related-scs.png b/docs/img/zkEVM/05pzb-l2-related-scs.png
diff --git a/docs/img/zkEVM/06circom-typical-recursive-prover.png b/docs/img/zkEVM/06circom-typical-recursive-prover.png
diff --git a/docs/img/zkEVM/06kkf-all-24-rc-hex.png b/docs/img/zkEVM/06kkf-all-24-rc-hex.png
diff --git a/docs/img/zkEVM/06l2-actor-income-outcomes.png b/docs/img/zkEVM/06l2-actor-income-outcomes.png
diff --git a/docs/img/zkEVM/06msm-eth-state-trie.png b/docs/img/zkEVM/06msm-eth-state-trie.png
diff --git a/docs/img/zkEVM/06prf-rec-setup-s2c-detail.png b/docs/img/zkEVM/06prf-rec-setup-s2c-detail.png
diff --git a/docs/img/zkEVM/06pzb-complete-asset-flow-l1-l2.png b/docs/img/zkEVM/06pzb-complete-asset-flow-l1-l2.png
diff --git a/docs/img/zkvm/07l2-batch-fee-var.png → docs/img/zkEVM/07l2-batch-fee-var.png b/docs/img/zkvm/07l2-batch-fee-var.png → docs/img/zkEVM/07l2-batch-fee-var.png
diff --git a/docs/img/zkEVM/07msm-zkevm-state-trie.png b/docs/img/zkEVM/07msm-zkevm-state-trie.png
diff --git a/docs/img/zkEVM/07prf-rec-inputs-stark-verifier-circuit.png b/docs/img/zkEVM/07prf-rec-inputs-stark-verifier-circuit.png
diff --git a/docs/img/zkEVM/08l2-batches-below-time-target.png b/docs/img/zkEVM/08l2-batches-below-time-target.png
diff --git a/docs/img/zkEVM/08msm-zkevm-memory-regions.png b/docs/img/zkEVM/08msm-zkevm-memory-regions.png
diff --git a/docs/img/zkEVM/08prf-rec-setup-step-c2s.png b/docs/img/zkEVM/08prf-rec-setup-step-c2s.png
diff --git a/docs/img/zkEVM/09l2-forced-batch-seq-flow.png b/docs/img/zkEVM/09l2-forced-batch-seq-flow.png
diff --git a/docs/img/zkEVM/09msm-evm-zkevm-mem-align.png b/docs/img/zkEVM/09msm-evm-zkevm-mem-align.png
diff --git a/docs/img/zkEVM/09prf-rec-stark-prf-rec-step.png b/docs/img/zkEVM/09prf-rec-stark-prf-rec-step.png
diff --git a/docs/img/zkEVM/10l2-diff-trustd-virtual-state.png b/docs/img/zkEVM/10l2-diff-trustd-virtual-state.png
diff --git a/docs/img/zkEVM/10msm-zkevm-stack-slots.png b/docs/img/zkEVM/10msm-zkevm-stack-slots.png
diff --git a/docs/img/zkEVM/10prf-rec-proving-arch-outline.png b/docs/img/zkEVM/10prf-rec-proving-arch-outline.png
diff --git a/docs/img/zkEVM/11l2-stages-timeline-pending.png b/docs/img/zkEVM/11l2-stages-timeline-pending.png
diff --git a/docs/img/zkEVM/11pil-2-progs-2-exec-traces-eg.png b/docs/img/zkEVM/11pil-2-progs-2-exec-traces-eg.png
diff --git a/docs/img/zkEVM/11prf-rec-build-zkevm-stark.png b/docs/img/zkEVM/11prf-rec-build-zkevm-stark.png
diff --git a/docs/img/zkEVM/12prf-rec-convert-verification-to-circuit.png b/docs/img/zkEVM/12prf-rec-convert-verification-to-circuit.png
diff --git a/docs/img/zkEVM/13prf-rec-convert-zkevm-verifier-to-stark.png b/docs/img/zkEVM/13prf-rec-convert-zkevm-verifier-to-stark.png
diff --git a/docs/img/zkEVM/14prf-rec-convert-stark-to-circuit-verifier.png b/docs/img/zkEVM/14prf-rec-convert-stark-to-circuit-verifier.png
diff --git a/docs/img/zkEVM/15prf-rec-convert-circuit-to-assoc-stark.png b/docs/img/zkEVM/15prf-rec-convert-circuit-to-assoc-stark.png
diff --git a/docs/img/zkEVM/16prf-rec-recursive2-circuit.png b/docs/img/zkEVM/16prf-rec-recursive2-circuit.png
diff --git a/docs/img/zkEVM/17pil2-table-proga-progb-perm-args-1st-eg-table.png b/docs/img/zkEVM/17pil2-table-proga-progb-perm-args-1st-eg-table.png
diff --git a/docs/img/zkEVM/17prf-rec-stark-to-circuit-recursive2.png b/docs/img/zkEVM/17prf-rec-stark-to-circuit-recursive2.png
diff --git a/docs/img/zkEVM/18pil2-two-table-proga-progb-exec-traces.png b/docs/img/zkEVM/18pil2-two-table-proga-progb-exec-traces.png
diff --git a/docs/img/zkEVM/18prf-rec-recursive2-circuit-2-stark.png b/docs/img/zkEVM/18prf-rec-recursive2-circuit-2-stark.png
diff --git a/docs/img/zkEVM/19prf-rec-recursive2-stark-to-recursivef-circuit.png b/docs/img/zkEVM/19prf-rec-recursive2-stark-to-recursivef-circuit.png
diff --git a/docs/img/zkEVM/20prf-rec-recursivef-circuit-2-stark.png b/docs/img/zkEVM/20prf-rec-recursivef-circuit-2-stark.png
diff --git a/docs/img/zkEVM/21pil2-exec-trace-connection-arg.png b/docs/img/zkEVM/21pil2-exec-trace-connection-arg.png
diff --git a/docs/img/zkEVM/21prf-rec-recursivef-stark-to-final-circom.png b/docs/img/zkEVM/21prf-rec-recursivef-stark-to-final-circom.png
diff --git a/docs/img/zkEVM/22pil2-multi-column-connection-arg.png b/docs/img/zkEVM/22pil2-multi-column-connection-arg.png
diff --git a/docs/img/zkEVM/22prf-rec-generation-stark-proof-for-recursivef.png b/docs/img/zkEVM/22prf-rec-generation-stark-proof-for-recursivef.png
diff --git a/docs/img/zkEVM/23prf-rec-generation-stark-proof-for-c12.png b/docs/img/zkEVM/23prf-rec-generation-stark-proof-for-c12.png
diff --git a/docs/img/zkEVM/24pil2-plonk-like-circuit.png b/docs/img/zkEVM/24pil2-plonk-like-circuit.png
diff --git a/docs/img/zkEVM/24prf-rec-generation-stark-proof-for-recursive1.png b/docs/img/zkEVM/24prf-rec-generation-stark-proof-for-recursive1.png
diff --git a/docs/img/zkEVM/25pil2-exec-circuit-plonk-like-circuit.png b/docs/img/zkEVM/25pil2-exec-circuit-plonk-like-circuit.png
diff --git a/docs/img/zkEVM/25prf-rec-generation-stark-proof-for-recursive2.png b/docs/img/zkEVM/25prf-rec-generation-stark-proof-for-recursive2.png
diff --git a/docs/img/zkEVM/26prf-rec-generation-zkevm-proof.png b/docs/img/zkEVM/26prf-rec-generation-zkevm-proof.png
diff --git a/docs/img/zkEVM/CPU.png b/docs/img/zkEVM/CPU.png
diff --git a/docs/img/zkEVM/big-picture.png b/docs/img/zkEVM/big-picture.png
diff --git a/docs/img/zkEVM/fib10-pil-eg-mfibonacci.png b/docs/img/zkEVM/fib10-pil-eg-mfibonacci.png
diff --git a/docs/img/zkEVM/fib11-pilcom-res-mfibon.png b/docs/img/zkEVM/fib11-pilcom-res-mfibon.png
diff --git a/docs/img/zkEVM/fib12-inside-parsed-pil.png b/docs/img/zkEVM/fib12-inside-parsed-pil.png
diff --git a/docs/img/zkEVM/fib13-pil-stark-setup.png b/docs/img/zkEVM/fib13-pil-stark-setup.png
diff --git a/docs/img/zkEVM/fib14-pil-stark-in-prover.png b/docs/img/zkEVM/fib14-pil-stark-in-prover.png
diff --git a/docs/img/zkEVM/fib15-pil-stark-in-verifier.png b/docs/img/zkEVM/fib15-pil-stark-in-verifier.png
diff --git a/docs/img/zkEVM/fib17-mfib-pil-w-pubs.png b/docs/img/zkEVM/fib17-mfib-pil-w-pubs.png
diff --git a/docs/img/zkEVM/fib18-non-empt-pubs-field.png b/docs/img/zkEVM/fib18-non-empt-pubs-field.png
diff --git a/docs/img/zkEVM/fib19-init-node-project.png b/docs/img/zkEVM/fib19-init-node-project.png
diff --git a/docs/img/zkEVM/fib20-dependncs-install-mfib.png b/docs/img/zkEVM/fib20-dependncs-install-mfib.png
diff --git a/docs/img/zkEVM/fib4-deterministic-compt.png b/docs/img/zkEVM/fib4-deterministic-compt.png
diff --git a/docs/img/zkEVM/fib5-design-approach-outline.png b/docs/img/zkEVM/fib5-design-approach-outline.png
diff --git a/docs/img/zkEVM/fib6-mfibon-sm-2-regs.png b/docs/img/zkEVM/fib6-mfibon-sm-2-regs.png
diff --git a/docs/img/zkEVM/fib7-mfibon-sm-3-regs.png b/docs/img/zkEVM/fib7-mfibon-sm-3-regs.png
diff --git a/docs/img/zkEVM/fib8-code-eg-exec-trace.png b/docs/img/zkEVM/fib8-code-eg-exec-trace.png
diff --git a/docs/img/zkEVM/fib9-stark-prf-sizes-times.png b/docs/img/zkEVM/fib9-stark-prf-sizes-times.png
diff --git a/docs/img/zkEVM/fig-micro-pro-pic.png b/docs/img/zkEVM/fig-micro-pro-pic.png
diff --git a/docs/img/zkEVM/fig1-gen-state-mchn.png b/docs/img/zkEVM/fig1-gen-state-mchn.png
diff --git a/docs/img/zkEVM/fig1-simpl-arch.png b/docs/img/zkEVM/fig1-simpl-arch.png
diff --git a/docs/img/zkEVM/fig1-zkprv-and-node.png b/docs/img/zkEVM/fig1-zkprv-and-node.png
diff --git a/docs/img/zkEVM/fig10-key-not-set-eg.png b/docs/img/zkEVM/fig10-key-not-set-eg.png
diff --git a/docs/img/zkEVM/fig11-val-update-eg.png b/docs/img/zkEVM/fig11-val-update-eg.png
diff --git a/docs/img/zkEVM/fig12-crt-zero-node.png b/docs/img/zkEVM/fig12-crt-zero-node.png
diff --git a/docs/img/zkEVM/fig13-a-crt-nzleaf-ext.png b/docs/img/zkEVM/fig13-a-crt-nzleaf-ext.png
diff --git a/docs/img/zkEVM/fig13-b-crt-nzleaf-xt.png b/docs/img/zkEVM/fig13-b-crt-nzleaf-xt.png
diff --git a/docs/img/zkEVM/fig14-a-dlt-nz-sib.png b/docs/img/zkEVM/fig14-a-dlt-nz-sib.png
diff --git a/docs/img/zkEVM/fig14-b-dlt-z-sib.png b/docs/img/zkEVM/fig14-b-dlt-z-sib.png
diff --git a/docs/img/zkEVM/fig15-path-frm-key.png b/docs/img/zkEVM/fig15-path-frm-key.png
diff --git a/docs/img/zkEVM/fig16-posdn-eg.png b/docs/img/zkEVM/fig16-posdn-eg.png
diff --git a/docs/img/zkEVM/fig2-actions-sec-sm.png b/docs/img/zkEVM/fig2-actions-sec-sm.png
diff --git a/docs/img/zkEVM/fig2-mkl-tree-gen.png b/docs/img/zkEVM/fig2-mkl-tree-gen.png
diff --git a/docs/img/zkvm/fig2-simple-poe.png → docs/img/zkEVM/fig2-simple-poe.png b/docs/img/zkvm/fig2-simple-poe.png → docs/img/zkEVM/fig2-simple-poe.png
diff --git a/docs/img/zkEVM/fig3-zkNode-arch.png b/docs/img/zkEVM/fig3-zkNode-arch.png
diff --git a/docs/img/zkEVM/fig4-sngl-kv-eg.png b/docs/img/zkEVM/fig4-sngl-kv-eg.png
diff --git a/docs/img/zkvm/fig4-zkProv-arch.png → docs/img/zkEVM/fig4-zkProv-arch.png b/docs/img/zkvm/fig4-zkProv-arch.png → docs/img/zkEVM/fig4-zkProv-arch.png
diff --git a/docs/img/zkEVM/fig5-a-mpt-kv-eg.png b/docs/img/zkEVM/fig5-a-mpt-kv-eg.png
diff --git a/docs/img/zkEVM/fig5-b-mpt-kv-eg.png b/docs/img/zkEVM/fig5-b-mpt-kv-eg.png
diff --git a/docs/img/zkEVM/fig5-c-mpt-kv-eg.png b/docs/img/zkEVM/fig5-c-mpt-kv-eg.png
diff --git a/docs/img/zkEVM/fig5-main-prts-zkpr.png b/docs/img/zkEVM/fig5-main-prts-zkpr.png
diff --git a/docs/img/zkEVM/fig6-mpt-gen-eg.png b/docs/img/zkEVM/fig6-mpt-gen-eg.png
diff --git a/docs/img/zkEVM/fig7-fake-leaf-eg.png b/docs/img/zkEVM/fig7-fake-leaf-eg.png
diff --git a/docs/img/zkEVM/fig8-non-binding-eg.png b/docs/img/zkEVM/fig8-non-binding-eg.png
diff --git a/docs/img/zkEVM/fig9-zk-mkl-prf.png b/docs/img/zkEVM/fig9-zk-mkl-prf.png
diff --git a/docs/img/zkvm/flatten-code-remix.png → docs/img/zkEVM/flatten-code-remix.png b/docs/img/zkvm/flatten-code-remix.png → docs/img/zkEVM/flatten-code-remix.png
diff --git a/docs/img/zkEVM/gen1-typical-gen-sm.png b/docs/img/zkEVM/gen1-typical-gen-sm.png
diff --git a/docs/img/zkEVM/gen2-mfib-exec-w-inputs.png b/docs/img/zkEVM/gen2-mfib-exec-w-inputs.png
diff --git a/docs/img/zkEVM/gen3-gen-sm-w-input-instrctn.png b/docs/img/zkEVM/gen3-gen-sm-w-input-instrctn.png
diff --git a/docs/img/zkEVM/gen4-sm-alg-processor.png b/docs/img/zkEVM/gen4-sm-alg-processor.png
diff --git a/docs/img/zkEVM/gen5-sm-exec-broader-contxt.png b/docs/img/zkEVM/gen5-sm-exec-broader-contxt.png
diff --git a/docs/img/zkEVM/gen6-pil-4instrct-prog.png b/docs/img/zkEVM/gen6-pil-4instrct-prog.png
diff --git a/docs/img/zkEVM/gen7-state-machine-w-zkpc.png b/docs/img/zkEVM/gen7-state-machine-w-zkpc.png
diff --git a/docs/img/zkEVM/gen8-end-prog-w-loop.png b/docs/img/zkEVM/gen8-end-prog-w-loop.png
diff --git a/docs/img/zkEVM/governance-tree.png b/docs/img/zkEVM/governance-tree.png
diff --git a/docs/img/zkEVM/hsh01-sponge-construction.png b/docs/img/zkEVM/hsh01-sponge-construction.png
diff --git a/docs/img/zkEVM/hsh02-sm-kk-framework.png b/docs/img/zkEVM/hsh02-sm-kk-framework.png
diff --git a/docs/img/zkEVM/lxly-1-v1-asset-transfer.png b/docs/img/zkEVM/lxly-1-v1-asset-transfer.png
diff --git a/docs/img/zkEVM/lxly-2-new-bridge-design.png b/docs/img/zkEVM/lxly-2-new-bridge-design.png
diff --git a/docs/img/zkEVM/lxly-3-flow-rollupmanager.png b/docs/img/zkEVM/lxly-3-flow-rollupmanager.png
diff --git a/docs/img/zkEVM/machine-cycle.png b/docs/img/zkEVM/machine-cycle.png
diff --git a/docs/img/zkEVM/plook-ops-mainSM-copy.png b/docs/img/zkEVM/plook-ops-mainSM-copy.png
diff --git a/docs/img/zkEVM/plook-ops-mainSM.png b/docs/img/zkEVM/plook-ops-mainSM.png
diff --git a/docs/img/zkEVM/plookup-generic-sm-pil.png b/docs/img/zkEVM/plookup-generic-sm-pil.png
diff --git a/docs/img/zkEVM/security-council-overview.png b/docs/img/zkEVM/security-council-overview.png
diff --git a/docs/img/zkEVM/sm-topology-1.png b/docs/img/zkEVM/sm-topology-1.png
diff --git a/docs/img/zkEVM/sm-topology-2.png b/docs/img/zkEVM/sm-topology-2.png
diff --git a/docs/img/zkEVM/sm-topology-3.png b/docs/img/zkEVM/sm-topology-3.png
diff --git a/docs/img/zkEVM/tup-pattern.png b/docs/img/zkEVM/tup-pattern.png
diff --git a/docs/img/zkvm/tutorial.mp4 → docs/img/zkEVM/tutorial.mp4 b/docs/img/zkvm/tutorial.mp4 → docs/img/zkEVM/tutorial.mp4
diff --git a/docs/img/zkEVM/upgrade-overview.png b/docs/img/zkEVM/upgrade-overview.png
diff --git a/docs/img/zkvm/zkevmwallettestnet.mp4 → docs/img/zkEVM/zkevmwallettestnet.mp4 b/docs/img/zkvm/zkevmwallettestnet.mp4 → docs/img/zkEVM/zkevmwallettestnet.mp4
diff --git a/docs/img/zkEVM/zkv-bridge2.jpg b/docs/img/zkEVM/zkv-bridge2.jpg
diff --git a/docs/img/zkvm/zkv-confirm-zketh.png → docs/img/zkEVM/zkv-confirm-zketh.png b/docs/img/zkvm/zkv-confirm-zketh.png → docs/img/zkEVM/zkv-confirm-zketh.png
diff --git a/docs/img/zkvm/zkv-end-product-nft-code.png → docs/img/zkEVM/zkv-end-product-nft-code.png b/docs/img/zkvm/zkv-end-product-nft-code.png → docs/img/zkEVM/zkv-end-product-nft-code.png
diff --git a/docs/img/zkEVM/zkv-faucet-zketh.png b/docs/img/zkEVM/zkv-faucet-zketh.png
diff --git a/docs/img/zkEVM/zkv-metamask1.jpg b/docs/img/zkEVM/zkv-metamask1.jpg
diff --git a/docs/img/zkEVM/zkv-proj-created-outcome.png b/docs/img/zkEVM/zkv-proj-created-outcome.png
diff --git a/docs/img/zkEVM/zkv-success-deploy-sbtdotsol.png b/docs/img/zkEVM/zkv-success-deploy-sbtdotsol.png
diff --git a/docs/img/zkEVM/zkv-success-forge-build.png b/docs/img/zkEVM/zkv-success-forge-build.png
diff --git a/docs/img/zkEVM/zkv-success-zketh.png b/docs/img/zkEVM/zkv-success-zketh.png
diff --git a/docs/img/zkEVM/zkv-test-forge-build.png b/docs/img/zkEVM/zkv-test-forge-build.png
diff --git a/docs/img/zkEVM/zkv-transaction-history.jpg b/docs/img/zkEVM/zkv-transaction-history.jpg
diff --git a/docs/img/zkEVM/zkv-zkwallet-1.jpg b/docs/img/zkEVM/zkv-zkwallet-1.jpg
diff --git a/docs/img/zkvm/01L2-overview-l2-state-management.png b/docs/img/zkvm/01L2-overview-l2-state-management.png
diff --git a/docs/img/zkvm/01arith-sch-mlt-eg.png b/docs/img/zkvm/01arith-sch-mlt-eg.png
diff --git a/docs/img/zkvm/01b2f-44-2-one-multiplex.png b/docs/img/zkvm/01b2f-44-2-one-multiplex.png
diff --git a/docs/img/zkvm/01bin-cdfctn-3bit-strngs.png b/docs/img/zkvm/01bin-cdfctn-3bit-strngs.png
diff --git a/docs/img/zkvm/01circom-witness-zkprover.png b/docs/img/zkvm/01circom-witness-zkprover.png
diff --git a/docs/img/zkvm/01kkb-chunk-divs-136-bytes.png b/docs/img/zkvm/01kkb-chunk-divs-136-bytes.png
diff --git a/docs/img/zkvm/01kkf-state-array-calibrated.png b/docs/img/zkvm/01kkf-state-array-calibrated.png
diff --git a/docs/img/zkvm/01mem-align-schm-mld-eg.png b/docs/img/zkvm/01mem-align-schm-mld-eg.png
diff --git a/docs/img/zkvm/01mem-fig-exec-trc.png b/docs/img/zkvm/01mem-fig-exec-trc.png
diff --git a/docs/img/zkvm/01msm-evm-components.png b/docs/img/zkvm/01msm-evm-components.png
diff --git a/docs/img/zkvm/01pkk-input-strings-allocate.png b/docs/img/zkvm/01pkk-input-strings-allocate.png
diff --git a/docs/img/zkvm/01prf-rec-pil-stark.png b/docs/img/zkvm/01prf-rec-pil-stark.png
diff --git a/docs/img/zkvm/01psd-hades-based-poseidon-perm.png b/docs/img/zkvm/01psd-hades-based-poseidon-perm.png
diff --git a/docs/img/zkvm/01pzb-polygon-zkevm-schema.png b/docs/img/zkvm/01pzb-polygon-zkevm-schema.png
diff --git a/docs/img/zkvm/02b2f-44-bits-to-64bit-fe.png b/docs/img/zkvm/02b2f-44-bits-to-64bit-fe.png
diff --git a/docs/img/zkvm/02bin-trth-tbls-bitws.png b/docs/img/zkvm/02bin-trth-tbls-bitws.png
diff --git a/docs/img/zkvm/02circom-overall-context.png b/docs/img/zkvm/02circom-overall-context.png
diff --git a/docs/img/zkvm/02kkb-pad-kk-bit-to-kk-f.png b/docs/img/zkvm/02kkb-pad-kk-bit-to-kk-f.png
diff --git a/docs/img/zkvm/02kkf-theta-map-one-bit.png b/docs/img/zkvm/02kkf-theta-map-one-bit.png
diff --git a/docs/img/zkvm/02l2-l2-state-timeline.png b/docs/img/zkvm/02l2-l2-state-timeline.png
diff --git a/docs/img/zkvm/02mem-align-schm-mstr-eg.png b/docs/img/zkvm/02mem-align-schm-mstr-eg.png
diff --git a/docs/img/zkvm/02msm-prover-structure.png b/docs/img/zkvm/02msm-prover-structure.png
diff --git a/docs/img/zkvm/02prf-rec-simple-composition.png b/docs/img/zkvm/02prf-rec-simple-composition.png
diff --git a/docs/img/zkvm/02psd-poseidon-hash-pic.png b/docs/img/zkvm/02psd-poseidon-hash-pic.png
diff --git a/docs/img/zkvm/02pzb-global-exit-tree.png b/docs/img/zkvm/02pzb-global-exit-tree.png
diff --git a/docs/img/zkvm/03circom-simple-arith-circuit.png b/docs/img/zkvm/03circom-simple-arith-circuit.png
diff --git a/docs/img/zkvm/03kkf-pi-stepmap-shuffle.png b/docs/img/zkvm/03kkf-pi-stepmap-shuffle.png
diff --git a/docs/img/zkvm/03l2-sequencing-batches.png b/docs/img/zkvm/03l2-sequencing-batches.png
diff --git a/docs/img/zkvm/03msm-state-transition-gen-regs.png b/docs/img/zkvm/03msm-state-transition-gen-regs.png
diff --git a/docs/img/zkvm/03prf-rec-setup-phase-rec.png b/docs/img/zkvm/03prf-rec-setup-phase-rec.png
diff --git a/docs/img/zkvm/03pzb-exit-leaf-add-L1-L2.png b/docs/img/zkvm/03pzb-exit-leaf-add-L1-L2.png
diff --git a/docs/img/zkvm/04circom-batch-prover.png b/docs/img/zkvm/04circom-batch-prover.png
diff --git a/docs/img/zkvm/04kkf-chi-map-5bit-row.png b/docs/img/zkvm/04kkf-chi-map-5bit-row.png
diff --git a/docs/img/zkvm/04l2-batch-chain-acc-hash.png b/docs/img/zkvm/04l2-batch-chain-acc-hash.png
diff --git a/docs/img/zkvm/04msm-simple-state-transition.png b/docs/img/zkvm/04msm-simple-state-transition.png
diff --git a/docs/img/zkvm/04prf-rec-proving-phase-rec.png b/docs/img/zkvm/04prf-rec-proving-phase-rec.png
diff --git a/docs/img/zkvm/04pzb-overall-interact-bridge-scs.png b/docs/img/zkvm/04pzb-overall-interact-bridge-scs.png
diff --git a/docs/img/zkvm/05circom-forming-batch.png b/docs/img/zkvm/05circom-forming-batch.png
diff --git a/docs/img/zkvm/05kkf-iota-rc-bits-lfsr.png b/docs/img/zkvm/05kkf-iota-rc-bits-lfsr.png
diff --git a/docs/img/zkvm/05l2-off-chain-on-chain-trans.png b/docs/img/zkvm/05l2-off-chain-on-chain-trans.png
diff --git a/docs/img/zkvm/05msm-addr-reg-contexts.png b/docs/img/zkvm/05msm-addr-reg-contexts.png
diff --git a/docs/img/zkvm/05prf-rec-binary-aggreg-eg.png b/docs/img/zkvm/05prf-rec-binary-aggreg-eg.png
diff --git a/docs/img/zkvm/05pzb-l2-related-scs.png b/docs/img/zkvm/05pzb-l2-related-scs.png
diff --git a/docs/img/zkvm/06circom-typical-recursive-prover.png b/docs/img/zkvm/06circom-typical-recursive-prover.png
diff --git a/docs/img/zkvm/06kkf-all-24-rc-hex.png b/docs/img/zkvm/06kkf-all-24-rc-hex.png
diff --git a/docs/img/zkvm/06l2-actor-income-outcomes.png b/docs/img/zkvm/06l2-actor-income-outcomes.png
diff --git a/docs/img/zkvm/06msm-eth-state-trie.png b/docs/img/zkvm/06msm-eth-state-trie.png
diff --git a/docs/img/zkvm/06prf-rec-setup-s2c-detail.png b/docs/img/zkvm/06prf-rec-setup-s2c-detail.png
diff --git a/docs/img/zkvm/06pzb-complete-asset-flow-l1-l2.png b/docs/img/zkvm/06pzb-complete-asset-flow-l1-l2.png
diff --git a/docs/img/zkvm/07msm-zkevm-state-trie.png b/docs/img/zkvm/07msm-zkevm-state-trie.png
diff --git a/docs/img/zkvm/07prf-rec-inputs-stark-verifier-circuit.png b/docs/img/zkvm/07prf-rec-inputs-stark-verifier-circuit.png
diff --git a/docs/img/zkvm/08l2-batches-below-time-target.png b/docs/img/zkvm/08l2-batches-below-time-target.png
diff --git a/docs/img/zkvm/08msm-zkevm-memory-regions.png b/docs/img/zkvm/08msm-zkevm-memory-regions.png
diff --git a/docs/img/zkvm/08prf-rec-setup-step-c2s.png b/docs/img/zkvm/08prf-rec-setup-step-c2s.png
diff --git a/docs/img/zkvm/09l2-forced-batch-seq-flow.png b/docs/img/zkvm/09l2-forced-batch-seq-flow.png
diff --git a/docs/img/zkvm/09msm-evm-zkevm-mem-align.png b/docs/img/zkvm/09msm-evm-zkevm-mem-align.png
diff --git a/docs/img/zkvm/09prf-rec-stark-prf-rec-step.png b/docs/img/zkvm/09prf-rec-stark-prf-rec-step.png
diff --git a/docs/img/zkvm/10l2-diff-trustd-virtual-state.png b/docs/img/zkvm/10l2-diff-trustd-virtual-state.png
diff --git a/docs/img/zkvm/10msm-zkevm-stack-slots.png b/docs/img/zkvm/10msm-zkevm-stack-slots.png
diff --git a/docs/img/zkvm/10prf-rec-proving-arch-outline.png b/docs/img/zkvm/10prf-rec-proving-arch-outline.png
diff --git a/docs/img/zkvm/11l2-stages-timeline-pending.png b/docs/img/zkvm/11l2-stages-timeline-pending.png
diff --git a/docs/img/zkvm/11prf-rec-build-zkevm-stark.png b/docs/img/zkvm/11prf-rec-build-zkevm-stark.png
diff --git a/docs/img/zkvm/12prf-rec-convert-verification-to-circuit.png b/docs/img/zkvm/12prf-rec-convert-verification-to-circuit.png
diff --git a/docs/img/zkvm/13prf-rec-convert-zkevm-verifier-to-stark.png b/docs/img/zkvm/13prf-rec-convert-zkevm-verifier-to-stark.png
diff --git a/docs/img/zkvm/14prf-rec-convert-stark-to-circuit-verifier.png b/docs/img/zkvm/14prf-rec-convert-stark-to-circuit-verifier.png
diff --git a/docs/img/zkvm/15prf-rec-convert-circuit-to-assoc-stark.png b/docs/img/zkvm/15prf-rec-convert-circuit-to-assoc-stark.png
diff --git a/docs/img/zkvm/16prf-rec-recursive2-circuit.png b/docs/img/zkvm/16prf-rec-recursive2-circuit.png
diff --git a/docs/img/zkvm/17prf-rec-stark-to-circuit-recursive2.png b/docs/img/zkvm/17prf-rec-stark-to-circuit-recursive2.png
diff --git a/docs/img/zkvm/18prf-rec-recursive2-circuit-2-stark.png b/docs/img/zkvm/18prf-rec-recursive2-circuit-2-stark.png
diff --git a/docs/img/zkvm/19prf-rec-recursive2-stark-to-recursivef-circuit.png b/docs/img/zkvm/19prf-rec-recursive2-stark-to-recursivef-circuit.png
diff --git a/docs/img/zkvm/20prf-rec-recursivef-circuit-2-stark.png b/docs/img/zkvm/20prf-rec-recursivef-circuit-2-stark.png
diff --git a/docs/img/zkvm/21prf-rec-recursivef-stark-to-final-circom.png b/docs/img/zkvm/21prf-rec-recursivef-stark-to-final-circom.png
diff --git a/docs/img/zkvm/22prf-rec-generation-stark-proof-for-recursivef.png b/docs/img/zkvm/22prf-rec-generation-stark-proof-for-recursivef.png
diff --git a/docs/img/zkvm/23prf-rec-generation-stark-proof-for-c12.png b/docs/img/zkvm/23prf-rec-generation-stark-proof-for-c12.png
diff --git a/docs/img/zkvm/24prf-rec-generation-stark-proof-for-recursive1.png b/docs/img/zkvm/24prf-rec-generation-stark-proof-for-recursive1.png
diff --git a/docs/img/zkvm/25prf-rec-generation-stark-proof-for-recursive2.png b/docs/img/zkvm/25prf-rec-generation-stark-proof-for-recursive2.png
diff --git a/docs/img/zkvm/26prf-rec-generation-zkevm-proof.png b/docs/img/zkvm/26prf-rec-generation-zkevm-proof.png
diff --git a/docs/img/zkvm/fib10-pil-eg-mfibonacci.png b/docs/img/zkvm/fib10-pil-eg-mfibonacci.png
diff --git a/docs/img/zkvm/fib11-pilcom-res-mfibon.png b/docs/img/zkvm/fib11-pilcom-res-mfibon.png
diff --git a/docs/img/zkvm/fib12-inside-parsed-pil.png b/docs/img/zkvm/fib12-inside-parsed-pil.png
diff --git a/docs/img/zkvm/fib13-pil-stark-setup.png b/docs/img/zkvm/fib13-pil-stark-setup.png
diff --git a/docs/img/zkvm/fib14-pil-stark-in-prover.png b/docs/img/zkvm/fib14-pil-stark-in-prover.png
diff --git a/docs/img/zkvm/fib15-pil-stark-in-verifier.png b/docs/img/zkvm/fib15-pil-stark-in-verifier.png
diff --git a/docs/img/zkvm/fib17-mfib-pil-w-pubs.png b/docs/img/zkvm/fib17-mfib-pil-w-pubs.png
diff --git a/docs/img/zkvm/fib18-non-empt-pubs-field.png b/docs/img/zkvm/fib18-non-empt-pubs-field.png
diff --git a/docs/img/zkvm/fib19-init-node-project.png b/docs/img/zkvm/fib19-init-node-project.png
diff --git a/docs/img/zkvm/fib20-dependncs-install-mfib.png b/docs/img/zkvm/fib20-dependncs-install-mfib.png
diff --git a/docs/img/zkvm/fib4-deterministic-compt.png b/docs/img/zkvm/fib4-deterministic-compt.png
diff --git a/docs/img/zkvm/fib5-design-approach-outline.png b/docs/img/zkvm/fib5-design-approach-outline.png
diff --git a/docs/img/zkvm/fib6-mfibon-sm-2-regs.png b/docs/img/zkvm/fib6-mfibon-sm-2-regs.png
diff --git a/docs/img/zkvm/fib7-mfibon-sm-3-regs.png b/docs/img/zkvm/fib7-mfibon-sm-3-regs.png
diff --git a/docs/img/zkvm/fib8-code-eg-exec-trace.png b/docs/img/zkvm/fib8-code-eg-exec-trace.png
diff --git a/docs/img/zkvm/fib9-stark-prf-sizes-times.png b/docs/img/zkvm/fib9-stark-prf-sizes-times.png
diff --git a/docs/img/zkvm/fig-micro-pro-pic.png b/docs/img/zkvm/fig-micro-pro-pic.png
diff --git a/docs/img/zkvm/fig1-gen-state-mchn.png b/docs/img/zkvm/fig1-gen-state-mchn.png
diff --git a/docs/img/zkvm/fig1-simpl-arch.png b/docs/img/zkvm/fig1-simpl-arch.png
diff --git a/docs/img/zkvm/fig1-zkprv-and-node.png b/docs/img/zkvm/fig1-zkprv-and-node.png
diff --git a/docs/img/zkvm/fig10-key-not-set-eg.png b/docs/img/zkvm/fig10-key-not-set-eg.png
diff --git a/docs/img/zkvm/fig11-val-update-eg.png b/docs/img/zkvm/fig11-val-update-eg.png
diff --git a/docs/img/zkvm/fig12-crt-zero-node.png b/docs/img/zkvm/fig12-crt-zero-node.png
diff --git a/docs/img/zkvm/fig13-a-crt-nzleaf-ext.png b/docs/img/zkvm/fig13-a-crt-nzleaf-ext.png
diff --git a/docs/img/zkvm/fig13-b-crt-nzleaf-xt.png b/docs/img/zkvm/fig13-b-crt-nzleaf-xt.png
diff --git a/docs/img/zkvm/fig14-a-dlt-nz-sib.png b/docs/img/zkvm/fig14-a-dlt-nz-sib.png
diff --git a/docs/img/zkvm/fig14-b-dlt-z-sib.png b/docs/img/zkvm/fig14-b-dlt-z-sib.png
diff --git a/docs/img/zkvm/fig15-path-frm-key.png b/docs/img/zkvm/fig15-path-frm-key.png
diff --git a/docs/img/zkvm/fig16-posdn-eg.png b/docs/img/zkvm/fig16-posdn-eg.png
diff --git a/docs/img/zkvm/fig2-actions-sec-sm.png b/docs/img/zkvm/fig2-actions-sec-sm.png
diff --git a/docs/img/zkvm/fig2-mkl-tree-gen.png b/docs/img/zkvm/fig2-mkl-tree-gen.png
diff --git a/docs/img/zkvm/fig3-zkNode-arch.png b/docs/img/zkvm/fig3-zkNode-arch.png
diff --git a/docs/img/zkvm/fig4-sngl-kv-eg.png b/docs/img/zkvm/fig4-sngl-kv-eg.png
diff --git a/docs/img/zkvm/fig5-a-mpt-kv-eg.png b/docs/img/zkvm/fig5-a-mpt-kv-eg.png
diff --git a/docs/img/zkvm/fig5-b-mpt-kv-eg.png b/docs/img/zkvm/fig5-b-mpt-kv-eg.png
diff --git a/docs/img/zkvm/fig5-c-mpt-kv-eg.png b/docs/img/zkvm/fig5-c-mpt-kv-eg.png
diff --git a/docs/img/zkvm/fig5-main-prts-zkpr.png b/docs/img/zkvm/fig5-main-prts-zkpr.png
diff --git a/docs/img/zkvm/fig6-mpt-gen-eg.png b/docs/img/zkvm/fig6-mpt-gen-eg.png
diff --git a/docs/img/zkvm/fig7-fake-leaf-eg.png b/docs/img/zkvm/fig7-fake-leaf-eg.png
diff --git a/docs/img/zkvm/fig8-non-binding-eg.png b/docs/img/zkvm/fig8-non-binding-eg.png
diff --git a/docs/img/zkvm/fig9-zk-mkl-prf.png b/docs/img/zkvm/fig9-zk-mkl-prf.png
diff --git a/docs/img/zkvm/gen1-typical-gen-sm.png b/docs/img/zkvm/gen1-typical-gen-sm.png
diff --git a/docs/img/zkvm/gen2-mfib-exec-w-inputs.png b/docs/img/zkvm/gen2-mfib-exec-w-inputs.png
diff --git a/docs/img/zkvm/gen3-gen-sm-w-input-instrctn.png b/docs/img/zkvm/gen3-gen-sm-w-input-instrctn.png
diff --git a/docs/img/zkvm/gen4-sm-alg-processor.png b/docs/img/zkvm/gen4-sm-alg-processor.png
diff --git a/docs/img/zkvm/gen5-sm-exec-broader-contxt.png b/docs/img/zkvm/gen5-sm-exec-broader-contxt.png