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