A scalable verification solution for blockchains

12 August 2019

Papers citing "A scalable verification solution for blockchains"

13 / 63 papers shown

Title
Security and Privacy on Blockchain Rui Zhang Rui Xue Ling Liu 59 775 0 18 Mar 2019
Rational Threshold Cryptosystems David Yakira Ido Grayevsky Avi Asayag 35 6 0 04 Jan 2019
ARPA Whitepaper D. Zhang Alex Su F. Xu Jiang Chen 13 5 0 14 Dec 2018
YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes Sourav Das V. Ribeiro Abhijeet Anand 50 45 0 08 Nov 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 70 77 0 26 Sep 2018
Astraea: A Decentralized Blockchain Oracle John Adler Ryan Berryhill A. Veneris Zissis Poulos Neil Veira A. Kastania 59 177 0 01 Aug 2018
Raziel: Private and Verifiable Smart Contracts on Blockchains David Cerezo Sánchez 65 73 0 25 Jul 2018
A Predictable Incentive Mechanism for TrueBit Julia Koch Christian Reitwießner 12 7 0 29 Jun 2018
UniqueID: Decentralized Proof-of-Unique-Human MohammadJavad Hajialikhani Mohammad Jahanara 15 5 0 20 Jun 2018
Tokenized Data Markets Bharath Ramsundar Roger Chen Alok Vasudev R. Robbins Artur Gorokh 13 5 0 31 May 2018
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution Raymond Cheng Fan Zhang Jernej Kos Warren He Nicholas Hynes Noah M. Johnson Ari Juels Andrew K. Miller Basel Alomair 135 370 0 14 Apr 2018
The Scalability of Trustless Trust D. Harz M. Boman LRM 22 19 0 29 Jan 2018
NuCypher KMS: Decentralized key management system M. Egorov M. Wilkison David Nunez 65 34 0 19 Jul 2017