Highlights

Introducing Nautilus: Bringing Verifiable Offchain Privacy to Sui

“量子春晚”却成股价惨案,只有混战、没有共识的量子计算界

Updates

Jack O'Connor: A Zero-Knowledge PCP Theorem

Miranda Christ - Ideal Pseudorandom Error-Correcting Codes with Applications to Watermarking AI

Papers

Low-Latency Bootstrapping for CKKS using Roots of Unity

ECDSA Cracking Methods

Efficient Verifiable Mixnets from Lattices, Revisited

Attribute-Based Publicly Verifiable Secret Sharing

Publicly Verifiable Generalized Secret Sharing Schemes and Their Applications

MProve-Nova: A Privacy-Preserving Proof of Reserves Protocol for Monero

Adaptive Robustness of Hypergrid Johnson-Lindenstrauss

Vector Commitment Design, Analysis, and Applications: A Survey

Threshold (Fully) Homomorphic Encryption

Fherret: Proof of FHE Correct-and-Honest Evaluation with Circuit Privacy from MPCitH

SoK: FHE-Friendly Symmetric Ciphers and Transciphering

A Dilithium-like Multisignature in Fully Split Ring and Quantum Random Oracle Model

Simpler and Faster Pairings from the Montgomery Ladder

Trilithium: Efficient and Universally Composable Distributed ML-DSA Signing

Post-quantum Cryptographic Analysis of SSH

Proofs of Useful Work from Arbitrary Matrix Multiplication

Zero-Knowledge Protocol for Knowledge of Known Discrete Logarithms: Applications to Ring Confidential Transactions and Anonymous Zether

DahLIAS: Discrete Logarithm-Based Interactive Aggregate Signatures

A Formal Security Analysis of Hyperledger AnonCreds

Efficient Foreign-Field Arithmetic in PLONK

Post Quantum Cryptography (PQC) Signatures Without Trapdoors

Strong keys for tensor isomorphism cryptography

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers

Arbigraph: Verifiable Turing-Complete Execution Delegation


**If you’d like to receive updates via email, subscribe us!