Add Initial Proof for bit_reversal_permutation

GaloisInc / ckzg-eip-4844-verification

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

2 stars 1 forks source link

Closed b13decker closed 2 months ago

b13decker commented 2 months ago

Includes some refactoring and adding an LLVM Cryptol spec to more closely match the c-kzg implementation.