Scalable zero knowledge via cycles of elliptic curves

E Ben-Sasson, A Chiesa, E Tromer, M Virza - Algorithmica, 2017 - Springer
elliptic curves In our underlying preprocessing \(\text{ zk-SNARK }\), the verifier \(V\) consists
mainly of operations in an elliptic curve … multiple, suitably-chosen elliptic curves, that lie on a …

Elliptic curve based zero knowledge proofs and their applicability on resource constrained devices

I Chatzigiannakis, A Pyrgelis… - 2011 IEEE eighth …, 2011 - ieeexplore.ieee.org
… of zero knowledge proofs (ZKP). In this paper, we study well-established ZKP protocols
based on the discrete logarithm problem and we adapt them to the Elliptic Curve Cryptography (…

Twisted edwards elliptic curves for zero-knowledge circuits

M Bellés-Muñoz, B Whitehat, J Baylina, V Daza… - Mathematics, 2021 - mdpi.com
… of elliptic curves. In Section 4, we present a deterministic algorithm for generating twisted
Edwards elliptic curves … checks that a twisted Edwards elliptic curve should pass. We base this …

[PDF][PDF] An elliptic curve and zero knowledge based forward secure RFID protocol

S Martınez, M Valls, C Roig, F Gine, JM Miret - 2007 - researchgate.net
… The protocol presented in this paper takes benefit of the usage of the elliptic curve version
of the Schnorr’s zero knowledge protocol [8]. Notice that, since security is based on the ECDLP…

Zero Knowledge Proofs of Elliptic Curve Inner Products from Principal Divisors and Weil Reciprocity

L Eagen - Cryptology ePrint Archive, 2022 - eprint.iacr.org
elliptic curve operations more generally are an increasingly important part of zero knowledge
elliptic curves. To prove ECIPs more efficiently, I represent a collection of points that sum to …

Elliptic curve implementation of zero-knowledge blobs

N Koblitz - Journal of Cryptology, 1991 - Springer
… for perfect zero-knowledge proofs called "blobs" using the discrete log problem. Contrary
to what they remark on p. 73 of [2], we argue that the Mordell group of an elliptic curve is more …

A zero-knowledge identification scheme based on the discrete logarithm problem and elliptic curves

S Ezziri, O Khadir - Advances on Smart and Soft Computing: Proceedings …, 2021 - Springer
… a novel, alternative zero-knowledge identification protocol has been proposed whose security
relies on the difficulty of solving the discrete logarithm problem over elliptic curves. It has …

New techniques for noninteractive zero-knowledge

J Groth, R Ostrovsky, A Sahai - Journal of the ACM (JACM), 2012 - dl.acm.org
… on the elliptic curve y2 ≡ x3 + 1 mod P, where P = ln − 1 and P ≡ 2 mod 3. One can
sample a random nontrivial point ρ = (x, y) on the curve of by picking y ← ZP and setting x ≡ y …

Pipezk: Accelerating zero-knowledge proof with a pipelined architecture

Y Zhang, S Wang, X Zhang, J Dong… - 2021 ACM/IEEE 48th …, 2021 - ieeexplore.ieee.org
… For both NTT and MSM, we evaluate them with different underlying elliptic curves: BN-128,
BLS12-381, and MNT4753, where the bitwidth λ = 256, 384, and 768, respectively. For BN-…

A survey of elliptic curves for proof systems

DF Aranha, Y El Housni, A Guillevic - Designs, Codes and Cryptography, 2023 - Springer
… In this paper, we give an overview on the elliptic curves designed for different … of elliptic
curves tailored for SNARKs, at three stages of the process: curves to instantiate a SNARK, curves