This PR is the initial setup to running SAW to start proving equivalence between our Cryptol specs and the c-kzg implementation.
We will want to make the above repository a submodule so that we can point are proofs at the exact code instead of a duplicate as we are doing right now.
This PR is the initial setup to running SAW to start proving equivalence between our Cryptol specs and the c-kzg implementation.
We will want to make the above repository a submodule so that we can point are proofs at the exact code instead of a duplicate as we are doing right now.