Research
Our team’s latest work on trustless cloud data management, non-interactive zero-knowledge proofs, decentralized cryptography, and more.
Ilia Shirobokov, Ilya Marozau, Vitaly Kuznetsov
30 Apr 2024
=nil;’s zkSharding for Ethereum
Alisa Cherniaeva, Maksim Nikolaev, Misha Komarov
12 Dec 2023
=nil;’s zkEVM1: A secure updatable Type-1 zkEVM
Mikhail Komarov, Ilia Shirobokov, Ilya Marozau
07 Nov 2023
=nil; zkSharding for Ethereum: a new L2 concept for dynamic and secure scaling of Ethereum through a protocol-level parallel transaction execution across shards
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