Glossary
Compromiso polinomial
Esquema criptográfico para comprometerse con un polinomio de modo que el committer pueda luego "abrirlo" en cualquier punto elegido con una prueba pequeña.
Un compromiso polinomial vincula al prover con un polinomio específico sin revelar el polinomio. Más tarde se le puede desafiar al prover a evaluarlo en un punto elegido por el verificador y producir una prueba de que la evaluación es consistente con el compromiso original.
Los compromisos polinomiales — KZG, IPA, FRI — son la primitiva de trabajo de los SNARKs y STARKs modernos. La elección de esquema determina si el sistema de pruebas necesita un trusted setup, si es post-cuántico y cómo escalan sus costes con el tamaño del circuito.