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

Gokay Saldamli, Ph.D.

Lead Cryptographer & Co-Founder

Severiano Sisneros

Senior Cryptographer

Bryan Cole

Software Engineer


Introduction to the Sum-Check Protocol

It’s expensive to run transactions on the Ethereum EVM. Verifiable computing lets us outsource computing away from the EVM. The sum-check protocol is a good algorithm to get your feet wet with understanding verifiable computing. This is a tutorial on the sum-check protocol.

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