Skillget

genpark-plonk-permutation-argument-grand-product-skill

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 7 GitHub stars
Code Gecti
  • Code scan — Scanned 6 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

SUMMARY

Plonk grand product copy-constraint permutation argument tracking wire routing equality

README.md

Plonk Permutation Grand Product Skill

Robust, zero-dependency Python implementation of the Plonk Copy-Constraint Permutation Argument.

Features

  • Grand Product Accumulator: Proves wire routing consistency across non-adjacent circuit gates in (O(n)) field operations.
  • Schwartz-Zippel Lemma Security: Random challenges (eta, \gamma) guarantee negligible soundness error.
  • Zero External Dependencies: Pure Python standard library.
  • Native MCP Protocol: JSON-RPC 2.0 stdio server compatible with Claude Desktop, Cursor, and Windsurf.

Architecture

graph LR
    Wires["Wire Assignments (a_i, b_i, c_i)"] --> Perm["Permutation Mapping sigma(i)"]
    Perm --> GrandProd["Grand Product Accumulator Z(X)"]
    GrandProd --> Boundary["Check Boundary Conditions Z(1) = 1, Z(omega^n) = 1"]

Yorumlar (0)

Sonuc bulunamadi