search

GaloisInc / ckzg-eip-4844-verification

BSD 3-Clause "New" or "Revised" License
2 stars 1 forks source link

Add c-kzg as a Submodule #10

Closed b13decker closed 2 months ago

b13decker commented 2 months ago

Add the c-kzg-4844 repository as a submodule so that we can generate bitcode for our SAW proofs from the actual source code and not a copy of it.

mccleeary-galois commented 2 months ago

We may want a deps folder for stuff like this as we have talked about importing cryptol as well (to get access to its test runner) but we can add that as the need arises.