Native prover workflow#3339

Open

querolita wants to merge 110 commits intomasterfrom

Commits on Oct 8, 2025

dummy logs
Trivo25
committed

Commits on Oct 9, 2025

Merge pull request #3343 from o1-labs/florian/napi-conversion-core
querolita
authored

Commits on Oct 15, 2025

Commits on Oct 23, 2025

Merge pull request #3345 from o1-labs/florian/napi-prover-json
querolita
authored
napi: wrapper for field types
querolita
committed
napi: wrapper for group types
querolita
committed
napi: impls for wasm vectors
querolita
committed
napi: impls for polycomm
querolita
committed
napi: uniformize format to match plonk-wasm side
querolita
committed
napi: wrapper for wires
querolita
committed
deps: use kimchi in plonk-napi
querolita
committed
napi: wrapper for feature flags
querolita
committed
napi: wrapper for lookups
querolita
committed
napi: ffi for gate vector
querolita
committed
minor: add new line at eof
querolita
committed
napi: inline functions for GateVector struct
querolita
committed
napi: export contents of gate_vector module
querolita
committed
napi: replace self occurances to vector in gate_vector
querolita
committed
napi: fix compilation of gate_vector
querolita
committed
napi: improve naming in gate_vector
querolita
committed
napi: comment out poseidon, and include comments for gatevector
querolita
committed
remove _plonk_index_serialize

Trivo25
authored and
querolita
committed
impl. prover index degrees for fq

Trivo25
authored and
querolita
committed
impl. prover index for fp

Trivo25
authored and
querolita
committed
get rid of told types file

Trivo25
authored and
querolita
committed
explose and rename modules

Trivo25
authored and
querolita
committed
fix proper types

Trivo25
authored and
querolita
committed
WasmPastaFqPlonkIndex seri impl (wip)

Trivo25
authored and
querolita
committed
remove debug logs

Trivo25
authored and
querolita
committed
testtest

Trivo25
authored and
querolita
committed
impl some types

Trivo25
authored and
querolita
committed
finish up prover index

Trivo25
authored and
querolita
committed
impl caml_pasta_fp_plonk_index_read

Trivo25
authored and
querolita
committed
get rid of gate vectors for now

Trivo25
authored and
querolita
committed
make plonk-napi compile by reusing gate_vector types

Trivo25
authored and
querolita
committed
merge

Trivo25
authored and
querolita
committed
napi: get rid of gate vector to use external from plonk-wasm
querolita
committed
napi: ffi and types for srs
querolita
committed
napi: use macro params closer to plonk-wasms names
querolita
committed

Commits on Oct 29, 2025

Commits on Oct 31, 2025

Commits on Nov 3, 2025

Commits on Nov 5, 2025

Commits on Nov 6, 2025

Commits on Nov 9, 2025

Commits on Nov 13, 2025

Commits on Nov 14, 2025

fix naming
Trivo25
committed

Commits on Nov 17, 2025

Merge pull request #3366 from o1-labs/florian/native-proof-2
querolita
authored