Dev

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: 21 # Comments: 1

Mar 27, 2025 - 21:04
 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: 21

# 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

ESP32 Undocumented Bluetooth Commands: Clearing the Air

ESP32 Undocumented Bluetooth Commands: Clearing the Air

Mar 11, 2025  0

La Duck Conf 2025 - CR : "Tests pragmatiques : comment (presque) arrêter les tests automatisés ?"

La Duck Conf 2025 - CR : "Tests pragmatiques : comment ...

Mar 27, 2025  0

Bitter Lesson is about AI agents

Mar 23, 2025  0