DaiLambda

Provide formal verification to critical systems, cryptocurrencies, etc.

DaiLambda

Overview

DaiLambda, just founded a new R&D and consultant company to provide formal verification to critical systems, cryptocurrencies, etc.

Team Members

CEO of DaiLambda. Playing around Tezos.

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

People also viewed

Next Generation anonymous cryptocurrency.

Build Once. Integrate Your Blockchain Everywhere.

Safe, simple, decentralised Ethereum wallet!

The values platform.

Expanding Ecosystems

With over 70+ ecosystems actively growing, they are equally deserving of your attention.