# Zircuit: Highlights & Recognition 💚

By [Zircuit Daily](https://paragraph.com/@zircuit-daily) · 2024-08-21

---

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 👇

![Highlight](https://storage.googleapis.com/papyrus_images/4f71f272dd0a0e7bf2731f3aa1834f9c0f64709eb9bd0b7a11f0a5fc21003c4b.png)

Highlight

**_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).

---

*Originally published on [Zircuit Daily](https://paragraph.com/@zircuit-daily/zircuit-highlights-recognition)*