Oliver's Survey
搜索
Search
暗色模式
亮色模式
探索
references
conference
AFRICACRYPT
2024
Cryptographic accumulators: new definitions, enhanced security, and delegatable proofs
ASIACRYPT
2010
Constant-size commitments to polynomials and their applications
2016
MiMC: Efficient encryption and cryptographic hashing with minimal multiplicative complexity
NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion
Zero-knowledge accumulators and set algebra
2017
A subversion-resistant SNARK
2021
Lunar: a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
2022
Flashproofs: Efficient zero-knowledge arguments of range and polynomial evaluation with transparent setup
Linear-map vector commitments and their practical applications
2023
Cuckoo commitments: registration-based encryption and key-value map commitments for large spaces
Fiat-Shamir Security of FRI and Related SNARKs
Predicate aggregate signatures and applications
Protostar: Generic efficient accumulationfolding for special-sound protocols
Sigma protocols from verifiable secret sharing and their applications
2024
Lova: lattice-based folding scheme from unstructured lattices
Proofs for deep thought: Accumulation for large memories and deterministic computations
Signature-based witness encryption with compact ciphertext
Updatable Privacy-Preserving Blueprints
ASPLOS
2023
Gzkp: A gpu accelerated zero-knowledge proof system
2025
BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge Proofs
CCS
1993
Random oracles are practical: a paradigm for designing efficient protocols
2017
Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
2019
CHURP: Dynamic-committee proactive secret sharing
LegoSNARK: Modular design and composition of succinct zero-knowledge proofs
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
2020
Ligero++: A New Optimized Sublinear IOP
Pointproofs: Aggregating Proofs for Multiple Vector Commitments
UC non-interactive, proactive, threshold ECDSA with identifiable aborts
Zero Knowledge Proofs for Decision Tree Predictions and Accuracy
2021
Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time
QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field
Shorter and faster post-quantum designated-verifier zkSNARKs from lattices
Zero knowledge static program analysis
zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy
ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange
2022
AntMan: Interactive Zero-Knowledge Proofs with Sublinear Communication
Batching, aggregation, and zero-knowledge proofs in bilinear accumulators
Caulk: Lookup arguments in sublinear time
Proving UNSAT in Zero Knowledge
Reinforced concrete: A fast hash function for verifiable computation
Sharp: Short relaxed range proofs
Succinct zero knowledge for floating point computations
Succinct zero-knowledge batch proofs for set accumulators
VeRSA: Verifiable registries with efficient client audits from RSA authenticated dictionaries
zkBridge: Trustless Cross-chain Bridges Made Practical
2023
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS
Efficient multiplicative-to-additive function from Joye-Libert cryptosystem and its application to threshold ECDSA
Experimenting with Zero-Knowledge Proofs of Training
martfl: Enabling utility-driven data marketplace with a robust and verifiable federated learning architecture
Ou: Automating the Parallelization of Zero-Knowledge Protocols
Pelta-shielding multiparty-fhe against malicious adversaries
Riggs: Decentralized sealed-bid auctions
Threshold signatures from inner product argument: Succinct, weighted, and multi-threshold
Trustboost: Boosting trust among interoperable blockchains
2024
A Succinct Range Proof for Polynomial-based Vector Commitment
Batch Range Proof: How to Make Threshold ECDSA More Efficient
Batching-efficient ram using updatable lookup arguments
Derecho: privacy pools with proof-carrying disclosures
Direct Range Proofs for Paillier Cryptosystem and Their Applications
Dual polynomial commitment schemes and applications to commit-and-prove SNARKs
Hekaton: Horizontally-Scalable zkSNARKs Via Proof Aggregation
Multi-Verifier Zero-Knowledge Proofs for Any Constant Fraction of Corrupted Verifiers
Real-world Universal zkSNARKs are non-malleable
Reckle Trees: Updatable Merkle Batch Proofs with Applications
Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees
Tight zk cpu: Batched zk branching with cost proportional to evaluated instruction
Zero-Knowledge Proofs of Training for Deep Neural Networks
zkLLM: Zero Knowledge Proofs for Large Language Models
zklogin: Privacy-preserving blockchain authentication with existing credentials
zkPi: Proving Lean Theorems in Zero-Knowledge
CRYPTO
1986
How to Prove All NP Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design
1991
Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing
Non-interactive zero-knowledge proof of knowledge and chosen ciphertext attack
1992
On defining proofs of knowledge
2016
Efficient zero-knowledge proof of algebraic and non-algebraic statements with applications to privacy preserving credentials
2018
Non-interactive zero-knowledge proofs for composite statements
Updatable and Universal Common Reference Strings with Applications to zk-SNARKs
2019
Continuous Space-Bounded Non-malleable Codes from Stronger Proofs-of-Space
Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation
Scalable zero knowledge with no trusted setup
Subvector commitments with application to succinct arguments
Zero-knowledge proofs on secret-shared data via fully linear PCPs
2020
Compressed-protocol theory and practical application to plug play secure algorithmics
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
2021
Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments
Proof-carrying data without succinct arguments
2022
Nova: Recursive zero-knowledge arguments from folding schemes
Oblivious message retrieval
Orion: Zero Knowledge Proof with Linear Prover Time
2023
Secure multiparty computation from threshold encryption based on class groups
Two-round stateless deterministic two-party Schnorr signatures from pseudorandom correlation functions
2024
BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes
Concretely efficient lattice-based polynomial commitment from standard assumptions
Field-Agnostic SNARKs from Expand-Accumulate Codes
How to Prove Statements Obliviously?
HyperNova: Recursive arguments for customizable constraint systems
Mangrove: A Scalable Framework for Folding-Based SNARKs
Pairing-free blind signatures from standard assumptions in the rom
Threshold encryption with silent setup
EUROCRYPT
1986
How to prove yourself: Practical solutions to identification and signature problems
1997
Collision-free accumulators and fail-stop signature schemes without trees
2013
Quadratic span programs and succinct NIZKs without PCPs
2016
Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
2019
Aurora: Transparent Succinct Arguments for R1CS
2020
Marlin: Preprocessing zkSNARKs with universal and updatable SRS
Transparent SNARKs from DARK Compilers
2021
Efficient range proofs with transparent setup from bounded integer commitments
2022
Gemini: Elastic SNARKs for diverse environments
2023
Hyperplonk: Plonk with linear-time prover and high-degree custom gates
Non-interactive Blind Signatures for Random Messages
Privacy-preserving blueprints
Spartan and bulletproofs are simulation-extractable for free
2024
Bulletproofs++: Next generation confidential transactions via reciprocal set membership arguments
Jolt: SNARKs for Virtual Machines via Lookups
Unlocking the Lookup Singularity with Lasso
EuroS&P
2017
An expressive zero-knowledge set accumulator
2023
Sok: data sovereignty
EuroSys
2024
ZKML: An Optimizing System for ML Inference in Zero-Knowledge Proofs
FOCS
micali1994cs
CS proofs
ICDE
2019
SEBDB: Semantics empowered blockchain database
2022
vChain: Optimizing verifiable blockchain boolean range queries
2024
Label Noise Correction for Federated Learning: A Secure, Efficient and Reliable Realization
Porygon: Scaling blockchain via 3d parallelism
NDSS
2025
Kronos: A secure and generic sharding blockchain consensus with optimized overhead
Siniel: Distributed Privacy-Preserving zkSNARK
NIPS
2017
SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud
NSDI
2020
Ghostor: Toward a Secure Data-Sharing System from Decentralized Trust
2024
Zombie: Middleboxes that Dont Snoop
PKC
2018
Subversion-zero-knowledge SNARKs
2019
Zero-knowledge elementary databases with more expressive queries
2024
Multi-signatures for ad-hoc and privacy-preserving group signing
Oblivious accumulators
Vector commitments with proofs of smallness: Short range proofs and more
S&P
2014
Zerocash: Decentralized anonymous payments from bitcoin
2018
Bulletproofs: Short proofs for confidential transactions and more
Doubly-efficient zkSNARKs without trusted setup
xJsnark: A Framework for Efficient Verifiable Computation
2020
Towards scalable threshold cryptosystems
Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof
2021
Candid: Can-do decentralized identity with legacy compatibility, sybil-resistance, and accountability
Merkle^2 : A low-latency transparency log system
Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits
2023
Leaking arbitrarily many secrets: Any-out-of-many proofs and applications to ringct protocols
Threshold signatures in the multiverse
Weak fiat-shamir attacks on modern proof systems
zk-creds: Flexible anonymous credentials from zksnarks and existing identity infrastructure
2024
Communication-efficient, Fault Tolerant PIR over Erasure Coded Storage
Efficient zero-knowledge arguments for paillier cryptosystem
hints: Threshold signatures with silent setup
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
Piano: extremely simple, single-server PIR with sublinear server computation
Sok: Security and privacy of blockchain interoperability
Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
SwiftRange: a short and efficient zero-knowledge range argument for confidential transactions and more
2025
Anix: Anonymous Blackout-Resistant Microblogging with Message Endorsing
Check-Before-you-Solve: Verifiable Time-lock Puzzles
Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos
Groundhog: A Restart-based Systems Framework for Increasing Availability in Threshold Cryptosystems
HyperPianist: Pianist with Linear-Time Prover and Logarithmic Communication Cost
PCT: Preserving the Privacy of Cross-Chain Transfer
Phecda: Post-Quantum Transparent zkSNARKs from Improved Polynomial Commitment and VOLE-in-the-Head with Application in Publicly Verifiable AES
TreePIR: Efficient Private Retrieval of Merkle Proofs via Tree Colorings with Fast Indexing and Zero Storage Overhead
Trust nobody: privacy-preserving proofs for edited photos with your laptop
Verifiable Secret Sharing Simplified
VerITAS: Verifying Image Transformations at Scale
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs
Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs
SIGMOD
2018
When query authentication meets fine-grained access control: A zero-knowledge approach
2019
vchain: Enabling verifiable boolean range queries over blockchain databases
2020
FalconDB: Blockchain-based collaborative database
2021
Veridb: An sgx-based verifiable database
STOC
1985
The knowledge complexity of interactive proof-systems
1988
Non-interactive zero-knowledge and its applications
1991
Checking computations in polylogarithmic time
1992
A note on efficient zero-knowledge proofs and arguments
2011
Separating succinct non-interactive arguments from all falsifiable assumptions
USENIX Security
2016
ZKBoo: Faster Zero-Knowledge for Boolean Circuits
2018
DIZK: A distributed zero knowledge proof system
2019
JEDI: Many-to-Many End-to-End encryption and key delegation for IoT
2020
MIRAGE: Succinct arguments for randomized algorithms with applications to universal zk-SNARKs
Scaling verifiable computation using efficient set accumulators
2021
Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning
Poseidon: A new hash function for Zero-Knowledge proof systems
2022
Experimenting with collaborative zk-SNARKs: Zero-Knowledge proofs for distributed secrets
Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments
Polynomial Commitment with a One-to-Many Prover and Applications
Zero-Knowledge Middleboxes
2023
BalanceProofs: Maintainable vector commitments with fast aggregation
Curve trees: Practical and transparent Zero-Knowledge accumulators
Dubhe: Succinct Zero-Knowledge Proofs for Standard AES and related Applications
Eos: Efficient private delegation of zkSNARK provers
HOLMES: Efficient Distribution Testing for Secure Collaborative Learning
Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
VeriZexe: Decentralized Private Computation with Universal Setup
zkSaaS: Zero-KnowledgeSNARKs as a Service
2024
Fast RS-IOP Multivariate Polynomial Commitments and Verifiable Secret Sharing
Notus: Dynamic Proofs of Liabilities from Zero-knowledge RSA Accumulators
Reef: Fast Succinct Non-InteractiveZero-Knowledge Regex Proofs
Scalable Zero-knowledge Proofs for Non-linear Functions in Machine Learning
SoK: What Dont We Know Understanding Security Vulnerabilities in SNARKs
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
2025
DeepFold: Efficient Multilinear Polynomial Commitment from Reed-Solomon Code and Its Application to Zero-knowledge Proofs
VLDB
2019
Blockchain meets database: design and implementation of a blockchain relational database J
2023
ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
journal
JACM
1998
Probabilistic checking of proofs: a new characterization of NP
2004
The random oracle methodology, revisited
Journal of Cryptology
1994
Definitions and properties of zero-knowledge proof systems
2024
Zeromorph: Zero-knowledge multilinear-evaluation proofs from homomorphic univariate commitments
2025
Ceno: Non-uniform, Segment and Parallel Zero-Knowledge Virtual Machine
TDSC
2022
Towards public verifiable and forward-privacy encrypted search by using blockchain
2024
A verifiable and privacy-preserving federated learning training framework
vCNN: Verifiable Convolutional Neural Network Based on zk-SNARKs
2025
Multi-Signature and Game Based Blockchain Interoperability Oracle
TIFS
2020
Drynx: Decentralized, Secure, Verifiable System for Statistical Queries and Machine Learning on Distributed Datasets
2023
pvCNN: Privacy-Preserving and Verifiable Convolutional Neural Network Testing
2024
Accountable and secure threshold EdDSA signature and its applications
Succinct Hash-Based Arbitrary-Range Proofs
zkDL: Efficient Zero-Knowledge Proofs of Deep Learning Training
TKDE
2019
Integrity authentication for SQL query evaluation on outsourced databases: A survey
TPDS
2021
VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service
VQL: Efficient and verifiable cloud query services for blockchain systems
misc
zk-SNARKs: A gentle introduction
preprint
Archive
2017
A Zero-Knowledge Version of vSQL
2019
PLONK: Permutations over Lagrange-bases for oecumenical noninteractive arguments of knowledge
2020
Quarks: Quadruple-efficient transparent zkSNARKs
2024
An Efficient and Extensible Zero-knowledge Proof Framework for Neural Networks
Blaze: Fast SNARKs from Interleaved RAA Codes
Multivariate Multi-Polynomial Commitment and its Applications
Practical Proofs of Parsing for Context-free Grammars
SoK: Zero-knowledge range proofs
2025
BulletCT: Towards More Scalable Ring Confidential Transactions With Transparent Setup
DFS: Delegation-friendly zkSNARK and Private Delegation of Provers
Founding Zero-Knowledge Proofs of Training on Optimum Vicinity
arxiv
2025
CrowdProve: Community Proving for ZK Rollups
SLVC-DIDA: Signature-less Verifiable Credential-based Issuer-hiding and Multi-party Authentication for Decentralized Identity
scholars
Alex Luoyuan Xiong
Alex Ozdemir
Alexander R. Block
Andrew Miller
Anna Lysyanskaya
Ariel Gabizon
Benedikt Bünz
Binyi Chen
Charalampos Papamanthou
Chenkai Weng
Dan Boneh
Dawn Song
Dimitrios Papadopoulos
Eran Tromer
Foteini Baldimtsi
Geoffroy Couteau
Hadas Zeilberger
Haochen Sun
Hongwei Li
Jens Ernstberger
Jiaheng Zhang
Jiajun Xin
Jiasi Weng
Jonathan Bootle
Jonathan Katz
Justin Thaler
Kristina Hostáková
Lucjan Hanzlik
Markulf Kohlweiss
Matteo Campanelli
Meng Hao
Mingyuan Wang
Nan Wang
Ning Luo
Oded Goldreich
Pratyay Mukherjee
Raluca Ada Popa
Sanjam Garg
Shafi Goldwasser
Srinath Setty
Tiancheng Xie
Tianyi Liu
Xiang Xie
Xiao Wang
Yan Huang
Yanpei Guo
Yilei Chen
Yuncong Hu
Yupeng Zhang
Zeyu Liu
Zhenfei Zhang
Home
❯
references
❯
conference
❯
NDSS
文件夹: references/conference/NDSS
此文件夹下有1条笔记。
2025年4月13日
2025