Zircuit received many recognitions from their peers and the community. We highlight some features that the team have contributed to.

Let's dive into this thread 👇

1/ Sequencer Level Security.

Zircuit pioneered the novel concept of Sequencer Level Security (SLS) 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.

2/ 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.

3/ 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.

4/ Improved Mathematical Primitives.

Our research has looked at optimizing Multi-Scalar Multiplication (MSM) operations used within Halo2 (and other proof systems).