Results 261 to 270 of about 168,416,722 (298)
Some of the next articles are maybe not open access.
Simple Proofs of Sequential Work
2018At ITCS 2013, Mahmoody, Moran and Vadhan [MMV13] introduce and construct publicly verifiable proofs of sequential work, which is a protocol for proving that one spent sequential computational work related to some statement. The original motivation for such proofs included non-interactive time-stamping and universally verifiable CPU benchmarks.
Bram Cohen, Krzysztof Pietrzak
openaire +3 more sources
Reversible Proofs of Sequential Work
2019Proofs of sequential work (PoSW) are proof systems where a prover, upon receiving a statement \(\chi \) and a time parameter T computes a proof \(\phi (\chi ,T)\) which is efficiently and publicly verifiable. The proof can be computed in T sequential steps, but not much less, even by a malicious party having large parallelism.
Hamza Abusalah +4 more
openaire +3 more sources
Proof-of-Participation: Implementation of Proof-of-Stake Through Proof-of-Work
2018A new protocol for consensus in blockchain is proposed that builds upon the Proof-of-Stake by implementing it with Proof-of-Work mining architecture. The Proof-of-Participation protocol improves security and significantly reduces the computational resources needed to maintain the strict level of security.
Arpit Nandwani +2 more
openaire +1 more source
Resistance-proof antimicrobial drug discovery to combat global antimicrobial resistance threat
Drug Resistance Updates, 2023Awanish Kumar, Jingjing Ling, Yuhao Xie
exaly
Proof verification and the hardness of approximation problems
Journal of the ACM, 1998Sanjeev Arora +2 more
exaly
How can the relationship between argumentation and proof be analysed?
Educational Studies in Mathematics, 2007Bettina Pedemonte
exaly