English
Related papers

Related papers: ZK-Tracer: A High-Performance Heterogeneous Accele…

200 papers

In this paper, we demonstrate how Hyperledger Fabric, one of the most popular permissioned blockchains, can benefit from network-attached acceleration. The scalability and peak performance of Fabric is primarily limited by the bottlenecks…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-22 Haris Javaid , Ji Yang , Nathania Santoso , Mohit Upadhyay , Sundararajarao Mohan , Chengchen Hu , Gordon Brebner

This paper explores how zero-knowledge proofs can enhance Bitcoin's functionality and privacy. First, we consider Proof-of-Reserve schemes: by using zk-STARKs, a custodian can prove its Bitcoin holdings are more than a predefined threshold…

Cryptography and Security · Computer Science 2025-07-30 Yusuf Ozmiş

In today's technology-driven world, early-stage software development and testing are crucial. Virtual Platforms (VPs) have become indispensable tools for this purpose as they serve as a platform to execute and debug the unmodified target…

Software Engineering · Computer Science 2025-05-22 Nils Bosbach , Rebecca Pelke , Niko Zurstraßen , Jan Henrik Weinstock , Lukas Jünger , Rainer Leupers

In last years, there has been an increasing effort to leverage Distributed Ledger Technology (DLT), including blockchain. One of the main topics of interest, given its importance, is the research and development of privacy mechanisms, as…

Cryptography and Security · Computer Science 2019-07-16 Eduardo Morais , Tommy Koens , Cees van Wijk , Aleksei Koren

Ethereum's scalability limitations pose significant challenges for the adoption of decentralized applications (dApps). Zero-Knowledge Rollups (ZK Rollups) present a promising solution, bundling transactions off-chain and submitting validity…

Cryptography and Security · Computer Science 2025-06-03 Krzysztof Gogol , Szczepan Gurgul , Faizan Nehal Siddiqui , David Branes , Claudio Tessone

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 trend in industry is towards heterogeneous multicore processors (HMCs), including chips with CPUs and massively-threaded throughput-oriented processors (MTTOPs) such as GPUs. Although current homogeneous chips tightly couple the cores…

Hardware Architecture · Computer Science 2013-10-30 Blake A. Hechtman , Daniel J. Sorin

Embedded Software development and optimization are complex tasks. Late availably of hardware platforms, their usual low visibility and controllability, and their limiting resource constraints makes early performance estimation an attractive…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-06-19 David Castells-Rufas , Jordi Carrabina , Pablo González de Aledo Marugán , Pablo Sánchez Espeso

Specialized image processing accelerators are necessary to deliver the performance and energy efficiency required by important applications in computer vision, computational photography, and augmented reality. But creating,…

Software Engineering · Computer Science 2016-11-01 Jing Pu , Steven Bell , Xuan Yang , Jeff Setter , Stephen Richardson , Jonathan Ragan-Kelley , Mark Horowitz

Robust and accurate acceleration tracking remains a challenge in many fields. For geophysics and economic geology, precise gravity mapping requires onboard sensors combined with accurate positioning and navigation systems. Cold-atom-based…

RAPID-LLM is a unified performance modeling framework for large language model (LLM) training and inference on GPU clusters. It couples a DeepFlow-based frontend that generates hardware-aware, operator-level Chakra execution traces from an…

Lossless model compression holds tremendous promise for alleviating the memory and bandwidth bottlenecks in bit-exact Large Language Model (LLM) serving. However, existing approaches often result in substantial inference slowdowns due to…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-19 Ruibo Fan , Xiangrui Yu , Xinglin Pan , Zeyu Li , Weile Luo , Qiang Wang , Wei Wang , Xiaowen Chu

Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing privacy and verifiability to having practical, real-world implementations, with SNARKs (Succinct Non-Interactive Argument of Knowledge) emerging as one of…

Cryptography and Security · Computer Science 2024-07-15 Stefanos Chaliasos , Jens Ernstberger , David Theodore , David Wong , Mohammad Jahanara , Benjamin Livshits

Deep neural networks (DNNs) face significant challenges when deployed on resource-constrained extreme edge devices due to their computational and data-intensive nature. While standalone accelerators tailored for specific application…

Hardware Architecture · Computer Science 2024-11-22 Xiaoling Yi , Ryan Antonio , Joren Dumoulin , Jiacong Sun , Josse Van Delm , Guilherme Paim , Marian Verhelst

Why do security cameras, sensors, and siri use cloud servers instead of on-board computation? The lack of very-low-power, high-performance chips greatly limits the ability to field untethered edge devices. We present the NV-1, a new…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-01 W Hokenmaier , R Jurasek , E Bowen , R Granger , D Odom

Zero-knowledge proof (ZKP) provers remain costly because multi-scalar multiplication (MSM) and number-theoretic transforms (NTTs) dominate runtime as they need significant computation. AI ASICs such as TPUs provide massive matrix throughput…

Hardware Architecture · Computer Science 2026-04-21 Jianming Tong , Jingtian Dang , Simon Langowski , Tianhao Huang , Asra Ali , Jeremy Kun , Jevin Jiang , Srinivas Devadas , Tushar Krishna

In a world of increasing closed-source commercial machine learning models, model evaluations from developers must be taken at face value. These benchmark results-whether over task accuracy, bias evaluations, or safety checks-are…

On-chip DNN inference and training at the Extreme-Edge (TinyML) impose strict latency, throughput, accuracy and flexibility requirements. Heterogeneous clusters are promising solutions to meet the challenge, combining the flexibility of…

Hardware Architecture · Computer Science 2023-04-03 Angelo Garofalo , Yvan Tortorella , Matteo Perotti , Luca Valente , Alessandro Nadalini , Luca Benini , Davide Rossi , Francesco Conti

Large language models (LLMs) face significant inference latency due to inefficiencies in GEMM operations, weight access, and KV cache access, especially in real-time scenarios. This highlights the need for a versatile compute-memory…

Hardware Architecture · Computer Science 2025-09-15 Huizheng Wang , Zichuan Wang , Zhiheng Yue , Yousheng Long , Taiquan Wei , Jianxun Yang , Yang Wang , Chao Li , Shaojun Wei , Yang Hu , Shouyi Yin

The increasing complexity of hardware and software requires advanced development and test methodologies for modern systems on chips. This paper presents a novel approach to ARM-on-ARM virtualization within SystemC-based simulators using…

Software Engineering · Computer Science 2025-06-25 Nils Bosbach , Rebecca Pelke , Niko Zurstraßen , Jan Henrik Weinstock , Lukas Jünger , Rainer Leupers
‹ Prev 1 4 5 6 7 8 10 Next ›