Logo
BlogDocumentationAboutCareers
All

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

Load more
;
Logo
Navigation
  • Blog
  • Careers
  • Documentation
  • About
  • Conference Game General T&C
  • Privacy policy
Community
Follow us
© All rights reserved. =nil; Foundation 2025 | nil LLC reg. number 389585