A Zero-Knowledge Version of vSQL

Zero-knowledge arguments of knowledge are powerful cryptographic primitives that allow a computationally strong prover to convince a weaker verifier for the validity of an NP statement, without revealing anything about the corresponding witness (beyond its existence). Most state-of-the-art implementations of such arguments that achieve succinct communication and verification cost follow the quadratic arithmetic program paradigm. One notable exception to this is the vSQL system of [Zhang et al. IEEE S&P 2017] which takes an entirely different approach resulting is significantly fewer cryptographic operations. However, it has the notable downside that is not zero-knowledge (i.e., it does not hide the witness from the verifier), a property that has proven to be of utmost importance in many application (e.g., in cryptocurrencies). In this work, we present a zero-knowledge version of the argument upon which vSQL is based. Our construction utilizes two separate techniques: (i) a novel zero-knowledge verifiable polynomial delegation protocol, and (ii) running parts of the argument of vSQL over homomorphic commitments, thus hiding the committed values

Sistema informático basado en el diagnóstico clínico para la gestión documental en los consultorios de oftalmología, 2019

Esta investigación su objetivo principal es mejorar la gestión documental basado en el diagnóstico clínico mediante la utilización de un sistema informático; para lograr un control de los diagnósticos de los pacientes, preinscripciones de correctores, etc.; el enfoque de esta investigación fue cuantitativo, se aplicó el método deductivo, se utilizó el tipo de investigación aplicada, tiene como diseño experimental y su tipo de diseño: Pre Experimental; la población de esta investigación fue de 1200 documentos. Por lo tanto, se consideró como muestra 292 documentos de manera aleatoria. Sin embargo, se aplicó la técnica de observación y el instrumento fue la ficha de observación; para obtener la validez y la confiabilidad del instrumento se realizó juicios de expertos; para saber la confiabilidad del instrumento de evaluación se usó el coeficiente estadístico Spearman para la dimensión de gestión documental y el coeficiente estadístico Pearson para los indicadores. Para el desarrollo del sistema informático se aplicó la metodología ágil Iconix, para el análisis de requisitos, análisis y diseño preliminar, diseño, implementación y resumen del proceso; se concluye que en el 1er, 2do y 3ro indicador se logró un nivel alto con 45.5%

New (Zero-Knowledge) Arguments and Their Applications to Verifiable Computation

We study the problem of argument systems, where a computationally weak verifier outsources the execution of a computation to a powerful but untrusted prover, while being able to validate that the result was computed correctly through a proof generated by the prover. In addition, the zero-knowledge property guarantees that proof leaks no information about the potential secret input from the prover. Existing efficient zero-knowledge arguments with sublinear verification time require an expensive preprocessing phase that depends on a particular computation, and incur big overhead on the prover time and prover memory consumption. This thesis proposes new constructions for zero-knowledge arguments that overcome the above problems. The new constructions require only a one time preprocessing and can be used to validate any computations later. They also reduce the overhead on the prover time and memory by orders of magnitude. We apply our new constructions to build a verifiable database system and verifiable RAM programs, leading to significant improvements over prior work