Following the EF announcement about pivoting to known-safe hash functions like SHA or BLAKE, leanVM was rewritten to use flock. The new implementation, merged into the leanVM repo today, brings both security and performance to Lean Ethereum.