ConsenSys Launches Private Beta zkEVM Testnet To Scale EthereumConsenSys will test its zkEVM private beta testnet internally starting next week. Onboarding of external users to the Layer 2 zk-rollup will begin in January 2023.
gnark: Your Guide to Write zkSNARKs in Gognark is a high-performance, open-source library that enables effective zkSNARK applications.
ConsenSys R&D Launches an Updated and Expanded zk-EVM VersionUsing our design, developers can deploy any smart contract, use any tool, and develop exactly as if they were building on L1. You can help us test this version by joining our private testnet.
Unlocking DeFi for NFTs Pt. 1: NFT RankingWe interviewed a varied group of enthusiasts, amateur, and seasoned collectors to test various methods of NFT rarity rankings and how they influence collectors.
How To Get Your Verified Dafny Program To Interact With External CodeThis blog explores why getting Dafny code to interact with external code is very useful and how to do it
Formal Verification of Ethereum 2.0 Part 1: Fixing the Array-Out-of-Bound Runtime ErrorFormal Verification of Ethereum 2.0 Part 1 explores how to locate, understand, and fix a subtle array-out-of-bound runtime error within the state transition component.
Measuring The Health Of A Stateless Ethereum EcosystemWith a quantified model in place, part three explores various scenarios to measure the health of a Stateless Ethereum ecosystem.
Building A Stateless Ethereum ModelIn part two of the Stateless Ethereum series, we explore our approach to building a model of such a complex ecosystem.
Defining Stateless Ethereum: A Journey Into The UnknownAs the size of Ethereum state grows ad infinitum, it is worth exploring and modeling the question: Is stateless Ethereum feasible?