Experimental News Clipping Site

Tag: zk

  • Hacker News: Clean, a formal verification DSL for ZK circuits in Lean4

    —

    by

    Kurt Seifried
    in

    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

    —

    by

    Kurt Seifried
    in

    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…

  • Simon Willison’s Weblog: llm-anthropic #24: Use new URL parameter to send attachments

    —

    by

    Kurt Seifried
    in

    Source URL: https://simonwillison.net/2025/Mar/1/llm-anthropic/#atom-everything Source: Simon Willison’s Weblog Title: llm-anthropic #24: Use new URL parameter to send attachments Feedly Summary: llm-anthropic #24: Use new URL parameter to send attachments Anthropic released a neat quality of life improvement today. Alex Albert: We’ve added the ability to specify a public facing URL as the source for an image…

  • Rekt: zkLend – Rekt

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.rekt.news/ Source: Rekt Title: zkLend – Rekt Feedly Summary: A rounding error exploit bled $9.57M from zkLend vaults on Starknet. After Railgun showed them the door, the attacker ignored their Valentine’s Day bounty deadline, letting the stolen funds sit idle. Same operator behind EraLend’s 2023 hack? On-chain evidence suggests yes. AI Summary and…

  • Hacker News: How to prove false statements? (Part 1)

    —

    by

    Kurt Seifried
    in

    Source URL: https://blog.cryptographyengineering.com/2025/02/04/how-to-prove-false-statements-part-1/ Source: Hacker News Title: How to prove false statements? (Part 1) Feedly Summary: Comments AI Summary and Description: Yes Summary: The text delves into the implications of theoretical models in cryptography, particularly focusing on the random oracle model (ROM) and its impact on the practical security of cryptographic schemes. It emphasizes the…

  • Bulletins: Vulnerability Summary for the Week of January 27, 2025

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.cisa.gov/news-events/bulletins/sb25-034 Source: Bulletins Title: Vulnerability Summary for the Week of January 27, 2025 Feedly Summary: High Vulnerabilities PrimaryVendor — Product Description Published CVSS Score Source Info 0xPolygonZero–plonky2  Plonky2 is a SNARK implementation based on techniques from PLONK and FRI. Lookup tables, whose length is not divisible by 26 = floor(num_routed_wires / 3) always…