如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
Highlights
Is Telegram really an encrypted messaging app?
Apropos Pavel Durov’s arrest, cryptographer Matthew Green wrote a short post about whether Telegram is an “encrypted messaging app”. The TL;DR here is that Telegram has an optional end-to-end encryption mode that you have to turn on manually. It only works for individual conversations, not for group chats.
Zirgen Circuit Compiler
Zirgen is a compiler for a domain-specific language, also called "zirgen", which creates arithmetic circuits for the RISC Zero proof system.
How Base 3 Computing Beats Binary
Long explored but infrequently embraced, base 3 computing may yet find a home in cybersecurity.
How Does Math Keep Secrets?
Cryptography is the thread that connects Julius Caesar, World War II and quantum computing, and it now lies under nearly every part of modern life. In this week’s episode, computer scientist Boaz Barak and co-host Janna Levin discuss the past and future of secrecy.
Updates
A major breakthrough in multiplication over Bitcoin, and in STARK verification on Bitcoin signet
A new algorithm for M31 multiplication reduces multiplication cost by 70%. Unlike STARKs, this new multiplication algorithm (like the previous algorithm) does not require OP_CAT, cementing M31’s status as a Bitcoin-friendly prime, regardless of OP_CAT.
plonky3-ccs
A plonky3 to CCS converter.
IACR Crypto 2024 (Videos)
Papers
ECC’s Achilles’ Heel: Unveiling Weak Keys in Standardized Curves
Learnings
Foundations and Applications of Zero-Knowledge Proofs
The workshop will cover several topics within this field, including classical results, interactive oracle proofs, proof from symmetric primitives, group and pairing-based proof systems such as ZK-SNARKs, lattice-based proof systems, and real-world applications.
-
原创
- 学分: 6
- 分类: Solidity合约
- 标签:
