Research Areas

  • Zero-Knowledge Proofs and zk-SNARKs
  • Fully-Homomorphic Encryption
  • Cryptographic acceleration
  • Payment channels
  • Encrypted computing
  • Privacy-preserving machine learning


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.

Cryptography Team

Lisandro Acuña

Cryptographic Engineer - Intern

Severiano Sisneros

Senior Cryptographer

Bryan Cole

Software Engineer


PSI with FHE

Semiotic Labs explores the integration of Private Set Intersection (PSI) in blockchain to tackle Maximal Extractable Value (MEV) issues. Utilizing…

Be the first one to receive the news.
Signup to our newsletter.