FOCUS AREA

Cryptography

Research Areas

Zero-Knowledge Proofs and zk-SNARKs
Fully-Homomorphic Encryption
Cryptographic acceleration

Payment channels
Encrypted computing
Privacy-preserving machine learning

Thesis

Building secure, performant cryptographic systems is in the DNA of Semiotic Labs. Our team has designed custom cryptographic accelerator chips for telecommunications, we have engaged in white hat hacking for the design of cryptographic systems for national security, and we have achieved record-setting speeds for post-quantum cryptography using GPU accelerators. Our efforts are now focused on building high-performance SNARK-based systems for deployment on Ethereum and related blockchains.

Current work

In partnership with cryptographers at Edge & Node, we develop new zero knowledge proof algorithms to improve the decentralization, security, and efficiency of the The Graph protocol. During the last year, our partnership created Shellproofs, which is a SNARK (specifically a verifier-optimized SNARK) with a use case of reducing dispute costs in The Graph protocol. In the coming months, we will publish the details and formal security proofs of Shellproofs.