Concepedia
SSRN Electronic Journal · 2022 · 11 citations · 0 references
Open access
ComputingComputer ScienceMathematicsCryptographyFormal MethodsCryptographic ComplexityInteractive Proof SystemsProof ComplexityStark EffectStark MapZk-starks