Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1908.04756
Cited By
A scalable verification solution for blockchains
12 August 2019
Jason Teutsch
Christian Reitwießner
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A scalable verification solution for blockchains"
50 / 66 papers shown
On-Chain Decentralized Learning and Cost-Effective Inference for DeFi Attack Mitigation
Conference on Advances in Financial Technologies (AFT), 2025
Abdulrahman Alhaidari
Balaji Palanisamy
Prashant Krishnamurthy
AAML
208
1
0
15 Oct 2025
TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
Jianzhu Yao
Hongxu Su
Taobo Liao
Zerui Cheng
Huan Zhang
Xuechao Wang
Pramod Viswanath
191
1
0
15 Oct 2025
Chainless Apps: A Modular Framework for Building Apps with Web2 Capability and Web3 Trust
Brian Seong
Paul Gebheim
LRM
247
1
0
29 May 2025
Protocol Learning, Decentralized Frontier Risk and the No-Off Problem
Alexander Long
371
2
0
10 Dec 2024
Dave: a decentralized, secure, and lively fraud-proof algorithm
Distributed Ledger Technologies: Research and Practice (DLTRP), 2024
Diego F. Nehab
Gabriel Coutinho de Paula
A. Teixeira
129
6
0
08 Nov 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
244
4
0
04 Jun 2024
It Takes Two: A Peer-Prediction Solution for Blockchain Verifier's Dilemma
Zishuo Zhao
Xi Chen
Yuan Zhou
504
4
0
03 Jun 2024
BitVMX: A CPU for Universal Computation on Bitcoin
S. Lerner
Ramon Amela
Shreemoy Mishra
Martin Jonas
J. '. Cid-Fuentes
LRM
154
10
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
433
2
0
10 May 2024
Proof-of-Learning with Incentive Security
Zishuo Zhao
Zhixuan Fang
Xuechao Wang
Xi Chen
Yuan Zhou
AAML
684
8
0
13 Apr 2024
Optimistic Verifiable Training by Controlling Hardware Nondeterminism
Neural Information Processing Systems (NeurIPS), 2024
Megha Srivastava
Simran Arora
Dan Boneh
302
7
0
14 Mar 2024
Proof of Diligence: Cryptoeconomic Security for Rollups
Conference on Advances in Financial Technologies (AFT), 2024
Peiyao Sheng
Ranvir Rana
Himanshu Tyagi
Pramod Viswanath
313
5
0
11 Feb 2024
opML: Optimistic Machine Learning on Blockchain
KD Conway
Cathie So
Xiaohang Yu
Kartin Wong
310
23
0
31 Jan 2024
The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol
Ralph Ankele
Hamed Haddadi
157
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
258
5
0
20 Nov 2023
Parallel and Asynchronous Smart Contract Execution
IEEE Transactions on Parallel and Distributed Systems (TPDS), 2021
Jian Liu
Peilun Li
Raymond Cheng
F. I. N. Asokan
Fellow Ieee Dawn Song
180
34
0
08 Jun 2023
Permissionless Refereed Tournaments
Diego F. Nehab
A. Teixeira
111
3
0
23 Dec 2022
Accountable Safety for Rollups
Ertem Nusret Tas
John Adler
Mustafa Al-Bassam
Ismail Khoffi
DavidN C. Tse
N. Vaziri
333
10
0
26 Oct 2022
Leveraging the Verifier's Dilemma to Double Spend in Bitcoin
Financial Cryptography (FC), 2022
Tong Cao
Jérémie Decouchant
Jiangshan Yu
208
4
0
25 Oct 2022
POSE: Practical Off-chain Smart Contract Execution
Network and Distributed System Security Symposium (NDSS), 2022
Tommaso Frassetto
Patrick Jauernig
David Koisser
David Kretzler
Benjamin Schlosser
Sebastian Faust
A. Sadeghi
201
32
0
13 Oct 2022
Wider: Scale Out Blockchain With Sharding by Account
Jia Kan
Jie Zhang
Xin Huang
LRM
221
0
0
05 Jul 2022
A Survey of Layer-Two Blockchain Protocols
Journal of Network and Computer Applications (JNCA), 2022
Ankit Gangwal
Haripriya Ravali Gangavalli
Apoorva Thirupathi
414
169
0
17 Apr 2022
Tiramisu: Layering Consensus Protocols for Scalable and Secure Blockchains
International Conference on Blockchain (ICB), 2022
A. Jain
Sanidhay Arora
Sankarshan Damle
Sujit Gujar
363
5
0
21 Mar 2022
SmartSync: Cross-Blockchain Smart Contract Interaction and Synchronization
International Conference on Blockchain (ICB), 2022
Martin Westerkamp
Axel Küpper
273
19
0
21 Jan 2022
Blockchain-based Result Verification for Computation Offloading
International Conference on Service Oriented Computing (ICSOC), 2021
Benjamin Korbel
M. Sigwart
Philipp Frauenthaler
Michael Sober
Stefan Schulte
127
4
0
21 Oct 2021
Towards Private On-Chain Algorithmic Trading
Ceren Kocaogullar
Arthur Gervais
B. Livshits
194
2
0
23 Sep 2021
Blockchain Oracle Design Patterns
A. Pasdar
Zhongli Dong
Young Choon Lee
180
27
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
304
14
0
11 May 2021
EntrapNet: a Blockchain-Based Verification Protocol for Trustless Computing
IEEE Internet of Things Journal (IEEE IoT Journal), 2021
Chong Li
Lei Zhang
Senbiao Fang
191
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
294
5
0
05 Feb 2021
ACeD: Scalable Data Availability Oracle
Financial Cryptography (FC), 2020
Peiyao Sheng
Bowen Xue
Sreeram Kannan
Pramod Viswanath
392
25
0
30 Oct 2020
Bias-Resistant Social News Aggregator Based on Blockchain
Amir Ziashahabi
M. Maddah-ali
Abbas Heydarnoori
127
1
0
20 Oct 2020
Efficient Cross-Shard Transaction Execution in Sharded Blockchains
Sourav Das
Vinith Krishnan
Ling Ren
265
27
0
28 Jul 2020
Economically Viable Randomness
David Yakira
Avi Asayag
Ido Grayevsky
I. Keidar
240
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
230
1
0
24 May 2020
SafeComp: Protocol For Certifying Cloud Computations Integrity
E. Shishkin
E. Kislitsyn
134
0
0
21 May 2020
Free2Shard: Adaptive-adversary-resistant sharding via Dynamic Self Allocation
Ranvir Rana
Sreeram Kannan
David Tse
Pramod Viswanath
303
9
0
19 May 2020
Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma
Dependable Systems and Networks (DSN), 2020
Maher Alharby
R. C. Lunardi
A. Aldweesh
Aad van Moorsel
208
13
0
27 Apr 2020
Smart Contracts on the Move
Dependable Systems and Networks (DSN), 2020
Enrique Fynn
A. Bessani
F. Pedone
254
48
0
13 Apr 2020
Blockchain based Decentralized Applications: Technology Review and Development Guidelines
Claudia Pop
T. Cioara
I. Anghel
Marcel Antal
I. Salomie
130
15
0
16 Mar 2020
Generic Superlight Client for Permissionless Blockchains
IACR Cryptology ePrint Archive (IACR ePrint), 2020
Yuan Lu
Qiang Tang
Guiling Wang
199
16
0
14 Mar 2020
On the Convergence of Artificial Intelligence and Distributed Ledger Technology: A Scoping Review and Future Research Agenda
IEEE Access (IEEE Access), 2020
Konstantin D. Pandl
Scott Thiebes
Manuel Schmidt-Kraepelin
Ali Sunyaev
305
87
0
29 Jan 2020
Outsourcing Computation: the Minimal Refereed Mechanism
Workshop on Internet and Network Economics (WINE), 2019
Yuqing Kong
Chris Peikert
Grant Schoenebeck
Biaoshuai Tao
LRM
172
2
0
31 Oct 2019
On decentralized oracles for data availability
Jason Teutsch
111
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
226
0
0
24 Sep 2019
VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service
IEEE Transactions on Parallel and Distributed Systems (TPDS), 2019
Lingchen Zhao
Qian Wang
Cong Wang
Qi Li
Chao Shen
Xiaodong Lin
Bo Feng
Minxin Du
VLM
187
107
0
16 Sep 2019
Flow: Separating Consensus and Compute
A. Hentschel
D. Shirley
Layne Lafrance
159
9
0
12 Sep 2019
Retrofitting a two-way peg between blockchains
Jason Teutsch
Michael Straka
Dan Boneh
157
26
0
12 Aug 2019
Bootstrapping a stable computation token
Jason Teutsch
S. Mäkelä
Surya Bakshi
125
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
311
7
0
20 Jul 2019
1
2
Next
Page 1 of 2
