Skip to content

feat: add permutation proof protocol - #385

Closed
themighty1 wants to merge 4 commits into
feat/qs_polynomial_prooffrom
feat/permutation_proof
Closed

feat: add permutation proof protocol#385
themighty1 wants to merge 4 commits into
feat/qs_polynomial_prooffrom
feat/permutation_proof

Conversation

@themighty1

@themighty1 themighty1 commented Apr 29, 2026

Copy link
Copy Markdown
Collaborator

This PR adds a permutation proof protocol.

Benchmark

n = size of the permutation (number of elements). Native column is target-cpu=native (hardware-accelerated CLMUL etc.).
WASM column is wasm32-wasip1-threads under V8. All runs are single-threaded.

Role n native wasm
Prover 100K 16.26 ms 105.64 ms
Prover 200K 33.51 ms 211.95 ms
Verifier 100K 4.75 ms 22.03 ms
Verifier 200K 10.04 ms 44.02 ms

@themighty1
themighty1 requested a review from sinui0 April 29, 2026 08:35
@themighty1
themighty1 force-pushed the feat/vole_core_crate branch 2 times, most recently from d46f85d to ece7f7a Compare May 8, 2026 12:50
@themighty1
themighty1 force-pushed the feat/permutation_proof branch from fdcabd6 to 651949c Compare May 11, 2026 08:09
@themighty1
themighty1 changed the base branch from feat/vole_core_crate to feat/qs_polynomial_proof May 11, 2026 08:11
@themighty1

Copy link
Copy Markdown
Collaborator Author

migrated to the latest API and ready for review @sinui0

@themighty1
themighty1 force-pushed the feat/qs_polynomial_proof branch 3 times, most recently from a8777fd to 4d1f2b0 Compare May 28, 2026 07:56
@themighty1
themighty1 force-pushed the feat/permutation_proof branch from 651949c to 3956245 Compare May 28, 2026 12:26
@themighty1

Copy link
Copy Markdown
Collaborator Author

added straight-line kernels and updated the description with benches, ready for review @sinui0

@themighty1
themighty1 deleted the branch feat/qs_polynomial_proof June 25, 2026 07:42
@themighty1 themighty1 closed this Jun 25, 2026
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