feat(zk): implement ProvingKey::Load()

See [keygen_pkxxx](https://github.com/kroma-network/halo2/blob/7d0a36990452c8e7ebd600de258420781a9b7917/halo2_proofs/src/plonk/keygen.rs#L261-L407).
kroma-network · Dec 12, 2023 · 3a1b43c · 3a1b43c
1 parent 42bf768
commit 3a1b43c
Show file tree

Hide file tree

Showing 5 changed files with 521 additions and 26 deletions.
diff --git a/tachyon/zk/plonk/circuit/examples/BUILD.bazel b/tachyon/zk/plonk/circuit/examples/BUILD.bazel
@@ -21,7 +21,7 @@ tachyon_cc_unittest(
     deps = [
         ":simple_circuit",
         "//tachyon/zk/base/halo2:halo2_prover_test",
-        "//tachyon/zk/plonk/keys:verifying_key",
+        "//tachyon/zk/plonk/keys:proving_key",
         "//tachyon/zk/plonk/keys/halo2:pinned_verifying_key",
     ],
 )