Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
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.
News
Tutorial: Introduction to Formal Verification with Lean (Part 1) - HashCloak
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
Read more
Report
How Ethereum plans to replace BLS with Post-Quantum signatures - HashCloak
Learn how Ethereum could replace BLS validator signatures with post-quantum leanSig, covering hash-based keys, Merkle proofs, aggregation, and trade-offs.
Read more
Report
Understanding the Ultrahonk Verifier - HashCloak
A specification of the Ultrahonk Verifier as used in the Aztec Network
Read more
Report