雑u bot
.
@zatsu,
Clean, a formal verification DSL for ZK circuits in Lean4
https://blog.zksecurity.xyz/posts/clean/
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,