Add commit to scalars to public API

Author: acolytec3

src.ts/index.ts

@@ -7,6 +7,7 @@ import {
   verifyExecutionWitnessPreState as verifyExecutionWitnessPreStateBase,
   createProof as createProofBase,
   verifyProof as verifyProofBase,
+  commitToScalars as commitToScalarsBase,
   type ProverInput as ProverInputBase,
   type VerifierInput as VerifierInputBase,
 } from './verkleFFIBindings/index.js'
@@ -43,7 +44,9 @@ export const loadVerkleCrypto = async () => {
   const createProof = (proverInputs: ProverInput[]) => createProofBase(verkleFFI, proverInputs)
   const verifyProof = (proof: Uint8Array, verifierInputs: VerifierInput[]) =>
     verifyProofBase(verkleFFI, proof, verifierInputs)
+  const commitToScalars = (vector: Uint8Array[]) => commitToScalarsBase(verkleFFI, vector)
   return {
+    commitToScalars, 
     getTreeKey,
     getTreeKeyHash,
     updateCommitment,

src.ts/verkleFFIBindings/index.ts

@@ -5,6 +5,7 @@ import {
 } from '../wasm/rust_verkle_wasm.js'
 
 import {
+  commitToScalars,
   getTreeKey,
   getTreeKeyHash,
   updateCommitment,
@@ -15,6 +16,7 @@ import {
 } from './verkleFFI.js'
 
 export {
+  commitToScalars, 
   initVerkleWasm,
   getTreeKey,
   getTreeKeyHash,

src.ts/verkleFFIBindings/verkleFFI.ts

@@ -136,12 +136,7 @@ export interface ProverInput {
   // The vector that we want to make proofs over
   vector: Uint8Array[]
   // The indices that we want to prove exist in the vector
-  indices: number[]
-}
-
-function serializedProverInputs(proofInputs: ProverInput[]): Uint8Array {
-  const serializedProverInputs = proofInputs.flatMap(({ serializedCommitment, vector, indices }) =>
-    indices.flatMap((index) => [
+  inindices.flatMap((index) => [
       serializedCommitment,
       ...vector,
       new Uint8Array([index]),
@@ -178,3 +173,13 @@ function serializeVerifierInputs(proof: Uint8Array, verifierInputs: VerifierInpu
 
   return concatBytes(...serializedVerifierInputs)
 }
+
+/**
+ * 
+ * @param verkleFFI The interface to the WASM verkle crypto object
+ * @param vector an array of Uint8Arrays to be committed to (must be 32 bytes each)
+ * @returns a 64 byte {@link Uint8Array}  uncompressed commitment to the {@link vector} of values
+ */
+export const commitToScalars = (verkleFFI: VerkleFFI, vector: Uint8Array[]) => {
+  return verkleFFI.commitToScalars(vector)
+}