A scalable verification solution for blockchains

12 August 2019

Papers citing "A scalable verification solution for blockchains"

50 / 63 papers shown

Title
Chainless Apps: A Modular Framework for Building Apps with Web2 Capability and Web3 Trust Brian Seong Paul Gebheim LRM 28 0 0 29 May 2025
Protocol Learning, Decentralized Frontier Risk and the No-Off Problem Alexander Long 86 0 0 10 Dec 2024
Fast and Secure Decentralized Optimistic Rollups Using Setchain Margarita Capretto Martín Ceresa Antonio Fernández Anta Pedro A. Moreno-Sánchez César Sánchez LRM 65 2 0 04 Jun 2024
It Takes Two: A Peer-Prediction Solution for Blockchain Verifier's Dilemma Zishuo Zhao Xi Chen Yuan Zhou 89 2 0 03 Jun 2024
BitVMX: A CPU for Universal Computation on Bitcoin S. Lerner Ramon Amela Shreemoy Mishra Martin Jonas J. '. Cid-Fuentes LRM 25 6 0 10 May 2024
Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts Suhyeon Lee Euisin Gee Junghee Lee 63 0 0 10 May 2024
Proof-of-Learning with Incentive Security Zishuo Zhao Zhixuan Fang Xuechao Wang Xi Chen Yuan Zhou AAML 125 4 0 13 Apr 2024
Optimistic Verifiable Training by Controlling Hardware Nondeterminism Megha Srivastava Simran Arora Dan Boneh 89 6 0 14 Mar 2024
Proof of Diligence: Cryptoeconomic Security for Rollups Peiyao Sheng Ranvir Rana Himanshu Tyagi Pramod Viswanath 105 4 0 11 Feb 2024
opML: Optimistic Machine Learning on Blockchain KD Conway Cathie So Xiaohang Yu Kartin Wong 69 15 0 31 Jan 2024
The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol Ralph Ankele Hamed Haddadi 23 2 0 06 Dec 2023
Private and Secure Post-Quantum Verifiable Random Function with NIZK Proof and Ring-LWE Encryption in Blockchain Bong Gon Kim Dennis Wong Yoon Seok Yang 11 4 0 20 Nov 2023
Parallel and Asynchronous Smart Contract Execution Jian Liu Peilun Li Raymond Cheng F. I. N. Asokan Fellow Ieee Dawn Song 42 28 0 08 Jun 2023
Permissionless Refereed Tournaments Diego F. Nehab A. Teixeira 8 1 0 23 Dec 2022
Accountable Safety for Rollups Ertem Nusret Tas John Adler Mustafa Al-Bassam Ismail Khoffi DavidN C. Tse N. Vaziri 99 5 0 26 Oct 2022
Leveraging the Verifier's Dilemma to Double Spend in Bitcoin Tong Cao Jérémie Decouchant Jiangshan Yu 36 4 0 25 Oct 2022
POSE: Practical Off-chain Smart Contract Execution Tommaso Frassetto Patrick Jauernig David Koisser David Kretzler Benjamin Schlosser Sebastian Faust A. Sadeghi 35 23 0 13 Oct 2022
Wider: Scale Out Blockchain With Sharding by Account Jia Kan Jie Zhang Xin Huang LRM 27 0 0 05 Jul 2022
A Survey of Layer-Two Blockchain Protocols Ankit Gangwal Haripriya Ravali Gangavalli Apoorva Thirupathi 82 120 0 17 Apr 2022
Tiramisu: Layering Consensus Protocols for Scalable and Secure Blockchains A. Jain Sanidhay Arora Sankarshan Damle Sujit Gujar 72 5 0 21 Mar 2022
SmartSync: Cross-Blockchain Smart Contract Interaction and Synchronization Martin Westerkamp Axel Küpper 70 15 0 21 Jan 2022
Blockchain-based Result Verification for Computation Offloading Benjamin Korbel M. Sigwart Philipp Frauenthaler Michael Sober Stefan Schulte 23 4 0 21 Oct 2021
Towards Private On-Chain Algorithmic Trading Ceren Kocaogullar Arthur Gervais B. Livshits 54 2 0 23 Sep 2021
Blockchain Oracle Design Patterns A. Pasdar Zhongli Dong Young Choon Lee 36 21 0 17 Jun 2021
Agatha: Smart Contract for DNN Computation Zihan Zheng Peichen Xie Xian Zhang Shuo Chen Yang Chen Xiaobing Guo Guangzhong Sun Guangyu Sun Lidong Zhou GNN 56 12 0 11 May 2021
EntrapNet: a Blockchain-Based Verification Protocol for Trustless Computing Chong Li Lei Zhang Senbiao Fang 24 3 0 01 May 2021
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets Sylvain Carré Franck Gabriel Clément Hongler Gustavo Lacerda G. Capano 10 4 0 05 Feb 2021
ACeD: Scalable Data Availability Oracle Peiyao Sheng Bowen Xue Sreeram Kannan Pramod Viswanath 58 21 0 30 Oct 2020
Bias-Resistant Social News Aggregator Based on Blockchain Amir Ziashahabi M. Maddah-ali Abbas Heydarnoori 15 0 0 20 Oct 2020
Efficient Cross-Shard Transaction Execution in Sharded Blockchains Sourav Das Vinith Krishnan Ling Ren 64 22 0 28 Jul 2020
Economically Viable Randomness David Yakira Avi Asayag Ido Grayevsky I. Keidar 16 8 0 07 Jul 2020
Better Late than Never; Scaling Computation in Blockchains by Delaying Execution Sourav Das Nitin Awathare Ling Ren V. Ribeiro U. Bellur 38 1 0 24 May 2020
SafeComp: Protocol For Certifying Cloud Computations Integrity E. Shishkin E. Kislitsyn 26 0 0 21 May 2020
Free2Shard: Adaptive-adversary-resistant sharding via Dynamic Self Allocation Ranvir Rana Sreeram Kannan David Tse Pramod Viswanath 41 9 0 19 May 2020
Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma Maher Alharby R. C. Lunardi A. Aldweesh Aad van Moorsel 17 13 0 27 Apr 2020
Smart Contracts on the Move Enrique Fynn A. Bessani F. Pedone 67 43 0 13 Apr 2020
Blockchain based Decentralized Applications: Technology Review and Development Guidelines Claudia Pop T. Cioara I. Anghel Marcel Antal I. Salomie 13 13 0 16 Mar 2020
Generic Superlight Client for Permissionless Blockchains Yuan Lu Qiang Tang Guiling Wang 30 14 0 14 Mar 2020
On the Convergence of Artificial Intelligence and Distributed Ledger Technology: A Scoping Review and Future Research Agenda Konstantin D. Pandl Scott Thiebes Manuel Schmidt-Kraepelin Ali Sunyaev 72 71 0 29 Jan 2020
Outsourcing Computation: the Minimal Refereed Mechanism Yuqing Kong Chris Peikert Grant Schoenebeck Biaoshuai Tao LRM 16 2 0 31 Oct 2019
On decentralized oracles for data availability Jason Teutsch 26 6 0 23 Oct 2019
Towards the Uses of Blockchain in Mobile Health Services and Applications: A Survey João Amaral Santos Pedro R. M. Inácio Bruno M. C. Silva 63 0 0 24 Sep 2019
VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service Lingchen Zhao Qian Wang Cong Wang Qi Li Chao Shen Xiaodong Lin Bo Feng Minxin Du VLM 47 87 0 16 Sep 2019
Flow: Separating Consensus and Compute A. Hentschel D. Shirley Layne Lafrance 26 8 0 12 Sep 2019
Retrofitting a two-way peg between blockchains Jason Teutsch Michael Straka Dan Boneh 41 25 0 12 Aug 2019
Bootstrapping a stable computation token Jason Teutsch S. Mäkelä Surya Bakshi 19 1 0 08 Aug 2019
Proof-of-Useful-Work as Dual-Purpose Mechanism for Blockchain and AI: Blockchain Consensus that Enables Privacy Preserving Data Mining H. Turesson Henry M. Kim M. Laskowski Alexandra Roatis 24 6 0 20 Jul 2019
Compress-Store on Blockchain: A Decentralized Data Processing and Immutable Storage for Multimedia Streaming Suayb S. Arslan Turguy Goker 45 16 0 24 May 2019
PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-chain Contract Execution Yang Xiao Ning Zhang Jin Li Wenjing Lou Y. T. Hou 74 15 0 15 Apr 2019
Building Scalable Decentralized Payment Systems John Adler Mikerah Quintyne-Collins LRM 34 11 0 12 Apr 2019