Agatha: Smart Contract for DNN Computation

Topological sorting of large networks

Arthur B Kahn. 1962 · 1962

Earlier work this paper cites.

A digital signature based on a conventional encryption function. In Conference on the theory and application of cryptographic techniques . Springer, 369–378

Ralph C Merkle. 1987 · 1987

Earlier work this paper cites.

Minimum disclosure proofs of knowledge

Gilles Brassard, David Chaum, and Claude Crépeau. 1988 · 1988

Earlier work this paper cites.

What every computer scientist should know about floating-point arithmetic

David Goldberg. 1991 · 1991

Earlier work this paper cites.

Making games short. In Proceedings of the twenty-ninth annual ACM symposium on Theory of computing . 506–516

Uriel Feige and Joe Kilian. 1997 · 1997

Earlier work this paper cites.

The pitfalls of verifying floating-point computations

David Monniaux. 2008 · 2008

Earlier work this paper cites.

Imagenet: A large-scale hierarchical image database. In 2009 IEEE conference on computer vision and pattern recognition . Ieee, 248–255

Jia Deng, Wei Dong, Richard Socher, Li-Jia Li, Kai Li, and Li Fei-Fei. 2009 · 2009

Earlier work this paper cites.

Effects of floating-point non-associativity on numerical computations on massively multithreaded systems. In Proceedings of Cray User Group Meeting (CUG) . 3

Oreste Villa, Daniel Chavarria-Miranda, Vidhya Gurumoorthi, Andrés Márquez, and Sriram Krishnamoorthy. 2009 · 2009

Earlier work this paper cites.

Practical delegation of computation using multiple servers. In Proceedings of the 18th ACM conference on Computer and communications security . 445–454

Ran Canetti, Ben Riva, and Guy N Rothblum. 2011 · 2011

Earlier work this paper cites.

Intel sha extensions–new instructions supporting the secure hash algorithm on intel architecture processor

Sean Gulley, Vinodh Gopal, Kirk Yap, Wajdi Feghali, Jim Guilford, and Gil Wolrich. 2013 · 2013

Earlier work this paper cites.

Succinct non-interactive zero knowledge for a von Neumann architecture. In Proceedings of the 23rd USENIX conference on Security Symposium . 781–796

Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, and Madars Virza. 2014 · 2014

Earlier work this paper cites.

Versum: Verifiable computations over large public logs. In Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security . 1304–1316

Jelle van den Hooff, M Frans Kaashoek, and Nickolai Zeldovich. 2014 · 2014

Earlier work this paper cites.

Very Deep Convolutional Networks for Large-Scale Image Recognition. In 3rd International Conference on Learning Representations, ICLR 2015

Karen Simonyan and Andrew Zisserman. 2015 · 2015

Earlier work this paper cites.

Tensorflow: A system for large-scale machine learning. In 12th { \{ USENIX } \} symposium on operating systems design and implementation ( { \{ OSDI } \} 16) . 265–283

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, et al · 2016

Earlier work this paper cites.

Efficient Reproducible Floating Point Summation and BLAS

James Demmel, Peter Ahrens, and Hong Diep Nguyen. 2016 · 2016

Earlier work this paper cites.

Identity mappings in deep residual networks. In European conference on computer vision . Springer, 630–645

Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2016 · 2016

Earlier work this paper cites.

Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security . ACM, 254–269

Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016 · 2016

Earlier work this paper cites.

Blockchain revolution: how the technology behind bitcoin is changing money, business, and the world

Don Tapscott and Alex Tapscott. 2016 · 2016

Earlier work this paper cites.

Zero-knowledge contingent payments revisited: Attacks and payments for services. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security . 229–243

Matteo Campanelli, Rosario Gennaro, Steven Goldfeder, and Luca Nizzardo. 2017 · 2017

Earlier work this paper cites.

Safetynets: Verifiable execution of deep neural networks on an untrusted cloud

Zahra Ghodsi, Tianyu Gu, and Siddharth Garg. 2017 · 2017

Earlier work this paper cites.

SingularityNET: A decentralized, open market and inter-network for AIs

Ben Goertzel, Simone Giacomelli, David Hanson, Cassio Pennachin, and Marco Argentieri. 2017 · 2017

Earlier work this paper cites.

Time-series extreme event forecasting with neural networks at uber. In International conference on machine learning , Vol. 34. 1–5

Nikolay Laptev, Jason Yosinski, Li Erran Li, and Slawek Smyl. 2017 · 2017

Earlier work this paper cites.

Concurrency and privacy with payment-channel networks. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security . 455–471

Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, and Srivatsan Ravi. 2017 · 2017

Earlier work this paper cites.

A smart contract for boardroom voting with maximum voter privacy. In International Conference on Financial Cryptography and Data Security . Springer, 357–375

Patrick McCorry, Siamak F Shahandashti, and Feng Hao. 2017 · 2017

Earlier work this paper cites.

Plasma: Scalable autonomous smart contracts

Joseph Poon and Vitalik Buterin. 2017 · 2017

Earlier work this paper cites.

Efficient processing of deep neural networks: A tutorial and survey

Vivienne Sze, Yu-Hsin Chen, Tien-Ju Yang, and Joel S Emer. 2017 · 2017

Cited alongside, same era.

Bulletproofs: Short proofs for confidential transactions and more. In 2018 IEEE Symposium on Security and Privacy (SP) . IEEE, 315–334

Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, and Greg Maxwell. 2018 · 2018

Cited alongside, same era.

Cortex-AI on blockchain: The decentralized AI autonomous system

Z Chen, W Wang, X Yan, and J Tian. 2018 · 2018

Cited alongside, same era.

Fairswap: How to fairly exchange digital goods. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security . ACM, 967–984

Stefan Dziembowski, Lisa Eckey, and Sebastian Faust. 2018a · 2018

Cited alongside, same era.

General state channel networks. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security . 949–966

Stefan Dziembowski, Sebastian Faust, and Kristina Hostáková. 2018b · 2018

A scalable verification solution for blockchains

Original

Jason Teutsch and Christian Reitwießner. 2019 · 2019

Later among the works it cites.

Measuring ethereum-based erc20 token networks. In International Conference on Financial Cryptography and Data Security . Springer, 113–129

Friedhelm Victor and Bianca Katharina Lüders. 2019 · 2019

Later among the works it cites.

Efficient publicly verifiable 2pc over a blockchain with applications to financially-secure computations. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security . 633–650

Ruiyu Zhu, Changchang Ding, and Yan Huang. 2019 · 2019

Later among the works it cites.

Optiswap: Fast optimistic fair exchange. In Proceedings of the 15th ACM Asia Conference on Computer and Communications Security . 543–557

Lisa Eckey, Sebastian Faust, and Benjamin Schlosser. 2020 · 2020

Later among the works it cites.