Kurt Pan 密码周刊 (14)
1Papers
Generic Plaintext Equality and Inequality Proofs: https://eprint.iacr.org/2021/426.pdf
A Coq proof of the correctness of X25519 in TweetNaCl: https://eprint.iacr.org/2021/428.pdf
Unbounded Multi-Party Computation from Learning with Errors: https://eprint.iacr.org/2021/431.pdf
Formations for the Quantum Random Oracle: https://eprint.iacr.org/2021/433.pdf
Non-Interactive Anonymous Router: https://eprint.iacr.org/2021/435.pdf
Formal security analysis of MPC-in-the-head zero-knowledge protocols: https://eprint.iacr.org/2021/437.pdf
More Efficient Shuffle Argument from Unique Factorization: https://eprint.iacr.org/2021/438.pdf
Watermarking PRFs from Lattices: Public Extract and Collusion Resistant: https://eprint.iacr.org/2021/441.pdf
Viaduct: an extensible, optimizing compiler for secure distributed programs: https://www.cs.cornell.edu/andru/papers/viaduct/
S&P 21
MAY 23-27, 2021 https://www.ieee-security.org/TC/SP2021/program-papers.html
"Many-out-of-Many" Proofs and Applications to Anonymous Zether An Interactive Prover for Protocol Verification in the Computational Model BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures Breaking the Specification: Certified PDF CRYLOGGER: Detecting Crypto Misuses Dynamically CanDID: Bootstrapping Decentralized Identity from Legacy Providers Compact Certificates of Collective Knowledge Cross-Domain Access Control Encryption -- Arbitrary-policy, Constant-size, Efficien Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority Ed25519 Signature Schemes: Theory and Practice Epochal Signatures for Deniable Group Chats High-Assurance Cryptography in the Spectre Era High-Frequency Trading on Decentralized On-Chain Exchanges Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement Lockable Signatures for Blockchains: Scriptless Scripts for all Signatures Merkle^2: A Low-Latency Transparency Log System On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols Pegasus: Bridging Polynomial and Non-polynomial Evaluations in Homomorphic Encryption Post-Quantum WireGuard Proactive Threshold Wallets with Offline Devices Proof-of-Learning: Definitions and Practice Machine Unlearning SGUARD: Smart Contracts Made Vulnerability-Free SoK: Computer-Aided Cryptography When Function Signature Recovery Meets Compiler Optimization Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs
| Posts |
|---|
| Why I'm against Taproot |
| Help us test payments in Signal |
| Signal Adds a Payments Feature—With a Privacy-Focused Cryptocurrency |
| Why sharding is great: demystifying the technical properties |
| 零知识证明系列专题（十一）：基于short IOP的简洁零知识证明 I |
| 矩阵元:实验室论文被密码学顶级会议PKC收录！ |
| 写给开发人员的实用密码学 - 数字签名 |
| A Computer Scientist Who Tackles Inequality Through Algorithms |
| Mathematicians Settle Erdős Coloring Conjecture |
| 在北大数院，成为一个普通人 |
| Podcast & Video |
|---|
| Episode 13: Zero-Knowledge STARKs in the Real World! |
| The Value of Errors in Proofs - Avi Wigderson |
| How (and why) to raise e to the power of a matrix |
| Books & Documents |
|---|
| The Theory of Hash Functions and Random Oracles |
| https://cryptography.io/en/latest/ |
https://berkeley-defi.github.io/
https://github.com/fplll/fplll
https://github.com/ockam-network/ockam
OXFORD-WARWICK COMPLEXITY MEETINGS
有时，魔术只是有人在台下付出了你想象不到的时间。-- 美国著名魔术师泰勒（Raymond Joseph Teller）
往期周刊回顾：
为了方便电脑用户，以及更开放的互联网访问，周刊内容会同步发布在Gitbook。
点击【阅读原文】👇可访问