Tag: knowledge proofs
-
Schneier on Security: NCSC Guidance on “Advanced Cryptography”
Source URL: https://www.schneier.com/blog/archives/2025/05/ncsc-guidance-on-advanced-cryptography.html Source: Schneier on Security Title: NCSC Guidance on “Advanced Cryptography” Feedly Summary: The UK’s National Cyber Security Centre just released its white paper on “Advanced Cryptography,” which it defines as “cryptographic techniques for processing encrypted data, providing enhanced functionality over and above that provided by traditional cryptography.” It includes things like homomorphic…
-
Hacker News: Clean, a formal verification DSL for ZK circuits in Lean4
Source URL: https://blog.zksecurity.xyz/posts/clean/ Source: Hacker News Title: Clean, a formal verification DSL for ZK circuits in Lean4 Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The provided text discusses the development of an embedded Domain-Specific Language (DSL) and formal verification framework for Zero-Knowledge (ZK) circuits using Lean4. The project aims to enhance the correctness…
-
Hacker News: Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak
Source URL: https://vasekrozhon.wordpress.com/2025/03/17/zero-knowledge-proofs/ Source: Hacker News Title: Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak Feedly Summary: Comments AI Summary and Description: Yes Summary: The text focuses on zero-knowledge proofs, illustrating their foundational concepts and applications, particularly in cryptography and distributed systems. The discussion highlights how zero-knowledge proofs can be a solution to…