Proof Market
zkLLVM Compiler
BlogDocumentationResearchAboutCareers

Research

Research

Our team’s latest work on trustless cloud data management, non-interactive zero-knowledge proofs, decentralized cryptography, and more.

  • Alisa Cherniaeva, Ilia Shirobokov, Mikhail Komarov

    02 Jun 2023

    Placeholder Proof System: Providing compact circuit representation and cheaper verification within different environment

  • Nikita Kaskov, Mikhail Komarov

    26 May 2023

    zkLLVM Circuit Compiler: A compiler from high-level programming languages into input for provable computations protocols

  • Mikhail Komarov

    03 Mar 2021

    =nil; Database Management System

Products
  • Proof Market
  • zkLLVM Compiler
Navigation
  • Blog
  • Careers
  • Research
  • Documentation
  • About
Community
Corporate
Address
nil: P.O. box 2775, Artemis House, 67 Fort Street, Grand Cayman, KY1-1111, Cayman Islands
nil (Cyprus) Ltd.: Vasileiou Makedonos, 59, 3040, Limassol, Cyprus
© All rights reserved. =nil; Foundation 2023
Designed by Redis