Collin Chin

Collin Chin builds zero-knowledge application tooling at ProvableHQ, including the Leo programming language and JavaScript and TypeScript SDKs for applications on the Aleo blockchain. He co-founded Aleo and co-authored a paper on Leo’s design for formally verified, zero-knowledge applications; his earlier work includes ConsenSys, Gnosis, and Blockchain at Berkeley.

Cosigned byLoading...

CosignedSign in to view

Elsewhere

Products & media

eprint.iacr.org

Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications

A research paper describing Leo’s design and its approach to formally verified zero-knowledge applications.

Writing

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Profile name

Company name

Company name

Collin Chin

Products & media

Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications

Curated Lists

List Inclusions