Auditable Registered ABE with Reliable Outsourced Decryption via Blockchain
Proposes ORABE, an auditable Registered ABE scheme leveraging blockchain and zero-knowledge fraud proofs to enable verifiable, outsourced decryption while ensuring fairness and auditability.
Efficient Verifiable Random Functions with Compact Proofs and Keys
A novel VRF construction achieves short proofs and keys by directly utilizing bilinear maps, enhancing cryptographic randomness efficiency.
Oblivious Accumulators Ensure Data Privacy and Set Size Hiding
Oblivious accumulators introduce a cryptographic primitive for private set commitments, enabling decentralized systems to conceal sensitive data and its scale.
Pseudorandom Error-Correcting Codes Enable Provable AI Watermarking
This research introduces Pseudorandom Error-Correcting Codes (PRCs), a novel cryptographic primitive providing provable guarantees for watermarking generative AI models.
2PC-MPC: Massively Decentralized Zero-Trust Interoperability for Blockchains
Introducing 2PC-MPC, a novel cryptographic primitive for massively decentralized, zero-trust interoperability, enabling secure and scalable cross-chain asset management.
Affine One-Wayness Enables Post-Quantum Temporal Ordering in Distributed Systems
Affine One-Wayness (AOW) is a novel post-quantum cryptographic primitive, securing verifiable temporal ordering in distributed systems without trusted clocks.
Affine One-Wayness Enables Verifiable Post-Quantum Temporal Ordering in Distributed Systems
Affine One-Wayness (AOW) is a novel post-quantum cryptographic primitive, securing verifiable temporal ordering in distributed systems without trusted clocks.
Practical Non-Interactive Blind Signatures for Anonymous Digital Tokens
This research presents practical non-interactive blind signature constructions using standard PKI keys, enabling widespread anonymous digital token issuance without revealing user data.
Sublinear Zero-Knowledge Proving Transforms On-Device Verifiable Computation
This research introduces the first sublinear-space zero-knowledge prover, reframing proof generation as tree evaluation to enable efficient on-device verifiable computation.
