[HN Gopher] Clean, a formal verification DSL for ZK circuits in ...
       ___________________________________________________________________
        
       Clean, a formal verification DSL for ZK circuits in Lean4
        
       Author : vons
       Score  : 46 points
       Date   : 2025-03-27 18:33 UTC (4 hours ago)
        
 (HTM) web link (blog.zksecurity.xyz)
 (TXT) w3m dump (blog.zksecurity.xyz)
        
       | qqqult wrote:
       | Does EOF make this easier / more efficient?
        
         | gmitscha wrote:
         | What's EOF?
         | 
         | Edit: nvm found it! No it doesn't, as this is not dealing with
         | EVM at all
        
       ___________________________________________________________________
       (page generated 2025-03-27 23:00 UTC)