Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yang Heng

dblp:219/9589 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2026
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 1 first-author · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Cryptographic protocols and secure computation · 100%
Theoretical computer science
1 paper
Coding theory · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › oblivious transfer
vector oblivious linear evaluation
0.912025
JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field · SP 2025
Cryptographic protocols and secure computation › proof systems
zero-knowledge proofs
0.912025
JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field · SP 2025
Coding theory › error-correcting codes
constant-weight codes
0.312025
JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field · SP 2025

Methods — techniques the papers use, named apart from their topics

field arithmetic optimization · 1.7VOLE protocols · 1.7
YearPublicationVenuePosition
2026 Efficient Construction of Threshold BBS+ Signatures and Its Extensions
Yang Heng, Mengling Liu, Xingye Lu, Haiyang Xue, Zijian Bao, Man Ho Au
PKC (3)1
2025 JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field
abstract
Recent advances in Vector Oblivious Linear Evaluation (VOLE) protocols have enabled constant-round, fast, and scalable (designated-verifier) zero-knowledge proofs, significantly reducing prover computational cost. Existing protocols, such as QuickSilver [CCS'21] and LPZKv2 [CCS'22], achieve efficiency with prover costs of 4 multiplications in the extension field per AND gate for Boolean circuits, with one multiplication requiring a O (k log k) -bit operation where k== 128 is the security parameter, and 3–4 field multiplications per multiplication gate for arithmetic circuits over a large field. We introduce JesseQ, a suite of two VOLE-based protocols: JQv1 and JQv2, which advance state of the art. JQv1 requires only 2 scalar multiplications in an extension field per AND gate for Boolean circuits, with one scalar needing a$O(\kappa)$bit operation, and 2 field multiplications per multiplication gate for arithmetic circuits over a large field. In terms of communication costs, JQv1 needs just 1 field element per gate. JQv2 further reduces communication costs by half at the cost of doubling the prover's computation. Experiments show that, compared to the current state of the art, both JQv1 and JQv2 achieve at least 3.9× improvement in the online phase for Boolean circuits. For large field circuits, JQv1 has a similar performance, while JQv2 offers a 1.3× improvement. Additionally, both JQv1 and JQv2 maintain the same communication cost as the current state of the art. No-tably, on the cheapest AWS instances, JQv1 can prove 9.2 tril-lion AND gates (or 5.8 trillion multiplication gates over a 61-bit field) for just one US dollar. JesseQ excels in applications like inner products, matrix multiplication, and lattice problems, delivering 40% – 200% performance improvements compared to QuickSilver. Additionally, JesseQ integrates seamlessly with the sublinear Batchman framework [CCS'23], enabling further efficiency gains for batched disjunctive statements.
Mengling Liu, Yang Heng, Xingye Lu, Man Ho Au
SP2
2025 A deep contrastive multi-modal encoder for multi-omics data integration and analysis
Ma Yinghua, Ahmad Khan 0002, Yang Heng, Fiaz Gul Khan, Farman Ali 0001, Yasser D. Al-Otaibi, Ali Kashif Bashir
Inf. Sci.3