Add *Proof functions to verkleFFI

[acolytec3]

Exposes the createProof and verifyProof functions to Javascript

[acolytec3]

This isn't ready to merge yet as I want to clean up the outer typescript bindings so it's not just a pass through but this is my first attempt at exposing the proof functions to Javascript. Will test locally and see if I'm about to create and verify proofs or not.

[acolytec3]

To test this locally:

Checkout this branch.

npm run build // from the repo root
npm link

Next, clone the ethereumjs-monorepo and check out this commit - 446cd45c78b5c8fbf18bf12a3304693eddb3766a

git clone https://github.com/ethereumjs/ethereumjs-monorepo.git
cd ethereumjs-monorepo
git checkout 446cd45c78b5c8fbf18bf12a3304693eddb3766a
npm i
cd packages/verkle
npm link verkle-cryptography-wasm
npx vitest run test/proof.spec.ts

[gabrocheleau]

Looks good to me.

I've taken a look at the tests from the ethjs-monorepo side, and I can't spot what's wrong with it, will need to wait for kev to chime in. However the verkle-crypto-wasm side is quite lean and straightforward, so I'm approving it here.

[kevaundray]

Approved as the API looks correct to me

[acolytec3]

I suspect something is wrong somewhere (though maybe on the ethjs side and not here). Will merge for now so the functions are exposed and will do a followup PR to make the JS API easier to use (i.e. let you pass in the various fields and then the wrapper function will serialize according to what Rust wants).