Skip to content

Conversation

@querolita
Copy link
Member

@querolita querolita commented Oct 7, 2025

Implements types and functions to enable SRS-related FFIs.

o1js -> o1-labs/o1js#2613
mina -> MinaProtocol/mina#18058
proof-systems -> #3342

(Parent PR: #3341)

Closes o1-labs/o1js#2490 o1-labs/o1js#2496

@querolita querolita changed the title [WIP] (proof-systems) Native Prover with Napi - SRS [WIP] (proof-systems) Native Prover with Napi - SRS Oct 7, 2025
@querolita querolita force-pushed the native/napi-gatevector branch 3 times, most recently from cc6304b to 18e19f6 Compare October 16, 2025 17:49
@querolita querolita force-pushed the native/napi-gatevector branch 2 times, most recently from fd41b37 to 4824308 Compare October 23, 2025 17:06
@querolita querolita changed the base branch from native/napi-gatevector to florian/napi-prover-index October 27, 2025 19:02
@querolita querolita marked this pull request as ready for review November 5, 2025 16:25
@querolita querolita changed the title [WIP] (proof-systems) Native Prover with Napi - SRS (proof-systems) Native Prover with Napi - SRS Nov 5, 2025
Copy link
Contributor

@bleepbloopsify bleepbloopsify left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks much nicer with the usage of External

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the underlying branch needs to be brought up-to-date with native/napi

@querolita querolita merged commit cf6cf90 into florian/napi-prover-index Nov 5, 2025
21 of 26 checks passed
@querolita querolita deleted the native/napi-srs branch November 5, 2025 22:19
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.

3 participants