搜索结果: 1-3 共查到“short proofs”相关记录3条 . 查询时间(0.515 秒)
Hunting and Gathering - Verifiable Random Functions from Standard Assumptions with Short Proofs
public-key cryptography verifiable random functions
2019/1/18
A verifiable random function (VRF) is a pseudorandom function, where outputs can be publicly verified. That is, given an output value together with a proof, one can check that the function was indeed ...
Short Proofs for the Determinant Identities
Proof complexity algebraic complexity Frege systems linear algebra determinant
2012/12/3
We study arithmetic proof systems Pc(F) and Pf (F) operating with arithmetic circuits and arithmetic formulas, respectively, that prove polynomial identities over a field F. We establish a series of s...
A Verifiable Random Function With Short Proofs and Keys
Verifiable Random Function Short Proofs Keys
2009/4/1
A Verifiable Random Function With Short Proofs and Keys.