feat: wasm bindgens

[0xWOLAND]

New Functions

1. wasm_verify_groth16

   • Verifies a Groth16 proof
   • Input:
     • proof: &[u8] - The proof as a byte slice
     • vk: &[u8] - The verification key as a byte slice
     • public_inputs: &[u8] - The public inputs bytes. This must be a concatenated array big-endian 32-byte segments representing scalar field elements
   • Output: Result<bool, JsValue>
     • Returns true if the proof is valid, false otherwise
     • Returns a JsValue with an error message on failure

2. wasm_verify_plonk

   • Verifies a Plonk proof
   • Input:
     • proof: &[u8] - The proof as a byte slice
     • vk: &[u8] - The verification key as a byte slice
     • public_inputs: &[u8] - The public inputs bytes. This must be a concatenated array big-endian 32-byte segments representing scalar field elements
   • Output: Result<bool, JsValue>
     • Returns true if the proof is valid, false otherwise
     • Returns a JsValue with an error message on failure