Batching techniques for accumulators with applications to IOPs and stateless blockchains

D Boneh, B Bünz, B Fisch - Advances in Cryptology–CRYPTO 2019: 39th …, 2019 - Springer
We present batching techniques for cryptographic accumulators and vector commitments in
groups of unknown order. Our techniques are tailored for distributed settings where no …

Lattice-based SNARKs: publicly verifiable, preprocessing, and recursively composable

MR Albrecht, V Cini, RWF Lai, G Malavolta… - Annual International …, 2022 - Springer
A succinct non-interactive argument of knowledge (SNARK) allows a prover to produce a
short proof that certifies the veracity of a certain NP-statement. In the last decade, a large …

SlimChain: Scaling blockchain transactions through off-chain storage and parallel processing

C Xu, C Zhang, J Xu, J Pei - Proceedings of the VLDB Endowment, 2021 - dl.acm.org
Blockchain technology has emerged as the cornerstone of many decentralized applications
operating among otherwise untrusted peers. However, it is well known that existing …

[HTML][HTML] A survey of set accumulators for blockchain systems

M Loporchio, A Bernasconi, DDF Maesa… - Computer Science Review, 2023 - Elsevier
Set accumulators are cryptographic primitives used to represent arbitrarily large sets of
elements with a single constant-size value and to efficiently verify whether a value belongs …

vChain+: Optimizing verifiable blockchain boolean range queries

H Wang, C Xu, C Zhang, J Xu… - 2022 IEEE 38th …, 2022 - ieeexplore.ieee.org
Blockchain has recently gained massive attention thanks to the success of cryptocurrencies
and decentralized applications. With immutability and tamper-resistance features, it can be …

Pointproofs: Aggregating proofs for multiple vector commitments

S Gorbunov, L Reyzin, H Wee, Z Zhang - Proceedings of the 2020 ACM …, 2020 - dl.acm.org
Vector commitments enable a user to commit to a sequence of values and provably reveal
one or many values at specific posi-tions at a later time. In this work, we construct …

Succinct vector, polynomial, and functional commitments from lattices

H Wee, DJ Wu - Annual International Conference on the Theory and …, 2023 - Springer
Vector commitment schemes allow a user to commit to a vector of values x∈{0, 1} ℓ and
later, open up the commitment to a specific set of positions. Both the size of the commitment …

Aggregatable subvector commitments for stateless cryptocurrencies

A Tomescu, I Abraham, V Buterin, J Drake… - … Conference on Security …, 2020 - Springer
An aggregatable subvector commitment (aSVC) scheme is a vector commitment (VC)
scheme that can aggregate multiple proofs into a single, small subvector proof. In this paper …

Sok: Blockchain light clients

P Chatzigiannis, F Baldimtsi, K Chalkias - International Conference on …, 2022 - Springer
Blockchain systems, as append-only ledgers, are typically associated with linearly growing
participation costs. Therefore, for a blockchain client to interact with the system (query or …

Towards scalable threshold cryptosystems

A Tomescu, R Chen, Y Zheng… - … IEEE Symposium on …, 2020 - ieeexplore.ieee.org
The resurging interest in Byzantine fault tolerant systems will demand more scalable
threshold cryptosystems. Unfortunately, current systems scale poorly, requiring time …