Blog

=nil; Is Coming to Bangkok

A full list of talks, events, and workshops =nil; is joining during Devcon

The First =nil; Testnet Is Now Live

=nil; Testnet v1 is open for everyone to participate

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.

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.

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.

=nil; Public Roadmap: Road to Mainnet

An Overview of the =nil; Public Roadmap

Placeholder

=nil;’s zkSharding for Ethereum

Why Sharding Is Not the Same as Rollup-Centric Scaling

Diving deeper into Ethereum’s scaling solutions

Modular vs. Monolithic Is Dead

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

zkLLVM Circuit Compiler

Make L2s Scale Again

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

How zkSharding Addresses the Blockchain Trilemma

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

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

=nil;'s zkEVM1

zkHack Istanbul: =nil; Foundation winners

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

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

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

Placeholder proof system

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

Proof Market EVM Endpoint

Expanding Proof Market capabilities with direct proof ordering for Ethereum applications

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

= nil; Foundation solutions to streamline zk Proof generation process

=nil; zkLLVM Circuit Compiler

Proving computations in mainstream languages with no zkVM's needed

Bridging Mina to Ethereum via =nil; Proof Market

A road to production

=nil; Proof Market

Trustlessness (data access, bridges, scaling) needs proofs

Danksharding for various protocols via =nil; Proof Market

Pluggable Scaling via Provable Queries

Bridging to StarkNet through =nil; Proof Market

Proving mainstream languages computations to StarkNet via zkLLVM with zkBridging as an example

Bridging Mina with =nil;

How will a Mina Protocol's bridge become bi-directional?

=nil; Trustless Data Management

What total trustless data accessibility leads to

=nil; Database Management System

Data management done right

Mina-Ethereum State Proof Verification Applications

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

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

How would a bridge built on top of that work?

=nil; Crypto3 Cryptography Suite

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

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

Paving the way to Solana-Ethereum zk-bridge

=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)

=nil; Foundation

What is =nil; Foundation?

=nil; Database Management System