Add c-kzg as a submodule - Githubissues

GaloisInc / ckzg-eip-4844-verification

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

2 stars 1 forks source link

Add c-kzg as a submodule #8

Closed b13decker closed 2 months ago

b13decker commented 2 months ago

Submodule in the following repository, https://github.com/ethereum/c-kzg-4844/tree/main, so we can use the source code directly in our SAW proofs.

Once we have this submodule, we should do the following:

[ ] update the SAW script proof/permutations.saw to point to https://github.com/ethereum/c-kzg-4844/blob/main/src/common/utils.c
[ ] remove the file proof/permutations.c from our repository