Transparent SNARKs from DARK compilers

B Bünz, B Fisch, A Szepieniec - … on the Theory and Applications of …, 2020 - Springer
We construct a new polynomial commitment scheme for univariate and multivariate
polynomials over finite fields, with logarithmic size evaluation proofs and verification time …

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 …

BSMD: A blockchain-based secure storage mechanism for big spatio-temporal data

Y Ren, D Huang, W Wang, X Yu - Future Generation Computer Systems, 2023 - Elsevier
As more and more mobile devices and IoT terminals are connected to the Internet, a huge
amount of spatio-temporal data is generated. In order to cope with the pressure of storing …

Data security storage mechanism based on blockchain industrial Internet of Things

J Wang, J Chen, Y Ren, PK Sharma, O Alfarraj… - Computers & Industrial …, 2022 - Elsevier
In the age of Industry 5.0, the industrial Internet of Things (IIoT) system has changed from the
original “cyber-physical” system to a complex “human-cyber-physical” system, data security …

Registered attribute-based encryption

S Hohenberger, G Lu, B Waters, DJ Wu - Annual International Conference …, 2023 - Springer
Attribute-based encryption (ABE) generalizes public-key encryption and enables fine-
grained control to encrypted data. However, ABE upends the traditional trust model of public …

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 …

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 …

S-BDS: An effective blockchain-based data storage scheme in zero-trust IoT

J Wang, J Chen, N Xiong, O Alfarraj, A Tolba… - ACM Transactions on …, 2023 - dl.acm.org
With the development of the Internet of Things (IoT), a large-scale, heterogeneous, and
dynamic distributed network has been formed among IoT devices. There is an extreme need …

Enabling secure and efficient decentralized storage auditing with blockchain

Y Du, H Duan, A Zhou, C Wang… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
As a promising alternative solution to cloud storage, decentralized storage networks (DSN)
are widely anticipated to develop continuously and reshape the storage market share in the …