Verifiable Decryption in the Head
A Fresh Approach to Updatable Symmetric Encryption
SMILE: Set Membership from Ideal Lattices with Applications to Ring Signatures and Confidential Transactions
The return of Eratosthenes: Secure Generation of RSA Moduli using Distributed Sieving
From Random Oracles to Ideal Signatures, and Back
Forward-secure Aggregate Signatures with Constant Complexities using Recursive zk-SNARKs
ReTRACe: Revocable and Traceable Blockchain Rewrites using Attribute-based Cryptosystems
Lattice sieving via quantum random walks
Post-Quantum Cryptography: Computational-Hardness Assumptions and Beyond
ethSTARK Documentation
| Posts & Videos |
|---|
| L2 - zkSync证明聚合 |
| 美国数学的开端—Birkhoff |
| 为什么我们非得去找代数方程的整数解? |
| 数学真理是什么? |
| 讲座回顾 :Mike Rosulek教授开讲安全多方计算与姚式协议 |
| Post-Quantum Cryptography: Current state and quantum mitigation |
| Episode 15: Bringing Secure Multiparty Computation to the Real World! |
| Diving into Arbitrum’s Optimistic Rollup |
| Exploring SNARKs for Sidechains with Alberto from Horizen |
| Playlist: 4th ZKProof Workshop |
| The Role of Proofs in MIP* = RE |
| Panel Discussion on The Role of Proofs in MIP* = RE |
| Uniswap V3合约已完成以太坊主网部署 |
| 原著和中译本都登峰造极的科普神作 ——侯世达的《哥德尔、艾舍尔、巴赫:集异璧之大成》 |
| 从混沌到自由意志 |
| 数学圣杯 |
| 浙大哈佛剑桥学者联手破解数学界几十年的谜题,成果登上数学顶刊 |
https://github.com/ockam-network/ockam
https://age-encryption.org
https://proofcraft.systems/
https://zk.money/
https://taproot.watch/
https://pkc.iacr.org/2021/invitedtalks.php
而把「记录行为」「数据化」推至极限的做法,就是只保留「被记录对象」的可以数据化(即量化)的部分,并和计算机使用 0 和 1 作为终极底层代码的逻辑达成了共识:真实的世界和数字空间的鸿沟抹平了,下一步我们即可宣称:并没有什么模拟(analog)和数码(digital)之分,我们身处的世界如果还无法被完全地以数据的形式储存,那只是因为记录的颗粒度还不够细;同理,数字空间如果尚无法还原像「真实」一样逼真的「现实」,只是因为算力还没有达到. https://sspai.com/post/66293

往期周刊回顾:
为了方便电脑用户,以及更开放的互联网访问,周刊内容会同步发布在Gitbook。
点击【阅读原文】👇可访问