12 lines
521 B
Text
12 lines
521 B
Text
|
The libSTARK library implements scalable and transparent argument of
|
||
|
|
knowledge (STARK) systems. These systems can be executed with, or
|
||
|
|
without, zero knowledge (ZK), and may be designed as either
|
||
|
|
interactive or non-interactive protocols. The theoretical
|
||
|
|
constructions which this library implements are described in detail in
|
||
|
|
the zk-STARK paper:
|
||
|
|
|
||
|
|
Scalable, transparent, and post-quantum secure computational integrity
|
||
|
|
Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev
|
||
|
|
|
||
|
|
https://eprint.iacr.org/2018/046
|