Code

Native prover access#16519

Code

Draft

ymekuria wants to merge 24 commits intodevelopMinaProtocol/mina:developfrom feature/native-prover-accessMinaProtocol/mina:feature/native-prover-accessCopy head branch name to clipboard

+3,243

Commits

Commits on Jan 6, 2025

• feat(kimchi_bindings): add native kimchi_bindings folder

  ymekuria

  committed
  a0966f7

  Copy full SHA for a0966f7

Commits on Jan 22, 2025

• feat(kimchi_bindings): add new Rust file 'lib.rs' to export functionalities and structures from Marlin and Arkworks crates to OCaml

  ymekuria

  committed
  1cb8e09

  Copy full SHA for 1cb8e09

• refactor(lib.rs): remove unnecessary wasm_bindgen annotations to simplify code and improve readability

  ymekuria

  committed
  33717f0

  Copy full SHA for 33717f0

• refactor(kimchi_bindings): refactor log function to use println instead of calling into javascript namespace for better maintainability and readability

  ymekuria

  committed
  f857da3

  Copy full SHA for f857da3

• refactor(kimchi_bindings): change alert function from extern to public to improve code readability and maintainability

  ymekuria

  committed
  a5c3174

  Copy full SHA for a5c3174

Commits on Jan 23, 2025

• feat(oracles.rs): add file for implementing random oracles functionality in native bindings

  ymekuria

  committed
  c7852b5

  Copy full SHA for c7852b5

• chore(oracles.rs): remove unnecessary wasm_bindgen annotations for better code readability and maintainability

  ymekuria

  committed
  3438543

  Copy full SHA for 3438543

• refactor(oracles.rs): remove unused wasm_bindgen import and attribute to clean up code and improve readability

  ymekuria

  committed
  b2ab83a

  Copy full SHA for b2ab83a

• refactor(oracles.rs): remove unnecessary #[wasm_bindgen] annotations from constructor, getter, and setter functions to clean up the code and improve readability

  ymekuria

  committed
  fe499e9

  Copy full SHA for fe499e9

• chore(oracles.rs): remove commented out code related to wasm_vector to clean up the file

  Show description for a1762b8
  ymekuria

  committed
  a1762b8

  Copy full SHA for a1762b8

• feat(circuit.rs): add new circuit.rs to native bindings

  ymekuria

  committed
  d532f64

  Copy full SHA for d532f64

• refactor(circuit.rs): remove unused wasm_bindgen import to clean up code and improve readability

  ymekuria

  committed
  4778857

  Copy full SHA for 4778857

• feat(gate_vector.rs): add gate vector file

  ymekuria

  committed
  cf9ce67

  Copy full SHA for cf9ce67

• refactor(gate_vector.rs): remove unnecessary #[wasm_bindgen(constructor)] annotation from WasmGateWires constructor function

  ymekuria

  committed
  6e4accd

  Copy full SHA for 6e4accd

• feat(pasta_fp_plonk_index.rs): add new file pasta_fp_plonk_index.rs with

  Show description for 1304afd
  ymekuria

  committed
  1304afd

  Copy full SHA for 1304afd

• refactor(pasta_fp_plonk_index.rs): remove unnecessary wasm_bindgen annotations and comments to clean up the code and improve readability

  ymekuria

  committed
  dbbd250

  Copy full SHA for dbbd250

• refactor(pasta_fp_plonk_index.rs): remove unused wasm_bindgen import to clean up code and improve readability

  ymekuria

  committed
  265a269

  Copy full SHA for 265a269

• feat(pasta_fq_plonk_index.rs): add new file pasta_fq_plonk_index.rs with

  Show description for 6fa45a0
  ymekuria

  committed
  6fa45a0

  Copy full SHA for 6fa45a0

• refactor(pasta_fq_plonk_index.rs): remove unnecessary wasm_bindgen annotations and adjust struct definitions for better code readability and maintainability

  ymekuria

  committed
  59b967d

  Copy full SHA for 59b967d

• feat(kimchi_bindings): add Cargo.toml file for native stubs of plonk proof systems

  ymekuria

  committed
  35b8e01

  Copy full SHA for 35b8e01

Commits on Jan 24, 2025

• feat(plonk_proof.rs): add new file plonk_proof.rs with implementation of

  Show description for 8d3091c
  ymekuria

  committed
  8d3091c

  Copy full SHA for 8d3091c

• refactor(plonk_proof.rs): remove unused wasm_bindgen annotations to clean up the code and improve readability

  ymekuria

  committed
  bc484e8

  Copy full SHA for bc484e8

• feat(plonk_verifier_index.rs): add new file plonk_verifier_index.rs with

  Show description for cdd02ee
  ymekuria

  committed
  cdd02ee

  Copy full SHA for cdd02ee

• refactor(plonk_verifier_index.rs): remove unused wasm_bindgen annotations to clean up the code and improve readability

  ymekuria

  committed
  2dd88f6

  Copy full SHA for 2dd88f6