Blockchain, an emerging paradigm of secure and shareable computing, is a systematic
integration of 1) chain structure for data verification and storage, 2) distributed consensus …

Advances in the usage of information and communication technologies (ICT) has given rise
to the popularity and success of cloud computing. Cloud computing offers advantages and …

Ever since their introduction, zero-knowledge proofs have become an important tool for
addressing privacy and scalability concerns in a variety of applications. In many systems …

In the past decade, blockchains have seen various financial and technological innovations,
with cryptocurrencies reaching a market cap of over 1 trillion dollars. However, scalability is …

We present a framework for building efficient folding-based SNARKs. First we develop a
new “uniformizing” compiler for NP statements that converts any poly-time computation to a …

, often cited to drastically shape our lives, is ubiquitous. However, few literatures have
discussed the crucial differentiators that separate from the era we are currently living in. Via …

Blockchain and distributed ledger technologies have received significant interest in various
areas beyond the financial sector, with profound applications in the Internet of Things (IoT) …

With the increasing interest in connected vehicles along with electrification opportunities,
there is an ongoing effort to automate the charging process of electric vehicles (EVs) through …

This paper follows the line of works that design concretely efficient transparent sublinear
zero-knowledge Interactive Oracle Proofs (IOP). Arguments obtained via this paradigm have …