Blog

29 Apr 2024

zkSharding for Ethereum

zkSharding is a response to the growing issue of state and liquidity fragmentation in the Ethereum ecosystem. zkSharding enables systems to scale horizontally and maintain universal composability without fragmentation.

25 Jun 2024

=nil; Public Roadmap: Road to Mainnet

An Overview of the =nil; Public Roadmap

Misha Komarov, Ivan Karpeev, Walt Smith

12 Dec 2023

zkEVM via zkLLVM: Compiling Type-1 zkEVM to securely scale Ethereum

Introducing zkEVM1, a secure and audit-friendly Type-1 zkEVM compiled with zkLLVM to power =nil; and scale Ethereum through zkSharding

04 Dec 2023

zkHack Istanbul: =nil; Foundation winners

Auto battler zkGaming project and new possibilities for secure validation with a provable PVSS scheme

Alexander Evgin, Nikita Kaskov

31 Oct 2023

zkLLVM update: Rust circuit compiler

A new extension to zkLLVM to enable developers with direct circuit compilation from Rust is available, in addition to C++ and ONNX

Ivan Karpeev

03 Oct 2023

Expanding zkLLVM compiler towards accessible zkML

TACEO is aiming to bring zkML-powered large language models (LLMs starting from GPT-2) to Ethereum by extending =nil;’s zkLLVM with ONNX frontend

Alisa Cherniaeva

18 Aug 2023

Placeholder proof system

Modular PLONK with IVC and custom gates designed for in-EVM verification

Ilia Shirobokov

27 Jul 2023

Proof Market EVM Endpoint

Expanding Proof Market capabilities with direct proof ordering for Ethereum applications

Ivan Karpeev

26 Apr 2023

=nil; zkLLVM + Proof Market: Enabling accessible and effective zkProofs for all

= nil; Foundation solutions to streamline zk Proof generation process

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

Mikhail Komarov

01 Nov 2021

Mina-Ethereum State Proof Verification Applications

How would an in-EVM Mina state verification-based bridge work?

Mikhail Komarov

01 Nov 2021

Solana-Ethereum Bridge Based on Light-Client State Proof Verification

How would a bridge built on top of that work?

Mikhail Komarov

25 Oct 2021

=nil; Crypto3 Cryptography Suite

Cryptography Suite for zk-Rollups, zk-Bridges, and much more

Mikhail Komarov, Ilya Shirobokov, and Alisa Cherniaeva

14 Oct 2021

=nil; Foundation's in-EVM Solana Light-Client State Verification

Paving the way to Solana-Ethereum zk-bridge

Mikhail Komarov, Ilya Shirobikov, and Alisa Cherniaeva

30 Sep 2021

=nil; Foundation's in-EVM Full Mina State Verification

Paving the way to Ethereum-Mina bridge by full Mina state in-EVM verification made possible by Pickles SNARK (and some more SNARKs)

Mikhail Komarov

29 Sep 2021

=nil; Foundation

What is =nil; Foundation?

;