English
Related papers

Related papers: Why and How zk-SNARK Works

200 papers

The great success of deep learning shows that its technology contains profound truth, and understanding its internal mechanism not only has important implications for the development of its technology and effective application in various…

Machine Learning · Computer Science 2018-05-23 Dian Lei , Xiaoxiao Chen , Jianfei Zhao

Blockchain is relatively a new area of research. However, a surge of research studies on the blockchain has taken place in recent years. These research studies have mostly focused on designing and developing conceptual frameworks to build…

Software Engineering · Computer Science 2020-04-28 Iyolita Islam , Kazi Md. Munim , Shahrima Jannat Oishwee , A. K. M. Najmul Islam , Muhammad Nazrul Islam

In this paper, we present a complete digital signature message stream, just the way the RSA digital signature scheme does it. We will focus on the operations with large numbers due to the fact that operating with large numbers is the…

Cryptography and Security · Computer Science 2013-04-12 Dragan Vidakovic , Dusko Parezanovic , Olivera Nikolic , Jelena Kaljevic

Interpretability, explainability and transparency are key issues to introducing Artificial Intelligence methods in many critical domains: This is important due to ethical concerns and trust issues strongly connected to reliability,…

Machine Learning · Computer Science 2023-01-25 George A. Vouros

Zero-knowledge succinct non-interactive argument of knowledge (zkSNARK) allows a party, known as the prover, to convince another party, known as the verifier, that he knows a private value $v$, without revealing it, such that $F(u,v)=y$ for…

Cryptography and Security · Computer Science 2021-03-03 Ali Rahimi , Mohammad Ali Maddah-Ali

The purpose of this note is to raise two different questions, which are rarely if ever considered, and to which, it seems, we lack convincing, systematic answers. These questions can be posed as: - Why do we compute? - What do we compute?…

Logic in Computer Science · Computer Science 2014-03-20 Samson Abramsky

The identification of a solution to the dark matter problem has many arrows to its bow: if dark matter is a new elementary particle, both laboratory experiments and astrophysics can bring relevant and complementary pieces of information,…

High Energy Astrophysical Phenomena · Physics 2017-01-17 N. Fornengo

Predictions obtained by, e.g., artificial neural networks have a high accuracy but humans often perceive the models as black boxes. Insights about the decision making are mostly opaque for humans. Particularly understanding the decision…

Machine Learning · Computer Science 2021-01-21 Nadia Burkart , Marco F. Huber

Transparency is often deemed critical to enable effective real-world deployment of intelligent systems. Yet the motivations for and benefits of different types of transparency can vary significantly depending on context, and objective…

Computers and Society · Computer Science 2019-08-20 Adrian Weller

Given the importance of integrating of explainability into machine learning, at present, there are a lack of pedagogical resources exploring this. Specifically, we have found a need for resources in explaining how one can teach the…

Human-Computer Interaction · Computer Science 2022-02-22 Andreas Bueff , Ioannis Papantonis , Auste Simkute , Vaishak Belle

Although interactive learning puts the user into the loop, the learner remains mostly a black box for the user. Understanding the reasons behind queries and predictions is important when assessing how the learner works and, in turn, trust.…

Machine Learning · Statistics 2018-05-23 Stefano Teso , Kristian Kersting

Our work serves as a framework for unifying the challenges of contemporary explainable AI (XAI). We demonstrate that while XAI methods provide supplementary and potentially useful output for machine learning models, researchers and…

Artificial Intelligence · Computer Science 2023-07-17 Alicja Chaszczewicz

This article is a gentle introduction to the mathematical area known as circle packing, the study of the kinds of patterns that can be formed by configurations of non-overlapping circles. The first half of the article is an exposition of…

History and Overview · Mathematics 2013-04-11 Andrey M. Mishchenko

This paper describes a network of teachers and students who form a living system of education at all levels and achieve high standards. The key process of the network is the process of effective learning by inquiry. Physics is distinguished…

Physics and Society · Physics 2007-05-23 Stanislaw D. Glazek

Blockchain technology has recently gained widespread attention by media, businesses, public sector agencies, and various international organizations, and it is being regarded as potentially even more disruptive than the Internet. Despite…

Computers and Society · Computer Science 2018-06-12 Karim Sultan , Umar Ruhi , Rubina Lakhani

Machine learning is currently undergoing an explosion in capability, popularity, and sophistication. However, one of the major barriers to widespread acceptance of machine learning (ML) is trustworthiness: most ML models operate as black…

Deep learning has achieved a great success in many areas, from computer vision to natural language processing, to game playing, and much more. Yet, what deep learning is really doing is still an open question. There are a lot of works in…

Machine Learning · Computer Science 2017-11-13 Chuyu Xiong

Electronics has changed greatly during recent decades, and some its basic concepts should be revisited. Starting from the sampling procedure, we consider some mathematical, physical and engineering aspects related to singular, mainly…

Exactly Solvable and Integrable Systems · Physics 2008-01-24 Emanuel Gluskin

In recent years, machine learning (ML) has become a key enabling technology for the sciences and industry. Especially through improvements in methodology, the availability of large databases and increased computational power, today's ML…

Artificial Intelligence · Computer Science 2019-09-27 Wojciech Samek , Klaus-Robert Müller

In this short paper, we introduce work that is aiming to purposefully venture into this mesh of questions from a different starting point. Interjecting into the conversation, we want to ask: 'What is it to be skilled at work?' Building on…

Human-Computer Interaction · Computer Science 2024-11-19 Axel Niklasson , Sean Rintel , Stephann Makri , Alex Taylor