Blog
Nikita Kaskov and Mikhail Komarov
02 Feb 2023
=nil; zkLLVM Circuit Compiler
Proving computations in mainstream languages with no zkVM's needed
Mikhail Komarov
19 Jan 2023
Bridging Mina to Ethereum via =nil; Proof Market
A road to production
Mikhail Komarov
19 Jan 2023
=nil; Proof Market
Trustlessness (data access, bridges, scaling) needs proofs
Mikhail Komarov, Aleksey Sofronov, and Haresh Gedia
05 Nov 2022
Danksharding for various protocols via =nil; Proof Market
Pluggable Scaling via Provable Queries
Mikhail Komarov
01 Jul 2022
Bridging to StarkNet through =nil; Proof Market
Proving mainstream languages computations to StarkNet via zkLLVM with zkBridging as an example
Mikhail Komarov and Aleksey Sofronov
28 Jun 2022
Bridging Mina with =nil;
How will a Mina Protocol's bridge become bi-directional?
Mikhail Komarov
31 May 2022
=nil; Trustless Data Management
What total trustless data accessibility leads to