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?