Lean - ZK Insights