Tag: knowledge proofs
-
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…