Cryptol Spec: `compute_kzg_proof` - Githubissues

GaloisInc / ckzg-eip-4844-verification

BSD 3-Clause "New" or "Revised" License

2 stars 1 forks source link

Cryptol Spec: `compute_kzg_proof` #19

Closed b13decker closed 1 month ago

b13decker commented 2 months ago

Goal: implement the Cryptol function for compute_kzg_proof

Task(s):

[x] Implement compute_kzg_proof in KZG.cry

Dependencies:

[x] Implement blob_to_polynomial in BlsHelpers.cry
[x] Implement bytes_to_bls_field in BlsHelpers.cry
[x] Implement compute_kzg_proof_impl in KZG.cry

b13decker commented 2 months ago

Depends upon completion of #16, #17, and #18.