HashCloak Blog

HashCloak provides cryptography R&D and blockchain security audits: zero-knowledge proofs (ZK), multiparty computation (MPC), threshold signatures, protocol security reviews, and bespoke implementations for Web3 teams.

Popular posts: 1
Total points: 244
HN comments: 52
Rank: #5,216 company

Visit hashcloak.com → On Hacker News Jul 2026 – Jul 2026

Software Engineering 1 Math & Algorithms 1

Most points Most discussed Most cited Newest

Introduction to Formal Verification with Lean Part 1

2026244 points52 comments Software Engineering details

A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.