中文
相关论文

相关论文: Proof of Deep Learning: Approaches, Challenges, an…

200 篇论文

Deep learning has arguably achieved tremendous success in recent years. In simple words, deep learning uses the composition of many nonlinear functions to model the complex dependency between input features and labels. While neural networks…

机器学习 · 统计学 2019-04-16 Jianqing Fan , Cong Ma , Yiqiao Zhong

Layer 1 (L1) blockchains such as Ethereum are secured under an "honest supermajority of stake" assumption for a large pool of validators who verify each and every transaction on it. This high security comes at a scalability cost which not…

密码学与安全 · 计算机科学 2024-07-25 Peiyao Sheng , Ranvir Rana , Senthil Bala , Himanshu Tyagi , Pramod Viswanath

Blockchain technology emerged with the advent of Bitcoin and rapidly developed over the past few decades, becoming widely accepted and known by the public. However, in the past decades, the massive adoption of blockchain technology has yet…

密码学与安全 · 计算机科学 2024-07-26 Jia Kan

Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problems, such as verification, planning and design. Despite its…

人工智能 · 计算机科学 2011-07-04 P. Beame , H. Kautz , A. Sabharwal

Digital societies increasingly rely on trustworthy proofs of physical presence for services such as supply-chain tracking, e-voting, ride-sharing, and location-based rewards. Yet, traditional localization methods often lack cryptographic…

密码学与安全 · 计算机科学 2025-08-21 Eduardo Brito , Fernando Castillo , Liina Kamm , Amnir Hadachi , Ulrich Norbisrath

The security of blockchain systems depends on the distribution of mining power across participants. If sufficient mining power is controlled by one entity, they can force their own version of events. This may allow them to double spend…

密码学与安全 · 计算机科学 2024-03-21 Mary Milad , Christina Ovezik , Dimitris Karakostas , Daniel W. Woods

The success of deep learning (DL) is often achieved with large models and high complexity during both training and post-training inferences, hindering training in resource-limited settings. To alleviate these issues, this paper introduces a…

机器学习 · 计算机科学 2025-01-20 En-hui Yang , Shayan Mohajer Hamidi

Public companies and institutional investors that hold Bitcoin face increasing pressure to show solvency, manage risk, and satisfy regulatory expectations without exposing internal wallet structures or trading strategies. This paper…

密码学与安全 · 计算机科学 2025-12-04 Jose E. Puente , Carlos Puente

Today's world is organized based on merit and value. A single global currency that's decentralized is needed for a global economy. Bitcoin is a partial solution to this need, however it suffers from scalability problems which prevent it…

分布式、并行与集群计算 · 计算机科学 2020-10-29 Iurii Shyshatsky , Vinod Manoharan , Taras Emelyanenko , Lucas Leger

Permissionless blockchains achieve consensus while allowing unknown nodes to join and leave the system at any time. They typically come in two flavors: proof of work (PoW) and proof of stake (PoS), and both are vulnerable to attacks. PoS…

密码学与安全 · 计算机科学 2026-01-12 Ali Farahbakhsh , Giuliano Losa , Youer Pu , Lorenzo Alvisi , Ittay Eyal

Cryptocurrency exchanges use proofs of liabilities (PoLs) to prove to their customers their liabilities committed on-chain, thereby enhancing their trust in the service. Unfortunately, a close examination of currently deployed and academic…

密码学与安全 · 计算机科学 2026-03-16 Malcom Mohamed , Ghassan Karame

Real-world environment-derived point clouds invariably exhibit noise across varying modalities and intensities. Hence, point cloud denoising (PCD) is essential as a preprocessing step to improve downstream task performance. Deep learning…

计算机视觉与模式识别 · 计算机科学 2025-08-19 Chengwei Zhang , Xueyi Zhang , Mingrui Lao , Tao Jiang , Xinhao Xu , Wenjie Li , Fubo Zhang , Longyong Chen

Machine learning has a long tradition of helping to solve complex information security problems that are difficult to solve manually. Machine learning techniques learn models from data representations to solve a task. These data…

密码学与安全 · 计算机科学 2018-09-13 Stefan Thaler , Vlado Menkovski , Milan Petkovic

This paper investigates capabilities of Privacy-Preserving Deep Learning (PPDL) mechanisms against various forms of privacy attacks. First, we propose to quantitatively measure the trade-off between model accuracy and privacy losses…

机器学习 · 计算机科学 2020-06-25 Lixin Fan , Kam Woh Ng , Ce Ju , Tianyu Zhang , Chang Liu , Chee Seng Chan , Qiang Yang

Mining in proof-of-work blockchains has become an expensive affair requiring specialized hardware capable of executing several megahashes per second at huge electricity costs. Miners earn a reward each time they mine a block within the…

网络与互联网体系结构 · 计算机科学 2023-08-30 Arti Vedula , Abhishek Gupta , Shaileshh Bojja Venkatakrishnan

Deep Learning (DL) is a surprisingly successful branch of machine learning. The success of DL is usually explained by focusing analysis on a particular recent algorithm and its traits. Instead, we propose that an explanation of the success…

机器学习 · 计算机科学 2022-05-23 Artem Kaznatcheev , Konrad Paul Kording

In current blockchain systems, full nodes that perform all of the available functionalities need to store the entire blockchain. In addition to the blockchain, full nodes also store a blockchain-summary, called the \emph{state}, which is…

密码学与安全 · 计算机科学 2022-07-14 Parikshit Hegde , Robert Streit , Yanni Georghiades , Chaya Ganesh , Sriram Vishwanath

Consensus mechanism is the heart of any blockchain network. Many projects have proposed alternative protocols to improve restricted scalability of Proof of Work originated since Bitcoin. As an improvement of Delegated Proof of Stake, in…

密码学与安全 · 计算机科学 2019-12-10 Thuat Do , Thao Nguyen , Hung Pham

Large computer-understandable proofs consist of millions of intermediate logical steps. The vast majority of such steps originate from manually selected and manually guided heuristics applied to intermediate goals. So far, machine learning…

人工智能 · 计算机科学 2017-03-02 Cezary Kaliszyk , François Chollet , Christian Szegedy

This paper investigates the fundamental trade-offs between block safety, confirmation latency, and transaction throughput of proof-of-work (PoW) longest-chain fork-choice protocols, also known as PoW Nakamoto consensus. New upper and lower…

密码学与安全 · 计算机科学 2024-12-05 Shu-Jie Cao , Dongning Guo
‹ 上一页 1 8 9 10 下一页 ›