Skip to content

Conversation

querolita
Copy link
Member

@querolita querolita commented Oct 1, 2025

Overrides FFIs related to PolyComm.

(parent PR: #17888)

@querolita querolita changed the title [WIP] (mina) Native Prover with Napi - PolyComm [WIP] (mina) Native Prover with Napi - PolyComm Oct 1, 2025
@querolita querolita force-pushed the native/napi branch 2 times, most recently from adf2502 to 8e111e8 Compare October 9, 2025 14:29
@querolita querolita force-pushed the native/napi-polycomm branch from c4ba8fc to 003af6b Compare October 9, 2025 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant