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