{rfName}
On

Indexado en

APC

5 000,00 Euros
doaj

Citaciones

5

Altmetrics

Investigadores/as Institucionales

Giunta EAutor o Coautor

Compartir

5 de diciembre de 2022
Publicaciones
>
Meeting-Abstract
No

On Interactive Oracle Proofs for Boolean R1CS Statements

Publicado en: Lecture Notes In Computer Science. 13411 LNCS 230-247 - 2022-01-01 13411 LNCS(), DOI: 10.1007/978-3-031-18283-9_11

Autores:

Cascudo I; Giunta E
[+]

Afiliaciones

IMDEA Software Institute - Autor o Coautor
IMDEA Software Institute , Scuola Superiore di Catania , Universidad Politécnica de Madrid - Autor o Coautor

Resumen

The framework of interactive oracle proofs (IOP) has been used with great success to construct a number of efficient transparent zk-SNARKs in recent years. However, these constructions are based on Reed-Solomon codes and can only be applied directly to statements given in the form of arithmetic circuits or R1CS over large enough fields F. This motivates the question: what is the best way to apply these IOPs to statements that are naturally written as R1CS over small fields, and more concretely, the binary field F2 ? While one can just see the system as one over an extension field F2e containing F2, this seems wasteful, as it uses e bits to encode just one “information” bit. In fact, in FC21 the work BooLigero devised a way to apply the well-known Ligero while being able to encode e bits into one element of F2e. In this paper, we introduce a new protocol for F2 -R1CS which among other things relies on a more efficient embedding which (for practical parameters) allows to encode ≥ e/ 4 bits into an element of F2e. Our protocol makes then black box use of lincheck and rowcheck protocols for the larger field. Using the lincheck and rowcheck introduced in Aurora and Ligero respectively we obtain 1.31 - 1.65 × smaller proofs for Aurora and 3.71 × for Ligero. We also estimate the reduction of prover time by a factor of 24.7 × for Aurora and between 6.9 - 32.5 × for Ligero without interactive repetitions. Our methodology uses the notion of reverse multiplication friendly embeddings introduced in the area of secure multiparty computation, combined with a new IOPP to test linear statements modulo a subspace V≤F2e which may be of independent interest.
[+]

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista Lecture Notes In Computer Science, Q3 Agencia Scopus (SJR), su enfoque regional y su especialización en , le otorgan un reconocimiento lo suficientemente significativo en un nicho concreto del conocimiento científico a nivel internacional.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2025-12-22:

  • Open Alex: 5
  • Scopus: 3
[+]

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2025-12-22:

  • El uso, desde el ámbito académico evidenciado por el indicador de la agencia Altmetric referido como agregaciones realizadas por el gestor bibliográfico personal Mendeley, nos da un total de: 2.
  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 2 (PlumX).

Con una intencionalidad más de divulgación y orientada a audiencias más generales podemos observar otras puntuaciones más globales como:

  • El Score total de Altmetric: 33.
[+]

Análisis de liderazgo de los autores institucionales

Este trabajo se ha realizado con colaboración internacional, concretamente con investigadores de: Italy.

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Último Autor (GIUNTA, EMANUELE).

[+]