hnrss.org

Clean, a formal verification DSL for ZK circuits in Lean4

Article URL: https://blog.zksecurity.xyz/posts/clean/ Comments URL: https://news.ycombinator.com/item?id=43496577 Points: 17 # Comments: 1

Mar 27, 2025 - 20:46
 0
Clean, a formal verification DSL for ZK circuits in Lean4

Article URL: https://blog.zksecurity.xyz/posts/clean/

Comments URL: https://news.ycombinator.com/item?id=43496577

Points: 17

# Comments: 1

Lire plus

Tags :

Article précédent

AI models miss disease in Black and female patients

Article suivant

A language for building concurrent software with confidence

Articles similaires

Shef

Shef

Mar 11, 2025  0

Presenterm: Markdown Slideshows in the Terminal

Presenterm: Markdown Slideshows in the Terminal

Mar 9, 2025  0

Ask HN: Is anyone still using Dreamweaver?

Ask HN: Is anyone still using Dreamweaver?

Fév 22, 2025  0