Hashcloak

hashcloak.com

Blockchain & Crypto

Claim pageClaim

Overview

Connections

News

Salaries

Products

People

Growth

Offices

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

News hashcloak.com 3 months ago

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.

Report

News hashcloak.com 5 months ago

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.

Report

News hashcloak.com 6 months ago

Understanding the Ultrahonk Verifier - HashCloak

A specification of the Ultrahonk Verifier as used in the Aztec Network

Report