feat!: Add new trusted setup (#61)

* update library to use new trusted setup * use new context method * remove now unused error variant * lint
crate-crypto · Oct 19, 2023 · 3621cc5 · 3621cc5
1 parent 2536295
commit 3621cc5
Show file tree

Hide file tree

Showing 338 changed files with 4,974 additions and 595 deletions.
diff --git a/api.go b/api.go
@@ -35,10 +35,11 @@ var BlsModulus = [32]byte{
 // [G1_POINT_AT_INFINITY]: https://github.com/ethereum/consensus-specs/blob/017a8495f7671f5fff2075a9bfc9238c1a0982f8/specs/deneb/polynomial-commitments.md#constants
 var PointAtInfinity = [48]byte{0xc0}
 
-// NewContext4096Insecure1337 creates a new context object which will hold the state needed for one to use the KZG
-// methods. "4096" denotes that we will only be able to commit to polynomials with at most 4096 evaluations. "Insecure"
-// denotes that this method should not be used in production since the secret (1337) is known.
-func NewContext4096Insecure1337() (*Context, error) {
+// NewContext4096Secure creates a new context object which will hold the state needed for one to use the KZG
+// methods. "4096" denotes that we will only be able to commit to polynomials with at most 4096 evaluations. "Secure"
+// denotes that this method is using a trusted setup file that was generated in an official
+// ceremony. In particular, the trusted file being used was taken from the ethereum KZG ceremony.
+func NewContext4096Secure() (*Context, error) {
 	if ScalarsPerBlob != 4096 {
 		// This is a library bug and so we panic.
 		panic("this method is named `NewContext4096Insecure1337` we expect SCALARS_PER_BLOB to be 4096")
@@ -51,7 +52,7 @@ func NewContext4096Insecure1337() (*Context, error) {
 		return nil, err
 	}
 
-	if ScalarsPerBlob != len(parsedSetup.SetupG1) {
+	if ScalarsPerBlob != len(parsedSetup.SetupG1Lagrange) {
 		// This is a library method and so we panic
 		panic("this method is named `NewContext4096Insecure1337` we expect the number of G1 elements in the trusted setup to be 4096")
 	}
@@ -83,10 +84,7 @@ func NewContext4096(trustedSetup *JSONTrustedSetup) (*Context, error) {
 	}
 
 	// Parse the trusted setup from hex strings to G1 and G2 points
-	genG1, setupLagrangeG1Points, setupG2Points, err := parseTrustedSetup(trustedSetup)
-	if err != nil {
-		return nil, err
-	}
+	genG1, setupLagrangeG1Points, setupG2Points := parseTrustedSetup(trustedSetup)
 
 	// Get the generator points and the degree-1 element for G2 points
 	// The generators are the degree-0 elements in the trusted setup

diff --git a/errors.go b/errors.go
@@ -3,7 +3,6 @@ package gokzg4844
 import "errors"
 
 var (
-	ErrBatchLengthCheck               = errors.New("the number of blobs, commitments, and proofs must be the same")
-	ErrNonCanonicalScalar             = errors.New("scalar is not canonical when interpreted as a big integer in big-endian")
-	errLagrangeMonomialLengthMismatch = errors.New("the number of points in monomial SRS should equal number of points in lagrange SRS")
+	ErrBatchLengthCheck   = errors.New("the number of blobs, commitments, and proofs must be the same")
+	ErrNonCanonicalScalar = errors.New("scalar is not canonical when interpreted as a big integer in big-endian")
 )
diff --git a/examples_test.go b/examples_test.go
@@ -8,7 +8,7 @@ import (
 )
 
 // Globally initialize a ctx for tests.
-var ctx, _ = gokzg4844.NewContext4096Insecure1337()
+var ctx, _ = gokzg4844.NewContext4096Secure()
 
 func TestBlobProveVerifyRandomPointIntegration(t *testing.T) {
 	blob := GetRandBlob(123)

diff --git a/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml b/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml
diff --git a/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml b/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml
diff --git a/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml b/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml
diff --git a/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml b/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml
diff --git a/...ase_valid_blob_0951cfd9ab47a8d3/data.yaml → ...ase_valid_blob_0951cfd9ab47a8d3/data.yaml b/...ase_valid_blob_0951cfd9ab47a8d3/data.yaml → ...ase_valid_blob_0951cfd9ab47a8d3/data.yaml
diff --git a/...ase_valid_blob_19b3f3f8c98ea31e/data.yaml → ...ase_valid_blob_19b3f3f8c98ea31e/data.yaml b/...ase_valid_blob_19b3f3f8c98ea31e/data.yaml → ...ase_valid_blob_19b3f3f8c98ea31e/data.yaml
diff --git a/...ase_valid_blob_84d8089232bc23a8/data.yaml → ...ase_valid_blob_84d8089232bc23a8/data.yaml b/...ase_valid_blob_84d8089232bc23a8/data.yaml → ...ase_valid_blob_84d8089232bc23a8/data.yaml
diff --git a/..._commitment/kzg-mainnet/blob_to_kzg_commitment_case_valid_blob_a87a4e636e0f58fb/data.yaml b/..._commitment/kzg-mainnet/blob_to_kzg_commitment_case_valid_blob_a87a4e636e0f58fb/data.yaml
diff --git a/...ase_valid_blob_c40b9b515df8721b/data.yaml → ...ase_valid_blob_c40b9b515df8721b/data.yaml b/...ase_valid_blob_c40b9b515df8721b/data.yaml → ...ase_valid_blob_c40b9b515df8721b/data.yaml
diff --git a/...ase_valid_blob_cdb3e6d49eb12307/data.yaml → ...ase_valid_blob_cdb3e6d49eb12307/data.yaml b/...ase_valid_blob_cdb3e6d49eb12307/data.yaml → ...ase_valid_blob_cdb3e6d49eb12307/data.yaml
diff --git a/...ase_valid_blob_fb324bc819407148/data.yaml → ...ase_valid_blob_fb324bc819407148/data.yaml b/...ase_valid_blob_fb324bc819407148/data.yaml → ...ase_valid_blob_fb324bc819407148/data.yaml
diff --git a/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml b/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml
diff --git a/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml b/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml
diff --git a/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml b/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml
diff --git a/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml b/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml
diff --git a/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml b/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml
diff --git a/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml b/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml
diff --git a/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml b/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml
diff --git a/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml b/...oof/kzg-mainnet/compute_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml
diff --git a/...ase_valid_blob_0951cfd9ab47a8d3/data.yaml → ...ase_valid_blob_0951cfd9ab47a8d3/data.yaml b/...ase_valid_blob_0951cfd9ab47a8d3/data.yaml → ...ase_valid_blob_0951cfd9ab47a8d3/data.yaml
diff --git a/...ase_valid_blob_19b3f3f8c98ea31e/data.yaml → ...ase_valid_blob_19b3f3f8c98ea31e/data.yaml b/...ase_valid_blob_19b3f3f8c98ea31e/data.yaml → ...ase_valid_blob_19b3f3f8c98ea31e/data.yaml
diff --git a/...ase_valid_blob_84d8089232bc23a8/data.yaml → ...ase_valid_blob_84d8089232bc23a8/data.yaml b/...ase_valid_blob_84d8089232bc23a8/data.yaml → ...ase_valid_blob_84d8089232bc23a8/data.yaml
diff --git a/...b_kzg_proof/kzg-mainnet/compute_blob_kzg_proof_case_valid_blob_a87a4e636e0f58fb/data.yaml b/...b_kzg_proof/kzg-mainnet/compute_blob_kzg_proof_case_valid_blob_a87a4e636e0f58fb/data.yaml
diff --git a/...ase_valid_blob_c40b9b515df8721b/data.yaml → ...ase_valid_blob_c40b9b515df8721b/data.yaml b/...ase_valid_blob_c40b9b515df8721b/data.yaml → ...ase_valid_blob_c40b9b515df8721b/data.yaml
diff --git a/...ase_valid_blob_cdb3e6d49eb12307/data.yaml → ...ase_valid_blob_cdb3e6d49eb12307/data.yaml b/...ase_valid_blob_cdb3e6d49eb12307/data.yaml → ...ase_valid_blob_cdb3e6d49eb12307/data.yaml
diff --git a/...lid_commitment_1a68c47b68148e78/data.yaml → ...ase_valid_blob_fb324bc819407148/data.yaml b/...lid_commitment_1a68c47b68148e78/data.yaml → ...ase_valid_blob_fb324bc819407148/data.yaml
diff --git a/...kzg_proof/small/compute_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml b/...kzg_proof/small/compute_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml
diff --git a/...kzg_proof/small/compute_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml b/...kzg_proof/small/compute_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml
diff --git a/...te_blob_kzg_proof/small/compute_blob_kzg_proof_case_valid_blob_fb324bc819407148/data.yaml b/...te_blob_kzg_proof/small/compute_blob_kzg_proof_case_valid_blob_fb324bc819407148/data.yaml
diff --git a/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml b/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml
diff --git a/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml b/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml
diff --git a/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml b/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml
diff --git a/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml b/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml
diff --git a/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_03265c1605637b1f/data.yaml b/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_03265c1605637b1f/data.yaml
diff --git a/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_881cc19564a97501/data.yaml b/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_881cc19564a97501/data.yaml
diff --git a/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_8e021fdb13259641/data.yaml b/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_8e021fdb13259641/data.yaml
diff --git a/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_9683af102559ddf0/data.yaml b/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_9683af102559ddf0/data.yaml
diff --git a/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_9df8c89b61183887/data.yaml b/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_9df8c89b61183887/data.yaml
diff --git a/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_b30d81e81c1262b6/data.yaml b/...compute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_invalid_z_b30d81e81c1262b6/data.yaml
diff --git a/...ase_valid_blob_02e696ada7d4631d/data.yaml → ...ase_valid_blob_02e696ada7d4631d/data.yaml b/...ase_valid_blob_02e696ada7d4631d/data.yaml → ...ase_valid_blob_02e696ada7d4631d/data.yaml
diff --git a/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_05c1f3685f3393f0/data.yaml b/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_05c1f3685f3393f0/data.yaml
diff --git a/...ase_valid_blob_08f9e2f1cb3d39db/data.yaml → ...ase_valid_blob_08f9e2f1cb3d39db/data.yaml b/...ase_valid_blob_08f9e2f1cb3d39db/data.yaml → ...ase_valid_blob_08f9e2f1cb3d39db/data.yaml
diff --git a/...ase_valid_blob_0cf79b17cb5f4ea2/data.yaml → ...ase_valid_blob_0cf79b17cb5f4ea2/data.yaml b/...ase_valid_blob_0cf79b17cb5f4ea2/data.yaml → ...ase_valid_blob_0cf79b17cb5f4ea2/data.yaml
diff --git a/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_177b58dc7a46b08f/data.yaml b/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_177b58dc7a46b08f/data.yaml
diff --git a/...ase_valid_blob_1ce8e4f69d5df899/data.yaml → ...ase_valid_blob_1ce8e4f69d5df899/data.yaml b/...ase_valid_blob_1ce8e4f69d5df899/data.yaml → ...ase_valid_blob_1ce8e4f69d5df899/data.yaml
diff --git a/...ase_valid_blob_26b753dec0560daa/data.yaml → ...ase_valid_blob_26b753dec0560daa/data.yaml b/...ase_valid_blob_26b753dec0560daa/data.yaml → ...ase_valid_blob_26b753dec0560daa/data.yaml
diff --git a/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_2b76dc9e3abf42f3/data.yaml b/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_2b76dc9e3abf42f3/data.yaml
diff --git a/...ase_valid_blob_31ebd010e6098750/data.yaml → ...ase_valid_blob_31ebd010e6098750/data.yaml b/...ase_valid_blob_31ebd010e6098750/data.yaml → ...ase_valid_blob_31ebd010e6098750/data.yaml
diff --git a/...ase_valid_blob_3208425794224c3f/data.yaml → ...ase_valid_blob_3208425794224c3f/data.yaml b/...ase_valid_blob_3208425794224c3f/data.yaml → ...ase_valid_blob_3208425794224c3f/data.yaml
diff --git a/...ase_valid_blob_36817bfd67de97a8/data.yaml → ...ase_valid_blob_36817bfd67de97a8/data.yaml b/...ase_valid_blob_36817bfd67de97a8/data.yaml → ...ase_valid_blob_36817bfd67de97a8/data.yaml
diff --git a/...ase_valid_blob_392169c16a2e5ef6/data.yaml → ...ase_valid_blob_392169c16a2e5ef6/data.yaml b/...ase_valid_blob_392169c16a2e5ef6/data.yaml → ...ase_valid_blob_392169c16a2e5ef6/data.yaml
diff --git a/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_395cf6d697d1a743/data.yaml b/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_395cf6d697d1a743/data.yaml
diff --git a/...ase_valid_blob_3ac8dc31e9aa6a70/data.yaml → ...ase_valid_blob_3ac8dc31e9aa6a70/data.yaml b/...ase_valid_blob_3ac8dc31e9aa6a70/data.yaml → ...ase_valid_blob_3ac8dc31e9aa6a70/data.yaml
diff --git a/...ase_valid_blob_3c1e8b38219e3e12/data.yaml → ...ase_valid_blob_3c1e8b38219e3e12/data.yaml b/...ase_valid_blob_3c1e8b38219e3e12/data.yaml → ...ase_valid_blob_3c1e8b38219e3e12/data.yaml
diff --git a/...ase_valid_blob_3c87ec986c2656c2/data.yaml → ...ase_valid_blob_3c87ec986c2656c2/data.yaml b/...ase_valid_blob_3c87ec986c2656c2/data.yaml → ...ase_valid_blob_3c87ec986c2656c2/data.yaml
diff --git a/...ase_valid_blob_3cd183d0bab85fb7/data.yaml → ...ase_valid_blob_3cd183d0bab85fb7/data.yaml b/...ase_valid_blob_3cd183d0bab85fb7/data.yaml → ...ase_valid_blob_3cd183d0bab85fb7/data.yaml
diff --git a/...ase_valid_blob_420f2a187ce77035/data.yaml → ...ase_valid_blob_420f2a187ce77035/data.yaml b/...ase_valid_blob_420f2a187ce77035/data.yaml → ...ase_valid_blob_420f2a187ce77035/data.yaml
diff --git a/...ase_valid_blob_444b73ff54a19b44/data.yaml → ...ase_valid_blob_444b73ff54a19b44/data.yaml b/...ase_valid_blob_444b73ff54a19b44/data.yaml → ...ase_valid_blob_444b73ff54a19b44/data.yaml
diff --git a/...ase_valid_blob_53a9bdf4f75196da/data.yaml → ...ase_valid_blob_53a9bdf4f75196da/data.yaml b/...ase_valid_blob_53a9bdf4f75196da/data.yaml → ...ase_valid_blob_53a9bdf4f75196da/data.yaml
diff --git a/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_585454b31673dd62/data.yaml b/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_585454b31673dd62/data.yaml
diff --git a/...ase_valid_blob_7db4f140a955dd1a/data.yaml → ...ase_valid_blob_7db4f140a955dd1a/data.yaml b/...ase_valid_blob_7db4f140a955dd1a/data.yaml → ...ase_valid_blob_7db4f140a955dd1a/data.yaml
diff --git a/...ase_valid_blob_83e53423a2dd93fe/data.yaml → ...ase_valid_blob_83e53423a2dd93fe/data.yaml b/...ase_valid_blob_83e53423a2dd93fe/data.yaml → ...ase_valid_blob_83e53423a2dd93fe/data.yaml
diff --git a/...ase_valid_blob_9b24f8997145435c/data.yaml → ...ase_valid_blob_9b24f8997145435c/data.yaml b/...ase_valid_blob_9b24f8997145435c/data.yaml → ...ase_valid_blob_9b24f8997145435c/data.yaml
diff --git a/...ase_valid_blob_9b754afb690c47e1/data.yaml → ...ase_valid_blob_9b754afb690c47e1/data.yaml b/...ase_valid_blob_9b754afb690c47e1/data.yaml → ...ase_valid_blob_9b754afb690c47e1/data.yaml
diff --git a/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_a0be66af9a97ea52/data.yaml b/...ompute_kzg_proof/kzg-mainnet/compute_kzg_proof_case_valid_blob_a0be66af9a97ea52/data.yaml
diff --git a/...ase_valid_blob_af669445747d2585/data.yaml → ...ase_valid_blob_af669445747d2585/data.yaml b/...ase_valid_blob_af669445747d2585/data.yaml → ...ase_valid_blob_af669445747d2585/data.yaml
diff --git a/...ase_valid_blob_af8b75f664ed7d43/data.yaml → ...ase_valid_blob_af8b75f664ed7d43/data.yaml b/...ase_valid_blob_af8b75f664ed7d43/data.yaml → ...ase_valid_blob_af8b75f664ed7d43/data.yaml
diff --git a/...ase_valid_blob_b6cb6698327d9835/data.yaml → ...ase_valid_blob_b6cb6698327d9835/data.yaml b/...ase_valid_blob_b6cb6698327d9835/data.yaml → ...ase_valid_blob_b6cb6698327d9835/data.yaml
diff --git a/...ase_valid_blob_b6ec3736f9ff2c62/data.yaml → ...ase_valid_blob_b6ec3736f9ff2c62/data.yaml b/...ase_valid_blob_b6ec3736f9ff2c62/data.yaml → ...ase_valid_blob_b6ec3736f9ff2c62/data.yaml
diff --git a/...ase_valid_blob_becf2e1641bbd4e6/data.yaml → ...ase_valid_blob_becf2e1641bbd4e6/data.yaml b/...ase_valid_blob_becf2e1641bbd4e6/data.yaml → ...ase_valid_blob_becf2e1641bbd4e6/data.yaml
diff --git a/...ase_valid_blob_c3d4322ec17fe7cd/data.yaml → ...ase_valid_blob_c3d4322ec17fe7cd/data.yaml b/...ase_valid_blob_c3d4322ec17fe7cd/data.yaml → ...ase_valid_blob_c3d4322ec17fe7cd/data.yaml
diff --git a/...ase_valid_blob_c5e1490d672d026d/data.yaml → ...ase_valid_blob_c5e1490d672d026d/data.yaml b/...ase_valid_blob_c5e1490d672d026d/data.yaml → ...ase_valid_blob_c5e1490d672d026d/data.yaml
diff --git a/...ase_valid_blob_cae5d3491190b777/data.yaml → ...ase_valid_blob_cae5d3491190b777/data.yaml b/...ase_valid_blob_cae5d3491190b777/data.yaml → ...ase_valid_blob_cae5d3491190b777/data.yaml
diff --git a/...ase_valid_blob_d0992bc0387790a4/data.yaml → ...ase_valid_blob_d0992bc0387790a4/data.yaml b/...ase_valid_blob_d0992bc0387790a4/data.yaml → ...ase_valid_blob_d0992bc0387790a4/data.yaml
diff --git a/...ase_valid_blob_d736268229bd87ec/data.yaml → ...ase_valid_blob_d736268229bd87ec/data.yaml b/...ase_valid_blob_d736268229bd87ec/data.yaml → ...ase_valid_blob_d736268229bd87ec/data.yaml
diff --git a/...ase_valid_blob_e68d7111a2364a49/data.yaml → ...ase_valid_blob_e68d7111a2364a49/data.yaml b/...ase_valid_blob_e68d7111a2364a49/data.yaml → ...ase_valid_blob_e68d7111a2364a49/data.yaml
diff --git a/...ase_valid_blob_ed6b180ec759bcf6/data.yaml → ...ase_valid_blob_ed6b180ec759bcf6/data.yaml b/...ase_valid_blob_ed6b180ec759bcf6/data.yaml → ...ase_valid_blob_ed6b180ec759bcf6/data.yaml
diff --git a/...ase_valid_blob_f0ed3dc11cdeb130/data.yaml → ...ase_valid_blob_f0ed3dc11cdeb130/data.yaml b/...ase_valid_blob_f0ed3dc11cdeb130/data.yaml → ...ase_valid_blob_f0ed3dc11cdeb130/data.yaml
diff --git a/...ase_valid_blob_f47eb9fc139f6bfd/data.yaml → ...ase_valid_blob_f47eb9fc139f6bfd/data.yaml b/...ase_valid_blob_f47eb9fc139f6bfd/data.yaml → ...ase_valid_blob_f47eb9fc139f6bfd/data.yaml
diff --git a/...ase_valid_blob_f7f44e1e864aa967/data.yaml → ...ase_valid_blob_f7f44e1e864aa967/data.yaml b/...ase_valid_blob_f7f44e1e864aa967/data.yaml → ...ase_valid_blob_f7f44e1e864aa967/data.yaml
diff --git a/...ase_valid_blob_ffa6e97b97146517/data.yaml → ...ase_valid_blob_ffa6e97b97146517/data.yaml b/...ase_valid_blob_ffa6e97b97146517/data.yaml → ...ase_valid_blob_ffa6e97b97146517/data.yaml
diff --git a/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_03265c1605637b1f/data.yaml b/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_03265c1605637b1f/data.yaml
diff --git a/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_881cc19564a97501/data.yaml b/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_881cc19564a97501/data.yaml
diff --git a/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_8e021fdb13259641/data.yaml b/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_8e021fdb13259641/data.yaml
diff --git a/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_9683af102559ddf0/data.yaml b/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_9683af102559ddf0/data.yaml
diff --git a/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_9df8c89b61183887/data.yaml b/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_9df8c89b61183887/data.yaml
diff --git a/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_b30d81e81c1262b6/data.yaml b/tests/compute_kzg_proof/small/compute_kzg_proof_case_invalid_z_b30d81e81c1262b6/data.yaml
diff --git a/..._correct_proof_0951cfd9ab47a8d3/data.yaml → ..._correct_proof_0951cfd9ab47a8d3/data.yaml b/..._correct_proof_0951cfd9ab47a8d3/data.yaml → ..._correct_proof_0951cfd9ab47a8d3/data.yaml
diff --git a/..._correct_proof_19b3f3f8c98ea31e/data.yaml → ..._correct_proof_19b3f3f8c98ea31e/data.yaml b/..._correct_proof_19b3f3f8c98ea31e/data.yaml → ..._correct_proof_19b3f3f8c98ea31e/data.yaml
diff --git a/..._correct_proof_84d8089232bc23a8/data.yaml → ..._correct_proof_84d8089232bc23a8/data.yaml b/..._correct_proof_84d8089232bc23a8/data.yaml → ..._correct_proof_84d8089232bc23a8/data.yaml
diff --git a/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb/data.yaml b/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb/data.yaml
diff --git a/..._correct_proof_c40b9b515df8721b/data.yaml → ..._correct_proof_c40b9b515df8721b/data.yaml b/..._correct_proof_c40b9b515df8721b/data.yaml → ..._correct_proof_c40b9b515df8721b/data.yaml
diff --git a/..._correct_proof_cdb3e6d49eb12307/data.yaml → ..._correct_proof_cdb3e6d49eb12307/data.yaml b/..._correct_proof_cdb3e6d49eb12307/data.yaml → ..._correct_proof_cdb3e6d49eb12307/data.yaml
diff --git a/..._correct_proof_fb324bc819407148/data.yaml → ..._correct_proof_fb324bc819407148/data.yaml b/..._correct_proof_fb324bc819407148/data.yaml → ..._correct_proof_fb324bc819407148/data.yaml
diff --git a/...ainnet/verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly/data.yaml b/...ainnet/verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly/data.yaml
diff --git a/...ainnet/verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly/data.yaml b/...ainnet/verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly/data.yaml
diff --git a/...ncorrect_proof_0951cfd9ab47a8d3/data.yaml → ...ncorrect_proof_0951cfd9ab47a8d3/data.yaml b/...ncorrect_proof_0951cfd9ab47a8d3/data.yaml → ...ncorrect_proof_0951cfd9ab47a8d3/data.yaml
diff --git a/...ncorrect_proof_19b3f3f8c98ea31e/data.yaml → ...ncorrect_proof_19b3f3f8c98ea31e/data.yaml b/...ncorrect_proof_19b3f3f8c98ea31e/data.yaml → ...ncorrect_proof_19b3f3f8c98ea31e/data.yaml
diff --git a/...ncorrect_proof_84d8089232bc23a8/data.yaml → ...ncorrect_proof_84d8089232bc23a8/data.yaml b/...ncorrect_proof_84d8089232bc23a8/data.yaml → ...ncorrect_proof_84d8089232bc23a8/data.yaml
diff --git a/...g_proof/kzg-mainnet/verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb/data.yaml b/...g_proof/kzg-mainnet/verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb/data.yaml
diff --git a/...ncorrect_proof_c40b9b515df8721b/data.yaml → ...ncorrect_proof_c40b9b515df8721b/data.yaml b/...ncorrect_proof_c40b9b515df8721b/data.yaml → ...ncorrect_proof_c40b9b515df8721b/data.yaml
diff --git a/...ncorrect_proof_cdb3e6d49eb12307/data.yaml → ...ncorrect_proof_cdb3e6d49eb12307/data.yaml b/...ncorrect_proof_cdb3e6d49eb12307/data.yaml → ...ncorrect_proof_cdb3e6d49eb12307/data.yaml
diff --git a/...ncorrect_proof_fb324bc819407148/data.yaml → ...ncorrect_proof_fb324bc819407148/data.yaml b/...ncorrect_proof_fb324bc819407148/data.yaml → ...ncorrect_proof_fb324bc819407148/data.yaml
diff --git a/...lid_commitment_3a6eb616efae0627/data.yaml → ...correct_proof_point_at_infinity/data.yaml b/...lid_commitment_3a6eb616efae0627/data.yaml → ...correct_proof_point_at_infinity/data.yaml
diff --git a/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml b/...e_invalid_blob_59d64ff6b4648fad/data.yaml → ...e_invalid_blob_59d64ff6b4648fad/data.yaml
diff --git a/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml b/...e_invalid_blob_635fb2de5b0dc429/data.yaml → ...e_invalid_blob_635fb2de5b0dc429/data.yaml
diff --git a/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml b/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml
diff --git a/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml b/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml
diff --git a/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml b/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml
diff --git a/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml b/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml
diff --git a/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml b/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml
diff --git a/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml b/...roof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml
diff --git a/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml b/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml
diff --git a/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml b/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml
diff --git a/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml b/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml
diff --git a/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml b/...kzg_proof/kzg-mainnet/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml
diff --git a/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml b/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml
diff --git a/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml b/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml
diff --git a/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml b/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml
diff --git a/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml b/..._kzg_proof/small/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml
diff --git a/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml b/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml
diff --git a/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml b/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml
diff --git a/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml b/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml
diff --git a/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml b/..._blob_kzg_proof/small/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml
diff --git a/...oof_batch_case_0951cfd9ab47a8d3/data.yaml → ...oof_batch_case_0951cfd9ab47a8d3/data.yaml b/...oof_batch_case_0951cfd9ab47a8d3/data.yaml → ...oof_batch_case_0951cfd9ab47a8d3/data.yaml
diff --git a/...oof_batch_case_af635e3f6928eb5d/data.yaml → ...oof_batch_case_0f3f1d3f48f71495/data.yaml b/...oof_batch_case_af635e3f6928eb5d/data.yaml → ...oof_batch_case_0f3f1d3f48f71495/data.yaml
diff --git a/...oof_batch_case_879dfd1fc2116abd/data.yaml → ...oof_batch_case_12c097d7ca0261e3/data.yaml b/...oof_batch_case_879dfd1fc2116abd/data.yaml → ...oof_batch_case_12c097d7ca0261e3/data.yaml
diff --git a/...oof_batch_case_eb466183cba29678/data.yaml → ...oof_batch_case_2ef482373a81e34e/data.yaml b/...oof_batch_case_eb466183cba29678/data.yaml → ...oof_batch_case_2ef482373a81e34e/data.yaml
diff --git a/...oof_batch_case_a271b78b8e869d69/data.yaml → ...oof_batch_case_a271b78b8e869d69/data.yaml b/...oof_batch_case_a271b78b8e869d69/data.yaml → ...oof_batch_case_a271b78b8e869d69/data.yaml
diff --git a/...atch_case_blob_length_different/data.yaml → ...atch_case_blob_length_different/data.yaml b/...atch_case_blob_length_different/data.yaml → ...atch_case_blob_length_different/data.yaml
diff --git a/...oof_batch_case_5bebe168d7c33c6a/data.yaml → ...oof_batch_case_cb3c3279a1afddcf/data.yaml b/...oof_batch_case_5bebe168d7c33c6a/data.yaml → ...oof_batch_case_cb3c3279a1afddcf/data.yaml
diff --git a/...ase_commitment_length_different/data.yaml → ...ase_commitment_length_different/data.yaml b/...ase_commitment_length_different/data.yaml → ...ase_commitment_length_different/data.yaml
diff --git a/...b_kzg_proof_batch/kzg-mainnet/verify_blob_kzg_proof_batch_case_e61aafba051ddf79/data.yaml b/...b_kzg_proof_batch/kzg-mainnet/verify_blob_kzg_proof_batch_case_e61aafba051ddf79/data.yaml
diff --git a/..._proof_batch_case_invalid_proof/data.yaml → ...ch_case_incorrect_proof_add_one/data.yaml b/..._proof_batch_case_invalid_proof/data.yaml → ...ch_case_incorrect_proof_add_one/data.yaml
diff --git a/.../kzg-mainnet/verify_blob_kzg_proof_batch_case_incorrect_proof_point_at_infinity/data.yaml b/.../kzg-mainnet/verify_blob_kzg_proof_batch_case_incorrect_proof_point_at_infinity/data.yaml
diff --git a/...atch/kzg-mainnet/verify_blob_kzg_proof_batch_case_invalid_blob_59d64ff6b4648fad/data.yaml b/...atch/kzg-mainnet/verify_blob_kzg_proof_batch_case_invalid_blob_59d64ff6b4648fad/data.yaml
diff --git a/...atch/kzg-mainnet/verify_blob_kzg_proof_batch_case_invalid_blob_635fb2de5b0dc429/data.yaml b/...atch/kzg-mainnet/verify_blob_kzg_proof_batch_case_invalid_blob_635fb2de5b0dc429/data.yaml
diff --git a/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml b/...e_invalid_blob_a3b9ff28507767f8/data.yaml → ...e_invalid_blob_a3b9ff28507767f8/data.yaml
diff --git a/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml b/...e_invalid_blob_d3afbd98123a3434/data.yaml → ...e_invalid_blob_d3afbd98123a3434/data.yaml
diff --git a/...lid_commitment_1a68c47b68148e78/data.yaml → ...lid_commitment_1a68c47b68148e78/data.yaml b/...lid_commitment_1a68c47b68148e78/data.yaml → ...lid_commitment_1a68c47b68148e78/data.yaml
diff --git a/...lid_commitment_24b932fb4dec5b2d/data.yaml → ...lid_commitment_24b932fb4dec5b2d/data.yaml b/...lid_commitment_24b932fb4dec5b2d/data.yaml → ...lid_commitment_24b932fb4dec5b2d/data.yaml
diff --git a/...lid_commitment_3a6eb616efae0627/data.yaml → ...lid_commitment_3a6eb616efae0627/data.yaml b/...lid_commitment_3a6eb616efae0627/data.yaml → ...lid_commitment_3a6eb616efae0627/data.yaml
diff --git a/...lid_commitment_d070689c3e15444c/data.yaml → ...lid_commitment_d070689c3e15444c/data.yaml b/...lid_commitment_d070689c3e15444c/data.yaml → ...lid_commitment_d070689c3e15444c/data.yaml
diff --git a/..._invalid_proof_1a68c47b68148e78/data.yaml → ..._invalid_proof_1a68c47b68148e78/data.yaml b/..._invalid_proof_1a68c47b68148e78/data.yaml → ..._invalid_proof_1a68c47b68148e78/data.yaml
diff --git a/..._invalid_proof_24b932fb4dec5b2d/data.yaml → ..._invalid_proof_24b932fb4dec5b2d/data.yaml b/..._invalid_proof_24b932fb4dec5b2d/data.yaml → ..._invalid_proof_24b932fb4dec5b2d/data.yaml
diff --git a/..._invalid_proof_3a6eb616efae0627/data.yaml → ..._invalid_proof_3a6eb616efae0627/data.yaml b/..._invalid_proof_3a6eb616efae0627/data.yaml → ..._invalid_proof_3a6eb616efae0627/data.yaml
diff --git a/..._invalid_proof_d070689c3e15444c/data.yaml → ..._invalid_proof_d070689c3e15444c/data.yaml b/..._invalid_proof_d070689c3e15444c/data.yaml → ..._invalid_proof_d070689c3e15444c/data.yaml
diff --git a/...tch_case_proof_length_different/data.yaml → ...tch_case_proof_length_different/data.yaml b/...tch_case_proof_length_different/data.yaml → ...tch_case_proof_length_different/data.yaml
diff --git a/...roof_batch/small/verify_blob_kzg_proof_batch_case_invalid_blob_59d64ff6b4648fad/data.yaml b/...roof_batch/small/verify_blob_kzg_proof_batch_case_invalid_blob_59d64ff6b4648fad/data.yaml
diff --git a/...roof_batch/small/verify_blob_kzg_proof_batch_case_invalid_blob_635fb2de5b0dc429/data.yaml b/...roof_batch/small/verify_blob_kzg_proof_batch_case_invalid_blob_635fb2de5b0dc429/data.yaml
diff --git a/..._correct_proof_02e696ada7d4631d/data.yaml → ..._correct_proof_02e696ada7d4631d/data.yaml b/..._correct_proof_02e696ada7d4631d/data.yaml → ..._correct_proof_02e696ada7d4631d/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_05c1f3685f3393f0/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_05c1f3685f3393f0/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/..._correct_proof_08f9e2f1cb3d39db/data.yaml → ..._correct_proof_08f9e2f1cb3d39db/data.yaml b/..._correct_proof_08f9e2f1cb3d39db/data.yaml → ..._correct_proof_08f9e2f1cb3d39db/data.yaml
diff --git a/..._correct_proof_0cf79b17cb5f4ea2/data.yaml → ..._correct_proof_0cf79b17cb5f4ea2/data.yaml b/..._correct_proof_0cf79b17cb5f4ea2/data.yaml → ..._correct_proof_0cf79b17cb5f4ea2/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_177b58dc7a46b08f/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_177b58dc7a46b08f/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_1ce8e4f69d5df899/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_1ce8e4f69d5df899/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x93efc82d2017e9c57834a1246463e64774e56183bb247c8fc9dd98c56817e878d97b05f5c8d900acf1fbbbca6f146556',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0x92c51ff81dd71dab71cefecd79e8274b4b7ba36a0f40e2dc086bc4061c7f63249877db23297212991fd63e07b7ebc348'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_26b753dec0560daa/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_26b753dec0560daa/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x93efc82d2017e9c57834a1246463e64774e56183bb247c8fc9dd98c56817e878d97b05f5c8d900acf1fbbbca6f146556',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000000', y: '0x73e66878b46ae3705eb6a46a89213de7d3686828bfce5c19400fffff00100001',
+  proof: '0xb82ded761997f2c6f1bb3db1e1dada2ef06d936551667c82f659b75f99d2da2068b81340823ee4e829a93c9fbed7810d'}
+output: true
diff --git a/...case_invalid_y_4e51cef08a61606f/data.yaml → ..._correct_proof_2b76dc9e3abf42f3/data.yaml b/...case_invalid_y_4e51cef08a61606f/data.yaml → ..._correct_proof_2b76dc9e3abf42f3/data.yaml
@@ -1,4 +1,4 @@
-input: {commitment: '0xb7f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb',
-  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x00000000000000000000000000000000000000000000000000000000000000',
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
   proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
-output: null
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_31ebd010e6098750/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_31ebd010e6098750/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x8f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x1522a4a7f34e1ea350ae07c29c96c7e79655aa926122e95fe69fcbd932ca49e9',
+  proof: '0xa62ad71d14c5719385c0686f1871430475bf3a00f0aa3f7b8dd99a9abc2160744faf0070725e00b60ad9a026a15b1a8c'}
+output: true
diff --git a/..._correct_proof_3208425794224c3f/data.yaml → ..._correct_proof_3208425794224c3f/data.yaml b/..._correct_proof_3208425794224c3f/data.yaml → ..._correct_proof_3208425794224c3f/data.yaml
diff --git a/..._correct_proof_36817bfd67de97a8/data.yaml → ..._correct_proof_36817bfd67de97a8/data.yaml b/..._correct_proof_36817bfd67de97a8/data.yaml → ..._correct_proof_36817bfd67de97a8/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_392169c16a2e5ef6/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_392169c16a2e5ef6/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x304962b3598a0adf33189fdfd9789feab1096ff40006900400000003fffffffc',
+  proof: '0xaa86c458b3065e7ec244033a2ade91a7499561f482419a3a372c42a636dad98262a2ce926d142fd7cfe26ca148efe8b4'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_395cf6d697d1a743/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_395cf6d697d1a743/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/..._correct_proof_3ac8dc31e9aa6a70/data.yaml → ..._correct_proof_3ac8dc31e9aa6a70/data.yaml b/..._correct_proof_3ac8dc31e9aa6a70/data.yaml → ..._correct_proof_3ac8dc31e9aa6a70/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_3c1e8b38219e3e12/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_3c1e8b38219e3e12/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000000', y: '0x50625ad853cc21ba40594f79591e5d35c445ecf9453014da6524c0cf6367c359',
+  proof: '0xb72d80393dc39beea3857cb3719277138876b2b207f1d5e54dd62a14e3242d123b5a6db066181ff01a51c26c9d2f400b'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_3c87ec986c2656c2/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_3c87ec986c2656c2/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x6d928e13fe443e957d82e3e71d48cb65d51028eb4483e719bf8efcdf12f7c321',
+  proof: '0xa444d6bb5aadc3ceb615b50d6606bd54bfe529f59247987cd1ab848d19de599a9052f1835fb0d0d44cf70183e19a68c9'}
+output: true
diff --git a/..._correct_proof_3cd183d0bab85fb7/data.yaml → ..._correct_proof_3cd183d0bab85fb7/data.yaml b/..._correct_proof_3cd183d0bab85fb7/data.yaml → ..._correct_proof_3cd183d0bab85fb7/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_420f2a187ce77035/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_420f2a187ce77035/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x2bf4e1f980eb94661a21affc4d7e6e56f214fe3e7dc4d20b98c66ffd43cabeb0',
+  proof: '0x89012990b0ca02775bd9df8145f6c936444b83f54df1f5f274fb4312800a6505dd000ee8ec7b0ea6d72092a3daf0bffb'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_444b73ff54a19b44/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_444b73ff54a19b44/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xb49d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x443e7af5274b52214ea6c775908c54519fea957eecd98069165a8b771082fd51',
+  proof: '0xa060b350ad63d61979b80b25258e7cc6caf781080222e0209b4a0b074decca874afc5c41de3313d8ed217d905e6ada43'}
+output: true
diff --git a/..._correct_proof_53a9bdf4f75196da/data.yaml → ..._correct_proof_53a9bdf4f75196da/data.yaml b/..._correct_proof_53a9bdf4f75196da/data.yaml → ..._correct_proof_53a9bdf4f75196da/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_585454b31673dd62/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_585454b31673dd62/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000000', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_7db4f140a955dd1a/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_7db4f140a955dd1a/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xb49d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x58cdc98c4c44791bb8ba7e58a80324ef8c021c79c68e253c430fa2663188f7f2',
+  proof: '0x9506a8dc7f3f720a592a79a4e711e28d8596854bac66b9cb2d6d361704f1735442d47ea09fda5e0984f0928ce7d2f5f6'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_83e53423a2dd93fe/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_83e53423a2dd93fe/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x1824b159acc5056f998c4fefecbc4ff55884b7fa0003480200000001fffffffe',
+  proof: '0xb0c829a8d2d3405304fecbea193e6c67f7c3912a6adc7c3737ad3f8a3b750425c1531a7426f03033a3994bc82a10609f'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_9b24f8997145435c/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_9b24f8997145435c/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x93efc82d2017e9c57834a1246463e64774e56183bb247c8fc9dd98c56817e878d97b05f5c8d900acf1fbbbca6f146556',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0xb9241c6816af6388d1014cd4d7dd21662a6e3d47f96c0257bce642b70e8e375839a880864638669c6a709b414ab8bffc'}
+output: true
diff --git a/..._correct_proof_9b754afb690c47e1/data.yaml → ..._correct_proof_9b754afb690c47e1/data.yaml b/..._correct_proof_9b754afb690c47e1/data.yaml → ..._correct_proof_9b754afb690c47e1/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_a0be66af9a97ea52/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_a0be66af9a97ea52/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_af669445747d2585/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_af669445747d2585/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xb49d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x6c28d6edfea2f5e1638cb1a8be8197549d52e133fa9dae87e52abb45f7b192dd',
+  proof: '0x8a46b67dcba4e3aa66f9952be69e1ecbc24e21d42b1df2bfe1c8e28431c6221a3f1d09808042f5624e857710cb24fb69'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_af8b75f664ed7d43/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_af8b75f664ed7d43/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x93efc82d2017e9c57834a1246463e64774e56183bb247c8fc9dd98c56817e878d97b05f5c8d900acf1fbbbca6f146556',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x64d3b6baf69395bde2abd1d43f99be66bc64581234fd363e2ae3a0d419cfc3fc',
+  proof: '0x893acd46552b81cc9e5ff6ca03dad873588f2c61031781367cfea2a2be4ef3090035623338711b3cf7eff4b4524df742'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_b6cb6698327d9835/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_b6cb6698327d9835/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xb49d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x6a75e4fe63e5e148c853462a680c3e3ccedea34719d28f19bf1b35ae4eea37d6',
+  proof: '0xa38758fca85407078c0a7e5fd6d38b34340c809baa0e1fed9deaabb11aa503062acbbe23fcbe620a21b40a83bfa71b89'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_b6ec3736f9ff2c62/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_b6ec3736f9ff2c62/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x93efc82d2017e9c57834a1246463e64774e56183bb247c8fc9dd98c56817e878d97b05f5c8d900acf1fbbbca6f146556',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0xa256a681861974cdf6b116467044aa75c85b01076423a92c3335b93d10bf2fcb99b943a53adc1ab8feb6b475c4688948'}
+output: true
diff --git a/..._correct_proof_becf2e1641bbd4e6/data.yaml → ..._correct_proof_becf2e1641bbd4e6/data.yaml b/..._correct_proof_becf2e1641bbd4e6/data.yaml → ..._correct_proof_becf2e1641bbd4e6/data.yaml
diff --git a/..._correct_proof_c3d4322ec17fe7cd/data.yaml → ..._correct_proof_c3d4322ec17fe7cd/data.yaml b/..._correct_proof_c3d4322ec17fe7cd/data.yaml → ..._correct_proof_c3d4322ec17fe7cd/data.yaml
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_c5e1490d672d026d/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_c5e1490d672d026d/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x8f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x24d25032e67a7e6a4910df5834b8fe70e6bcfeeac0352434196bdf4b2485d5a1',
+  proof: '0x873033e038326e87ed3e1276fd140253fa08e9fc25fb2d9a98527fc22a2c9612fbeafdad446cbc7bcdbdcd780af2c16a'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_cae5d3491190b777/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_cae5d3491190b777/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xb49d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x2c9ae4f1d6d08558d7027df9cc6b248c21290075d2c0df8a4084d02090b3fa14',
+  proof: '0xb059c60125debbbf29d041bac20fd853951b64b5f31bfe2fa825e18ff49a259953e734b3d57119ae66f7bd79de3027f6'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_d0992bc0387790a4/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_d0992bc0387790a4/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x8f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x4882cf0609af8c7cd4c256e63a35838c95a9ebbf6122540ab344b42fd66d32e1',
+  proof: '0x987ea6df69bbe97c23e0dd948cf2d4490824ba7fea5af812721b2393354b0810a9dba2c231ea7ae30f26c412c7ea6e3a'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_d736268229bd87ec/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_d736268229bd87ec/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x93efc82d2017e9c57834a1246463e64774e56183bb247c8fc9dd98c56817e878d97b05f5c8d900acf1fbbbca6f146556',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x5fd58150b731b4facfcdd89c0e393ff842f5f2071303eff99b51e103161cd233',
+  proof: '0x94425f5cf336685a6a4e806ad4601f4b0d3707a655718f968c57e225f0e4b8d5fd61878234f25ec59d090c07ea725cf4'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_e68d7111a2364a49/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_e68d7111a2364a49/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x8f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x549345dd3612e36fab0ab7baffe3faa5b820d56b71348c89ecaf63f7c4f85370',
+  proof: '0xa35c4f136a09a33c6437c26dc0c617ce6548a14bc4af7127690a411f5e1cde2f73157365212dbcea6432e0e7869cb006'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_ed6b180ec759bcf6/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_ed6b180ec759bcf6/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x5ee1e9a4a06a02ca6ea14b0ca73415a8ba0fba888f18dde56df499b480d4b9e0',
+  proof: '0xa1fcd37a924af9ec04143b44853c26f6b0738f6e15a3e0755057e7d5460406c7e148adb0e2d608982140d0ae42fe0b3b'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_f0ed3dc11cdeb130/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_f0ed3dc11cdeb130/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xb49d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000000', y: '0x1ed7d14d1b3fb1a1890d67b81715531553ad798df2009b4311d9fe2bea6cb964',
+  proof: '0xa71f21ca51b443ad35bb8a26d274223a690d88d9629927dc80b0856093e08a372820248df5b8a43b6d98fd52a62fa376'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_f47eb9fc139f6bfd/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_f47eb9fc139f6bfd/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x8f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x60f840641ec0d0c0d2b77b2d5a393b329442721fad05ab78c7b98f2aa3c20ec9',
+  proof: '0xb30b3d1e4faccc380557792c9a0374d58fa286f5f75fea48870585393f890909cd3c53cfe4897e799fb211b4be531e43'}
+output: true
diff --git a/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_f7f44e1e864aa967/data.yaml b/...rify_kzg_proof/kzg-mainnet/verify_kzg_proof_case_correct_proof_f7f44e1e864aa967/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0x8f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000000', y: '0x61157104410181bdc6eac224aa9436ac268bdcfeecb6badf71d228adda820af3',
+  proof: '0x809adfa8b078b0921cdb8696ca017a0cc2d5337109016f36a766886eade28d32f205311ff5def247c3ddba91896fae97'}
+output: true
diff --git a/..._correct_proof_ffa6e97b97146517/data.yaml → ..._correct_proof_ffa6e97b97146517/data.yaml b/..._correct_proof_ffa6e97b97146517/data.yaml → ..._correct_proof_ffa6e97b97146517/data.yaml
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_05c1f3685f3393f0/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_05c1f3685f3393f0/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_177b58dc7a46b08f/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_177b58dc7a46b08f/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...case_invalid_y_b358a2e763727b70/data.yaml → ..._for_twos_poly_2b76dc9e3abf42f3/data.yaml b/...case_invalid_y_b358a2e763727b70/data.yaml → ..._for_twos_poly_2b76dc9e3abf42f3/data.yaml
@@ -1,4 +1,4 @@
-input: {commitment: '0xb7f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb',
-  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x000000000000000000000000000000000000000000000000000000000000000000',
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000001', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
   proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
-output: null
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_395cf6d697d1a743/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_395cf6d697d1a743/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_585454b31673dd62/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_585454b31673dd62/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000000', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_a0be66af9a97ea52/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_a0be66af9a97ea52/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xa572cbea904d67468808c8eb50a9450c9721db309128012543902d0ac358a62ae28f75bb8f1c7c42c39a8c5529bf0f4e',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x0000000000000000000000000000000000000000000000000000000000000002',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_02e696ada7d4631d/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_02e696ada7d4631d/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000',
+  z: '0x0000000000000000000000000000000000000000000000000000000000000002', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_0cf79b17cb5f4ea2/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_0cf79b17cb5f4ea2/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000',
+  z: '0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3208425794224c3f/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3208425794224c3f/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000',
+  z: '0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true
diff --git a/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3ac8dc31e9aa6a70/data.yaml b/...y_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3ac8dc31e9aa6a70/data.yaml
@@ -0,0 +1,4 @@
+input: {commitment: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000',
+  z: '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000', y: '0x0000000000000000000000000000000000000000000000000000000000000000',
+  proof: '0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'}
+output: true