Zircuit
  • Introduction
  • Frequently Asked Questions (FAQ)
  • Tokenomics
    • Zircuit Token (ZRC)
    • Bridging ZRC to Zircuit
  • Build on Zircuit
    • Quick Start
    • Deploy on Zircuit
    • Zircuit LST/LRT Liquidity Hub
  • Architecture and Concepts
    • Architecture
      • Modular Prover Design
      • Template Proofs
      • Versions and Updates
    • Concepts
    • Sequencer Level Security (SLS)
    • Gas Pricing and Transaction Fees
    • Transaction Statuses
    • Supported Transaction Types
  • Research
    • Research
    • Publications and Grants
    • Talks and Panels
  • Dev Tools
    • Block Explorer
    • RPC Endpoints
    • Bridge
    • Verifying Contracts
    • ERC20 Tokens with Zircuit Canonical Bridge
    • Development Frameworks
    • CREATE2 Deployments
    • Oracles
    • Indexing and Subgraph
    • Relayers
    • Unsupported Opcodes
    • Precompiles
    • L1 Data Fee Calculation
  • Smart Contracts
    • L1 Contracts
    • L2 Contracts
    • Contract Addresses
    • Bridged Token Addresses
  • Security
    • Security
    • Privileged Roles
    • Bug Bounty
    • Audit Reports
  • Garfield Testnet
    • Garfield Testnet Quick Start
    • Garfield Testnet Bridging Prerequisites
      • Adding the Sepolia Network To Metamask
      • Adding The Zircuit Garfield Testnet Network To Metamask
      • Connecting Metamask To Zircuit’s Bridge
    • Deploy on the Zircuit Garfield Testnet
    • RPC Endpoints
    • Block Explorer
    • Verifying Contracts
    • Bridge
    • Faucet
    • Differences & Limitations
    • Contract Addresses
  • (DEPRECATED) Legacy Testnet
    • Legacy Testnet Quick Start
    • Legacy Testnet Bridging Prerequisites
      • Adding The Sepolia Network To Metamask
      • Adding The Zircuit Legacy Testnet Network To Metamask
      • Connecting Metamask To Zircuit’s Bridge
    • Deploy on the Legacy Zircuit Testnet
    • RPC Endpoints
    • Block Explorer
    • Verifying Contracts
    • Bridge
    • Faucet
    • Contract Addresses
  • Bridging Step-by-Step
    • Prequisites
      • Adding The Zircuit Network To Metamask
    • Bridging From Sepolia To Zircuit
    • Bridging From Zircuit To Sepolia
    • Completing Withdrawals From Zircuit
    • Bridging ERC20 Tokens Manually
    • Binance Web3 Wallet Task Tutorial
      • Binance Web3 Wallet Tutorial: Bridging back to Ethereum
    • Exploring Bridging Behaviors with EIP-7702
Powered by GitBook
On this page
  • Intro
  • Highlights & Recognition
  1. Research

Research

PreviousSupported Transaction TypesNextPublications and Grants

Last updated 11 months ago

Intro

Zircuit started from the desire to explore new ideas, technologies, and approaches to securely scale Ethereum. Founded by a team of experienced researchers in the web3 space, Zircuit arose from the desire to take new ideas and build them into a novel solution to make the space more accessible and secure for everyone.

Zircuit’s research is wide-reaching but focuses on a two areas:

  • Security: Zircuit is built with advanced security protocols and is always looking for ways to bring additional security to web3 users on and off of our network. See the for more on our first innovation.

  • Performance: To truly scale the Ethereum ecosystem, the zero-knowledge technology we use must be as cheap and fast as possible to maximize chain interoperability and minimize user costs.

Zircuit researchers are also interested in other related to rollups, blockchain adoption, and web3 in general. We’re interested in providing the best user experience, exploring and developing web3 standards, proper software engineering, and education.

Highlights & Recognition

Zircuit researchers have been fortunate to receive recognition from their peers through grants and paper publications. In this section, we highlight some concrete research projects that the team members have contributed to.

  • Sequencer Level Security. Zircuit pioneered the novel concept of for rollups. An SLS-enabled sequencer considers the effect that transactions have on-chain, and if it is undesirable, it temporarily prevents transactions from being executed. This provides the smart contract operators and users with an opportunity to take mitigation steps before suffering harm.

  • Correctness of Halo2 Circuits. Zircuit researchers leveraged lightweight formal methods to catch large classes of bugs and errors that can present themselves during development with the Halo2 library. Such methods can help detect unused gates, unconstrained cells, unused columns, and under-constrained circuits, among other potential vulnerabilities. This work presents a pioneering approach to PLONKish arithmetization and Halo2 circuit analysis, combining abstract interpretation, bounded-model checking, and more. Zcash awarded a grant for Improvements to this work.

  • Rollup Security. This project explored security issues that are closely related to rollups. Researchers explored unique features of these systems, like fraud proof validation, escape hatches, and approaches to data availability. As rollups and these features mature, the time to review and understand these features -- both at a high level and at the code level -- is now. This work is influencing planned features for Zircuit and was funded by the Ethereum Foundation.

  • Improved Mathematical Primitives. Our research has looked at optimizing Multi-Scalar Multiplication (MSM) operations used within Halo2 (and other proof systems). This work looked at optimal window sizing, parallelism techniques (including for CPU, GPU, FPGA, and ASIC), pre-computation methods, elliptic curve point representations, and more. This work is being incorporated into Zircuit and will be shared in the future.

For more details, see our as well as our .

Sequencer Level Security page
Sequencer Level Security (SLS)
selected publications
talks and presentations