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.

Aleksandar Damjanovic

02 Oct 2024

Sharding Fee Models: Local vs Global Fee Market

An exploration of the current gas pricing landscape in sharded systems, focusing on the advantages and disadvantages of local vs. global fee market.

Vitaliy Kuznetsov

09 Sep 2024

Overcoming Security Risks in zkSharding

Exploring the security concerns in sharded systems before full ZK finalization, defining the problem of a corrupted state, and proposing a protocol to solve it.

Ilya Marozau

26 Aug 2024

Sharding as Parallelism

An examination of blockchain sharding through the lens of established parallel computing models leading to a better understanding of the potential and limitations of sharding.

25 Jun 2024

Devnet Is Coming

An Overview of the =nil; Public Roadmap

Alisa Cherniaeva, Ilia Shirobokov, Mikhail Komarov

16 Jun 2024

Placeholder

Ilia Shirobokov, Ilya Marozau, Vitaly Kuznetsov

11 Jun 2024

=nil;’s zkSharding for Ethereum

Avi Zurlo, Ilia Shirobokov

30 May 2024

Why Sharding Is Not the Same as Rollup-Centric Scaling

Diving deeper into Ethereum’s scaling solutions

Avi Zurlo

02 May 2024

Modular vs. Monolithic Is Dead

Why horizontal vs. vertical scaling is the better framework for Ethereum scalability

Nikita Kaskov, Mikhail Komarov, Mikhail Aksenov

06 Apr 2024

zkLLVM Circuit Compiler

Avi Zurlo

22 Feb 2024

Make L2s Scale Again

Ethereum L2s can no longer ignore the severity of state fragmentation. Horizontal scaling is how we'll solve it.

13 Feb 2024

How zkSharding Addresses the Blockchain Trilemma

Can a blockchain be scalable while preserving decentralization and security? zkSharding could be an answer.

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

Alisa Cherniaeva, Maksim Nikolaev, Mikhail Komarov

12 Dec 2023

=nil;'s zkEVM1

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

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

Mikhail Komarov

01 Dec 2021

=nil; Database Management System

Data management done right

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?

Mikhail Komarov

03 Mar 2021

=nil; Database Management System