Going Deep into the Specification for Marlinby@sin7y
636 reads

Going Deep into the Specification for Marlin

August 10th 2022
7 min
by @sin7y 636 reads
tldt arrow
Read on Terminal Reader🖨️

Too Long; Didn't Read

Zero-knowledge proof algorithm Marlin is a R1CS based proof system. Given a coefficient matrix parameter I = (F, n, m, A, B, C) and a set of valid assignments,  z = (x, w) ∈ F^n, among which x is public information, namely Instance and is private information, Marlin. In order to reduce the computational complexity for the verifier (see paper 5.2.1(https://eprint.iacr.org/2019/1047))

Company Mentioned

Mention Thumbnail
featured image - Going Deep into the Specification for Marlin
Sin7Y HackerNoon profile picture

@sin7y

Sin7Y

react to story with heart

RELATED STORIES

L O A D I N G
. . . comments & more!
Hackernoon hq - po box 2206, edwards, colorado 81632, usa