Noir
22 Mar
## min read

Zero-knowledge gaming with BattleZips x Noir

BattleZips and Noir partnered up for zero-knowledge gaming, showcasing encrypted gameplay on the blockchain.

Share
Written by
Edited by

Building games of imperfect information with Aztec’s Noir language

Noir was conceived of as an open-source, universal zero knowledge language. It was always meant to make the experience of developing in zero-knowledge much more accessible, by:

  • having simple to read syntax that’s easy to reason about
  • abstracting away cryptographic concepts and security considerations
  • incorporating cryptographic libraries for commonly used crypto primitives

So when we heard about the Mach34 team and their work on BattleZips — a Battleship clone relying on zero-knowledge — we knew we had to work together.We met the Mach34 team after they placed at the ETHDenver 2022 hackathon with a Circom-written version of the classic Hasbro game Battleship.Shortly after we released Noir, they expressed ➡️ interest in rewriting Battlezips, providing us feedback, and creating a tutorial series on writing zk circuits and programs in Noir.

➡️ Watch the BattleZips-Noir YouTube series here.

We provided them an Aztec Grant in late 2022, and they were off to the races, culminating in showcasing the Noir-powered Battlezips running in the browser at our sponsored game night at ETHDenver 2023.

➡️ Play Battlezips in your browser.

Here’s an unabridged conversation with Mach34 on their experience building on Noir and what developers can expect building on the universal zk language.

A Noir-ish conversation with Mach34

Q: Tell us about BattleZips. How does the game use zero-knowledge cryptography?

A: BattleZips is a zero-knowledge implementation of the popular board game Battleship that uses proofs to shield ship positions. While this is by no means an original idea for a zero-knowledge application, Battleships was chosen as it is a simple but complete example of integrating arbitrary business logic in zero knowledge circuits.

By settling zero knowledge proofs in smart contracts, we can create novel digital and economic interactions that make the existing role of Information Escrow by third parties obsolete. BattleZips helped us understand how to apply zero knowledge proofs, and we hope the BattleZips-Noir course gives you the same advantages!

Q: What inspired you to start Mach 34 and develop BattleZips? Why explore Noir?

A: BattleZips marked the beginning of our journey into zero-knowledge cryptography and expanded our horizon on where this technology could be applied in real world use cases.

This is one of the factors that lead us to creating Mach 34. Mach 34 is a Web3 and ZK Software Consultancy. We chose to focus on mastering the web3 tech stack for the sake of expertise rather than a specific application. This enables us to explore any industry ripe for decentralization, growing our overall experience with the enterprise of web3.

Corporations and governments alike habitually abuse the authoritative topology of web2 networks; as Web3/ ZK Consultants, we have the means and the desire to help innovators usurp centralized processes and give sovereignty in cyberspace back to the users.

It is crucial that we stay up to date with the latest trends in this fast developing space to ensure we provide superior expertise to clients. Our prior experience writing proofs demonstrated to us that there is a significant variation between the different tools that exist, how rapidly they can be applied to an engineering problem, and what they accomplish. This led us to explore Noir upon its official release and see how it differentiated itself from pre-existing alternatives.

Q: How did you find the ease of usability of Noir compared to other zero-knowledge domain specific languages you’ve worked with?

A: Prior to Noir we used the Circom language and the Halo 2 proving system written in Rust. Proceeding from a first look at the Noir documentation to writing circuits was a fairly quick and straightforward process.

We thought that Noir lived up to most of what it promised in its introductory medium post. If one were to begin learning Noir without wanting to get bogged down in learning the inner workings of ZK and how circuits translate to proofs then they could certainly do so. It does a good job of abstracting away from the more complex aspects of the topic.

One thing that could improve the developer experience is ensuring that the nargo command-line tool and the Aztec NPM packages compile the same Noir version. This is an issue we ran into mid way through the development process that resulted in a refactor to ensure we could test our circuits with the Aztec NPM packages.

Q: As a full-stack development shop, how has the process of incorporating zk-cryptography changed the way you approach software development projects?

A: Our interest in zero-knowledge cryptography was one of the driving factors for starting Mach 34. Historically and to this day, one of the most sought after skills in the web3 space is the ability to write smart contracts.

Similarly as the past few years have shown, we believe enabling privacy and scalability in web3 applications is only going to become more and sought after and ultimately a necessity. In anticipation of this we have positioned ourselves at Mach 34 to have the skills and expertise necessary to help companies engineer ZK solutions.

Q: What kind of impact do you think Noir and other zero-knowledge domain specific languages will have on the broader software development community? Where do you see the industry going?

A: Noir and other ZK DSLs play a pivotal role in the proliferation of zero-knowledge cryptography by abstracting away from the underlying cryptographic principles.

As history shows, abstraction is absolutely necessary for any technology to become widely adopted. If engineers were never able to design high level programming languages from low-level opcodes then we would have far fewer and less effective software developers than we do today.

Once the complexity and thought is removed from the underlying components that make zero-knowledge cryptography possible in the first place, engineers have more time to think about applications that would benefit from ZK. It looks like we are about to enter an exciting phase where we will start to see more examples of the technology applied to real world use cases.

Q: What advice would you give to developers who are interested in learning more about zero-knowledge cryptography and how to use it in their projects?

A: This is definitely an exciting space to get involved in given it is still very much in its infancy. It is poised to solve issues related to privacy and scalability in public blockchains, as well as contexts out of web3 where there is currently a lack of much needed privacy.

This being said, resources for learning are still sparse and those that exist often have a technical complexity that can make them hard to digest. It can take quite a bit of patience and perseverance to become acclimated to this space but it is well worth the effort given that you are one of the individuals pioneering the ecosystem.

If you are a developer that has an interest in getting started in ZK then I think reading some high-level introductory materials would be a good starting point.

After a basic understanding is gained on the topic then exploring a DSL like Circom or Noir to write a simple circuit would be a beneficial next step.

Once it becomes clearer to you what can be accomplished and what tools are at your disposal then really the limit is what you can ideate. The cool thing is that there is still so much room for novel innovation that it could very well be the case no one has thought of your idea yet. Don’t sit idle and wait for things to develop further! Now is a great time to jump in!

Q: Are there any upcoming projects at Mach 34 that you can share with us that utilize zero-knowledge cryptography or other cutting-edge technologies?

A: Mach 34 has been researching and working towards constructing a “Zero-Knowledge State Channel”. While rollups offer fantastic scalability, we were put off by the need for a sequencer. Furthermore, aside from Aztec Connect and a few others, ZK Rollups do not have any private state. Thus, we began to explore how state channels might be repurposed with zero knowledge.

To open a ZK State Channel, parties will agree on the terms of the execution (like a smart contract). The channel initialization dictates what steps can be taken next, and by whom. Rather than posting every transaction on-chain, a state object is recursively built off-chain.

While previous state channel constructions had optimistic trust assumptions, we can leverage ZK to perform verifiable computations that have instant, trustless finality. Once a state channel has reached an end condition, the entire state execution is notarized by posting the state channel proof on-chain for all nodes to verify in zero knowledge.

This final proof further employs zero knowledge to hide most of the intermediate state; only pre-determined derived metrics or public outputs are made publicly available on-chain.

This has many interesting use-cases; we plan to demonstrate how this construction is useful for credit scoring by adding ELO scores to the State Channel version of BattleZips. This provides a verifiable metric that scores the performance of an individual without revealing any of their in-game moves.

We envision countless use-cases for ZK State Channels across all segments of web3. Undoubtedly, there are use-cases that we haven’t thought of. For this reason, all of our work on ZK State Channels is free and open source. While we intend to utilize the infrastructure for profit, we want to make sure that all possibilities are explored in service of the best possible future for web3 developers and users.

Q: What are some use cases you’re excited for?

A: One area of exciting potential outside of blockchain is how zero-knowledge can transform personal identification.

When providing personal ID, the majority of the time more information is conveyed than necessary. Proving one is of a legal drinking age need only confirm the person is above 21 years of age, yet sharing the ID divulges information such as street address and name.

Using zero knowledge proofs conceivably one could prove they are at least 21 without having to provide additional information. Another example is having to provide a social security number in a KYC process. Leaking a SSN number can have catastrophic consequences so one would prefer this is done as infrequently as possible. With ZK proofs instead one could prove they bear a SSN number without needing to reveal exactly what theirs is.

Explore the BattleZips project

We’re thrilled that the Mach34 team have done such a deep and candid dive into Noir’s capabilities, and their feedback has been invaluable.For developers interested in building on Noir, check out their well-documented BattleZips repo.

➡️ Explore the BattleZips Github repo and codebase.

Build on Noir

Interested in building zero-knowledge applications on Noir — or contributing to the open-source project?

Join Us

We’re always looking for talented engineers, cryptographers, and businesspeople to join Aztec. We are committed to bringing encryption to blockchain through our encrypted zkRollup, and we’ve raised over $125 million from the best investors in crypto, including a16z and Paradigm to do so. Come onboard.

➡️ See our open roles here.

Read more
Aztec Network
Aztec Network
26 May
xx min read

The Aztec Stack

Aztec is built on one idea: smart contracts on Ethereum where developers choose what is public and what is private. That doesn't just mean shielded transactions. It means who acts (identity), what they transact (state), and how they execute (computation) can all be private. Aztec makes end-to-end privacy possible; even the contracts themselves can be private.

But privacy also has to be practical. Aztec integrates private and public execution in the same contract, so apps can seamlessly weave together private and public state. Every account is a smart contract, letting users grant granular, revocable access for selective disclosure, which is useful for compliance, tax reporting, or agent permissions.

Finally, Aztec is a decentralized L2, with 3,500+ sequencers participating in the network today. That permissionlessness is what makes Aztec a credible foundation for a global privacy layer.

In this article we’re going to explore the Aztec stack and how we make programmable privacy a reality. We’ll answer questions like ‘what can you do on Aztec?’, ‘how does it all work?’, and ‘what are the core layers of the system that makes it all possible?’

TL;DR

The four layers of the Aztec stack, all live today on the Alpha network

  1. Noir: a programming language for writing private programs with simple, familiar syntax. 
  1. Aztec smart contracts: written in Noir using the Aztec.nr framework, allowing you to easily write smart contracts with both public and private state. 
  1. Aztec Network: a fully decentralized, privacy-preserving Ethereum L2 for building useful applications. Private state uses a UTXO model, public state uses an account-based model like Ethereum. 
  1. Ethereum: L2 txn rollup proofs are stored on Ethereum, inheriting strong economic security. 

Layer 1: Noir, the Universal Language of ZK 

Aztec smart contracts are written in Noir, a programming language with Rust-like syntax optimized for writing private programs. Noir is an open-source project developed by Aztec and is now the industry-leading language for writing private apps using zero-knowledge proofs. Let’s dive into what Noir is, and why we use it as the building block for writing smart contracts. 

Writing zk programs is extremely difficult without a background in cryptography. When developing Noir, our first goal was to create a highly optimized and easy-to-write zk Domain Specific Language (zkDSL) where developers don’t need to know any of the underlying mathematics. As a result, Noir handles all the cryptographic complexities, and will automatically convert your code into fancy zk circuits. 

Noir under the hood
Noir under the hood

Noir compiles down to the Abstract Circuit Intermediate Representation (ACIR), an adaptable intermediary language that makes it easy to plug in a variety of popular proving backends. These proving backends, such as Aztec’s Barretenberg proving system, take the compiled zero-knowledge circuits and generate proofs attesting to the validity of the program’s execution, all without revealing any private inputs. From authorization systems that keep a password on the user's device, to complex onchain state channels with recursive proofs to verify offchain state; Noir and a proving backend handle everything from compilation to cryptography for you. 

In addition to simplifying the developer experience, we also wanted to make it intuitive to specify which elements you want to keep private and which you want to make public. With Noir, privacy is baked in as a default, so all variables and functions are automatically kept completely private, and executed on the user’s device. 

If you want to make any part of your code public, you can do so by simply adding a pub attribute. 

Using public and private inputs together
Using public and private inputs together

Noir on its own is great for writing programs that need to execute stateless functions, such as proving that you reside in a specific country based on passport data, or that you hold a certain number of tokens without revealing how many. Projects are already starting to build with Noir outside of Aztec on Base, Scroll, Starknet, and other chains. However, if you are looking to write privacy-preserving apps that store private state data onchain, it’s helpful to utilize a smart contract library that deliberately handles those complexities for you. That’s exactly what we’ve built at Aztec and what we’ll explore in the next section. 

Layer 2: Smart Contracts 

Aztec smart contracts leverage Noir to create apps with onchain private and public state. This section covers how smart contracts work on Aztec and how you deploy and interact with your contracts. 

An Aztec smart contract is a set of public and private functions written in Noir, deployed on the Aztec Network. They are written using the Aztec.nr framework which handles all the cryptography under the hood for managing private and public state and interacting with other contracts on the network. 

To build useful applications, developers need to be able to incorporate both private and public components into their contracts. For example, an onchain voting contract might want to keep the information of the voter private and prevent someone from voting twice, but publicly display how many votes have been cast, and the outcome. 

Because contracts are written in Noir, this functionality is as easy as adding a ‘private’ annotation above your function. The following function will be executed privately on the user device, allowing a user to cast a vote without revealing their address: 

The output of this private, local execution will be sent to the network, where the correctness of execution is verified and public function calls are executed. The following function is designed to be executed publicly, adding a vote to the total tally without revealing where it came from. 

To seamlessly weave together private and public components that can easily interact with onchain state, Aztec smart contracts utilize the Aztec.nr framework to execute private functions on the user’s device and bundle the proofs for these transactions together with the public functions that will be executed by the Aztec Virtual Machine (AVM). 

This framework adds the functionality needed to build onchain, privacy-preserving apps, including defining contracts, accessing private or public context, and interacting with the Aztec Network. Similar to how a vanilla Noir program would compile down into zk circuits, Aztec smart contracts are compiled into zk circuits for private functions or AVM bytecode for public functions, and stored in the Aztec contract tree. 

Aztec accounts are also written as smart contracts, implementing what is known as account abstraction. Account abstraction allows application developers to create programmable accounts to dramatically improve user experience, including social recovery, sponsored transactions, and multi-factor authentication. It also makes compliance practical, allowing for granular access controls on accounts. 

Layer 3: The Aztec Network

The Aztec Network is the only decentralized L2 on Ethereum. There are currently over 3,500 sequencers running the alpha network. View the live block explorer for the alpha network. 

In order for a network to fully protect users and their data, it must guarantee three levels of privacy: 

  • Private data: input and output values are hidden
  • Private identity: addresses are hidden 
  • Private compute: contract functions are hidden 

When you write  Aztec smart contracts, everything listed  above is taken care of for you. As discussed in the previous two sections, you can easily opt into privacy protections at a granular level by weaving together public and private functions. 

To understand how all of these components fit together, let’s examine how a transaction is executed on the Aztec Network. 

When a user interacts with your application, private functions are executed client-side on the user’s device: a phone, a personal computer, etc. This happens in a private execution environment (PXE) that is able to create highly-efficient zk proofs even on browsers and mobile devices. Any private state updates are added to the state of the network in an append-only database (UTXO tree). Because the proof is generated client-side, no information can be leaked about the inputs, outputs, accounts, or even the functions that were executed.

On the other hand, public transactions are bundled together with the private client-side proofs and sent off to the Aztec Network, powered by a decentralized network of independent community-run sequencers. Sequencers check the validity of private execution proofs, execute any public functions and update the public state, propose blocks, and publish state updates (“diffs”) to Ethereum L1. Sequencers also coordinate with a decentralized network of provers who compute the final proof for every Aztec “epoch” - defined as a contiguous sequence of 32 L2 blocks - and publish it to Ethereum. Any public functions executed by sequencers update an account-based database similar to Ethereum. 

Sequencer and prover roles are fully permissionless. Anyone can spin up the required hardware and join the sequencer set or run provers and start bidding to produce proofs of Aztec epochs. 

Conclusion

Aztec delivers on a simple but powerful idea: smart contracts on Ethereum where you choose what's public and what's private across identity, data, and compute. The four layers we've walked through are what make that possible.

Noir gives developers a Rust-like language for writing zero-knowledge programs without a cryptography background, with privacy as the default. Aztec smart contracts build on Noir through the Aztec.nr framework, letting you weave private and public functions into a single contract and use account abstraction to unlock granular access controls for compliance, tax reporting, and selective disclosure. The Aztec Network is the only decentralized L2 on Ethereum, with over 3,500 sequencers powering end-to-end programmable privacy across data, identity, and compute. And it all settles to Ethereum, inheriting L1's economic security.

The result is the first practical platform for privacy on Ethereum, and a credible candidate to become the global settlement layer of the future.

Now it's your turn to build. Head to docs.aztec.network to ship your first privacy-preserving app.

Follow Aztec on X for updates on the current state of the network. 

Aztec Network
Aztec Network
19 May
xx min read

10 Privacy Features Ethereum Devs Want. All of them live on Aztec.

Last week, PSE published an insightful and comprehensive user-research piece on private transfers on Ethereum. They interviewed 38 teams in the space and asked what's broken, what's missing, what builders wish they had. The list reads like a wishlist of features every privacy app on L1 is currently trying to engineer towards. It's the kind of rigorous, builder-grounded research the privacy ecosystem has needed.

We read the list. It's the list we've been building against for years.

Aztec solves all of these problems. Every requested feature already lives on Aztec. The proving system, the private contract language, the decentralized network, the privacy wallet architecture, the key model, the snark-friendliness: all of Aztec was built against this list before it was a list.

What follows is a walkthrough. For each of PSE's top technical findings, here's the feature builders are asking for, and how it works on Aztec today.

TL;DR

  1. Slow client-side ZK proving: Aztec's client-side proving system (Chonk) is optimized specifically for fast recursive proving on resource-constrained devices such as phones (and even in the browser).
  2. Expensive L1 proof verification: Aztec amortises the gas costs of L1 verification across thousands of users per rollup. Instead of “millions of gas per user” it costs hundreds of gas; that’s pennies per user transaction.
  3. DeFi composability with private state: Private token contracts on Aztec can be unshielded to easily interact with Ethereum DeFi contracts, and the resulting state can be shielded, without leaking who did the interaction. Or you can just design composable private DeFi contracts within Aztec.  
  4. Deposit/withdrawal leakage: Aztec isn’t a basic shielded pool, so users don’t need to keep withdrawing to do useful things. Users can use their funds within private smart contracts. Privacy leakage doesn’t happen if all transaction activity stays in private-land.
  5. No native wallet support: Of course Ethereum wallets don’t natively support privacy; Ethereum doesn’t have native privacy. There are a huge number of new concepts that are needed to design a private smart contract wallet. Aztec wallets are built from the ground up to enable a rich private onchain experience. 
  6. Reliance on external networks, TEEs, FHE, and relayers: The private and public execution environments of Aztec aren't reliant on external networks. Aztec is a fully decentralised L2, without these centralisation concerns. 
  7. Keccak is inefficient inside ZK circuits: The entire Aztec protocol uses Poseidon2, so complex private txs are rapid to prove on a phone. 
  8. Slow private state sync: Brute-force scanning of the entire chain’s history is not necessary. Aztec's tagging scheme lets recipients pinpoint their notes in seconds from a shared secret.
  9. Fragmented privacy sets: All private smart contracts on Aztec share one global note tree and one global nullifier tree. All network activity contributes to and draws from a single privacy set.
  10. No tooling or standards for private contracts: Aztec has a huge suite of tools to ship private contracts. Noir, a smart contract framework, a private state manager, a keystore, the PXE for executing contracts locally, a JS SDK, testing frameworks, local test networks, a CLI, and a slew of advanced private contract standards.

1. ZK proof generation time on user devices

Ethereum Problem: Proof generation is too slow on user devices, especially mobile. Elliptic-curve pairing operations are a specific bottleneck. Server-side proving is a censorship and privacy leak vector. Sub-second proving was the stated threshold.

Aztec solution: Proving on Aztec runs locally in the PXE (Private eXecution Environment, pronounced "pixie"), so no data ever leaves the user's device. Chonk, our client-side zk proving system, is ruthlessly optimised for fast recursive proving on low-memory devices like phones, native and in-browser. Years of optimization have already gone in, and we're still finding more. It’s best in class and we haven’t even merged-in GPU acceleration yet!

The slow pairing checks that PSE's interviewees called out as a bottleneck aren’t a problem with Aztec; pairings are simply batched together and deferred away from the user's device, handled by the more powerful network instead, without leaking any information. With such a powerful local prover, there’s little need to outsource proving to an untrusted party.

2. ZK proof verification gas on L1

Ethereum Problem: Verifying a ZK proof on Ethereum is prohibitively expensive. A Groth16 proof for a private transfer costs several hundred thousand L1 gas. A Halo2 (KZG Plonk) proof can cost approximately one million gas

Aztec solution: Aztec amortises L1 verification gas across all transactions in the rollup. At current network throughput, that cost is split across roughly 2,000 users per proof. Later this year, it’s slated to be split across ~20,000. Rollup costs are also partially subsidised by Aztec block rewards.

Net result: hundreds of L1 gas per user instead of millions. Plus cheap L2 gas. The user pays pennies for an Aztec transaction.

3. DeFi composability with private state

Ethereum Problem: Wrapping and unwrapping tokens leaks privacy and breaks composability. Smart contracts can't easily interact with encrypted balances. Private state is isolated; contract state is normally shared.

Aztec solution: Private state is not isolated on Aztec. The private state of one contract can be composed with that of another. This can unlock new privacy-preserving DeFi patterns directly on Aztec.

A single private transaction can call a stack of private functions across multiple contracts, with private inputs, private state transitions, and privacy over which functions were even executed and how many. Observers see that a transaction landed. They do not see what happened inside it. Stew on that for a second: a call stack of nested private functions across contracts written by different developers, each causing state transitions, all completely private.

Aztec also runs public functions, similar to Ethereum, inside the same smart contract, so you can build existing DeFi primitives on Aztec

For Ethereum DeFi specifically, Aztec has a tidy L1-to-L2 messaging layer. Private balances can be unshielded to interact with L1 protocols and shielded back, without leaking who did the interaction and without leaky public gas payments. And for private DeFi primitives that need genuinely shared private state (state nobody knows the value of, but which anyone can mutate), people have built Aztec contracts that compose conventional Aztec private state with co-snark or FHE sidecars.

Private and public state are peers inside a single Aztec smart contract. Builders mix and match.

4. Deposit/withdrawal privacy leakage

Ethereum Problem: Entry and exit points are the dominant privacy leak, not the protocol itself. Depositing and quickly withdrawing makes identity analysis trivial.

Aztec solution: The main fix is to stop crossing the boundary so often. (Or even if you do cross the boundary, Aztec has leakage protections).

Imagine if thousands of private smart contracts lived on the same network and could call each other without leaking which contracts were called, which arguments were passed, or what was returned. Imagine they all shared one global note tree and one global nullifier tree. That's Aztec. Once funds are inside, users don't need to keep crossing the private/public boundary to do useful things: Aztec is its own rich environment for composable, private execution of smart contracts.

Even when a private function does need to call a public function – be it an L1 DeFi contract, or a native public function within Aztec – the developer controls the information they reveal; not the protocol. The call can even be "incognito" to hide msg_sender. A single environment for many private apps to thrive also means re-usable tooling for builders.

5. Lack of native wallet support

Ethereum Problem: Privacy features (per-dapp addresses, private transfers) aren't natively integrated into major wallets. Reliance on dapp-specific UIs damages UX.

Aztec solution: Ethereum wallets weren't built for any of this, and they don't need to be: the chain underneath them has no private state to protect. Aztec wallets are an entirely new category of software.

Aztec wallets are able to manage all these new privacy-centric concepts:

  • Authorize your transactions however you want, without revealing your identity to the world. Native account abstraction lets you choose any auth scheme you like, and that choice doesn't expose who you are.
  • Hold multiple specialized privacy keys. Distinct nullifier, viewing, and efficient message-signing keys.
  • Keep your full private state on your own device. An encrypted local database holds your notes and nullifiers (siloed by private contract address), along with private data, private messages, shared secrets, and private contract bytecode.
  • Fine-grained contract access control for your private data.. Access permissions for contracts to read your private data are granular and revocable, rather than all-or-nothing.
  • Run private contracts without cross-contract interference. Built-in protections can stop malicious private contracts from reading or manipulating the private state of other contracts.
  • Establish shared secrets with your counterparties. Wallets can support both on-chain and off-chain methods for setting these up.
  • Catch privacy leaks before you sign. Pre-flight transaction privacy analysis warns when your data might be leaked via public args, msg_sender, fee payment, or even through the shape of the tx.
  • Make your tx look like every other tx on the network. Random padding is added to notes, nullifiers, and logs, and gas settings, anchor blocks, and inclusion deadlines are randomized so every tx blends in with the crowd.
  • Submit transactions privately to the network. Txns can be submitted to the network through a private submission path.
  • Pay fees through generic private fee paymasters. This gives users convenience and enables experimentation over the best private token contract designs for different use cases.
  • Use your wallet to gatekeep which frontends can access which private data . Apps shouldn’t have unfettered access to everything; a wallet needs to protect users’ private data..
  • Get post-quantum hygiene warnings. Wallets are able to flag risky patterns around address reuse and ephemeral-key broadcasts.

Aztec wallets are in active development, and this is an area where we expect many teams to build different wallets that are customized to various user needs. An early wallet is already baked into the protocol for developers to start using today. 

6. Reliance on relayers, FHE coprocessors, and TEEs

Ethereum Problem: Encrypted tokens and many privacy protocols depend on external networks for encryption, decryption, or relaying. Threshold-decryption committees and TEE hardware vendors are added trust assumptions on top of the chain itself.

Aztec solution: Aztec's private and public execution environments are not reliant on external networks. Aztec is its own decentralised network: ~4,000 validators stake on it, block proposers are randomly selected, a random committee attests, and a decentralised set of provers proves the rollup's execution. Validity is ultimately backed by cryptographic proofs settled on Ethereum.

External networks (co-snark networks, TEEs, MPC or FHE sidecars) become an opt-in choice for the specific case of private shared state. The trust tradeoffs there are something the contract developer signs up for explicitly, not a tax every user pays on every transaction by default.

7. Hash function inefficiency inside ZK circuits

Ethereum Problem: Keccak is inefficient to prove inside ZK circuits. There is no native support for a ZK-friendly hash like Poseidon.

Aztec solution: Poseidon2 is enshrined across the entire Aztec protocol, for rapid proving of every tx. Every Aztec state tree, the proving system, the innards of the protocol; everywhere. Reading and writing state inside a circuit is as cheap as it gets.

Keccak, SHA, and Blake hashes are still available through optimised Noir libraries when contracts need them for L1 interoperability. The default is ZK-friendly; the L1-friendly hashes are there when you reach for them.

8. Private state synchronisation

Ethereum Problem: Syncing private state (scanning for incoming notes and events) is a client-side bottleneck. Users wait for scans to complete before seeing their balance. Tachyon-style oblivious sync was cited as a path forward.

Aztec solution: Brute-force syncing of private state is rarely needed. Most real-world use cases involve a sender and recipient who can establish a shared secret offchain first.

From that shared secret, both parties can derive a sequence of random-looking “tags”. Each encrypted note log is prepended with the next tag in the sequence. The recipient already knows the next tag, so they know exactly what to query. Note discovery happens in seconds, not minutes. The scheme slots cleanly into PIR or mixnet approaches for extra privacy on the query itself, and smart contracts that don't trust senders to use the correct tag can just constrain it inside the circuit.

That’s not to say that Aztec requires interactivity between all senders and recipients. For genuinely non-interactive use cases (recipient can't talk to the sender before the transfer), Aztec enables devs to customize both their log emission and their note-discovery logic however they like. (Aztec also has ways to speed up the brute-force scanning approach from "scan the whole chain" to "scan a tiny subset of non-interactive handshake txs"

9. Fragmented privacy sets

Ethereum Problem: Shielded pools are fragmented across dapps and chains, reducing the effective privacy set for all users. Each new privacy protocol must bootstrap its own.

Aztec solution: There is one global note tree and one global nullifier tree on Aztec, shared by every smart contract on the network. Every private app contributes to and draws from the same privacy set. No per-app bootstrap. No walled gardens.

Private payments, private swaps, lending, payroll, treasury, identity attestations: all of them land in the same global commitment set, by construction.

10. Tooling and standards for private contracts

Ethereum Problem: Ethereum developer tooling lacks support for private transfers and private state. Standards for private tokens, compliance, and wallet interactions are missing. Many privacy teams are small, with short runway and expensive audits.

Aztec solution: Aztec ships the full toolchain for private contracts: Noir for writing private logic, the Aztec smart contract framework with macros that hide the protocol mess so devs can focus on app logic, the PXE for keys / state / syncing / proof generation, a JS SDK, a local node for testing, a CLI, and a real, live, decentralised L2.

The mental overhead of building a privacy protocol on Aztec collapses to "just write the app logic." Here is an example of a complete private transfer function on Aztec:

#[authorize_once("from", "authwit_nonce")]
#[external("private")]

fn transfer_in_private(from: AztecAddress, to: AztecAddress, amount: u128, authwit_nonce: Field) {
    self.storage.balances.at(from).sub(amount).deliver(MessageDelivery.ONCHAIN_CONSTRAINED);
    self.storage.balances.at(to).add(amount).deliver(MessageDelivery.ONCHAIN_CONSTRAINED);
}

Look at how simple that is.

A two-line function body.

Two lines.

Aztec takes care of the rest.

Behind those #[...] macros, the framework handles: caller authorisation, note syncing, fetching notes from the user's private db, Merkle membership proofs against the global note tree, safe nullifier creation (without leaking master secrets to the circuit), randomness for new notes, encrypted ciphertext generation, log tagging for fast recipient discovery, and public-input population. The PXE handles key management, private state, and proof generation. The smart contract itself contains its own message-processing logic for log discovery, decryption, and storage on the recipient side.

If you want whitelists, blacklists, association sets, custom tx authorisation, viewing-key hierarchies, temporary view access, selective disclosure to specific counterparties, just import a Noir library. Want something more adventurous than private payments? Same toolchain. 

What this adds up to

PSE's findings are not ten unrelated bugs. They're the same problem refracted ten ways: privacy retrofitted onto a chain that was not designed for it yields bad tradeoffs. 

Aztec was designed against this list before it was a list. One global note tree and one global nullifier tree. Private and public state inside the same contract. Compose calls between private contracts without leaking anything. Fast client-side proving on phones via Chonk. Snark-friendliness everywhere. Rollup-amortised L1 gas costs, fractions of a cent per user. Native account abstraction with private fee paymasters. No painfully slow private state syncing: a tagging-based note discovery scheme that runs in seconds. An entirely new category of wallet that treats privacy as a first-class concern. Simple, high-level smart contract syntax that collapses a basic private token transfer function into two lines.

There were 10 privacy features Ethereum devs wanted, all of them live on Aztec. The infrastructure is in place. Build the thing.

Go to our docs to start building

Aztec is the blockchain that solved the privacy problem. Start at docs.aztec.network or read the architecture deep-dive on The Best of Both Worlds: How Aztec Blends Private and Public State.

Aztec Network
Aztec Network
31 Mar
xx min read

Announcing the Alpha Network

Alpha is live: a fully feature-complete, privacy-first network. The infrastructure is in place, privacy is native to the protocol, and developers can now build truly private applications. 

Nine years ago, we set out to redesign blockchain for privacy. The goal: create a system institutions can adopt while giving users true control of their digital lives. Privacy band-aids are coming to Ethereum (someday), but it’s clear we need privacy now, and there’s an arms race underway to build it. Privacy is complex, it’s not a feature you can bolt-on as an afterthought. It demands a ground-up approach, deep tech stack integration, and complete decentralization.

In November 2025, the Aztec Ignition Chain went live as the first decentralized L2 on Ethereum, it’s the coordination layer that the execution layer sits on top of. The network is not operated by the Aztec Labs or the Aztec Foundation, it’s run by the community, making it the true backbone of Aztec. 

With the infrastructure in place and a unanimous community vote, the network enters Alpha. 

What is the Alpha Network?

Alpha is the first Layer 2 with a full execution environment for private smart contracts. All accounts, transactions, and the execution itself can be completely private. Developers can now choose what they want public and what they want to keep private while building with the three privacy pillars we have in place across data, identity, and compute.

These privacy pillars, which can be used individually or combined, break down into three core layers: 

  1. Data: The data you hold or send remains private, enabling use cases such as private transactions, RWAs, payments and stablecoins.
  2. Identity: Your identity remains private, enabling accounts that privately connect real world identities onchain, institutional compliance, or financial reporting where users selectively disclose information.
  3. Compute: The actions you take remain private, enabling applications in private finance, gaming, and beyond.

The Key Components  

Alpha is feature complete–meaning this is the only full-stack solution for adding privacy to your business or application. You build, and Aztec handles the cryptography under the hood. 

It’s Composable. Private-preserving contracts are not isolated; they can talk to each other and seamlessly blend both private and public state across contracts. Privacy can be preserved across contract calls for full callstack privacy. 

No backdoor access. Aztec is the only decentralized L2, and is launching as a fully decentralized rollup with a Layer 1 escape hatch.

It’s Compliant. Companies are missing out on the benefits of blockchains because transparent chains expose user data, while private networks protect it, but still offer fully customizable controls. Now they can build compliant apps that move value around the world instantly.

How Apps Work on Alpha 

  1. Write in Noir, an open-source Rust-like programming language for writing smart contracts. Build contracts with Aztec.nr and mark functions private or public.
  1. Prove on a device. Users execute private logic locally and a ZK proof is generated.
  1. Submit to Aztec. The proof goes to sequencers who validate without seeing the data. Any public aspects are then executed.
  1. Settle on Ethereum. Proofs of transactions on Aztec are settled to Ethereum L1.

Developers can explore our privacy primitives across data, identity, and compute and start building with them using the documentation here. Note that this is an early version of the network with known vulnerabilities, see this post for details. While this is the first iteration of the network, there will be several upgrades that secure and harden the network on our path to Beta. If you’d like to learn more about how you can integrate privacy into your project, reach out here

To hear directly from our Cofounders, join our live from Cannes Q&A on Tuesday, March 31st at 9:30 am ET. Follow us on X to get the latest updates from the Aztec Network.

Aztec Network
Aztec Network
27 Mar
xx min read

Critical Vulnerability in Alpha v4

On Wednesday 17 March 2026 our team discovered a new vulnerability in the Aztec Network. Following the analysis, the vulnerability has been confirmed as a critical vulnerability in accordance with our vulnerability matrix.

The vulnerability affects the proving system as a whole, and is not mitigated via public re-execution by the committee of validators. Exploitation can lead to severe disruption of the protocol and theft of user funds.

In accordance with our policy, fixes for the network will be packaged and distributed with the “v5” release of the network, currently planned for July 2026.

The actual bug and corresponding patch will not be publicly disclosed until “v5.”

Aztec applications and portals bridging assets from Layer 1s should warn users about the security guarantees of Alpha, in particular, reminding users not to put in funds they are not willing to lose. Portals or applications may add additional security measures or training wheels specific to their application or use case.

State of Alpha security

We will shortly establish a bug tracker to show the number and severity of bugs known to us in v4. The tracker will be updated as audits and security researchers discover issues. Each new alpha release will get its own tracker. This will allow developers and users to judge for themselves how they are willing to use the network, and we will use the tracker as a primary determinant for whether the network is ready for a "Beta" label.

Additional bug disclosure

We have identified a vulnerability in barretenberg allowing inclusion of incorrect proofs in the Aztec Network mempool, and ask all nodes to upgrade to versions v.4.1.2 or later.

We’d like to thank Consensys Diligence & TU Vienna for a recent discovery of a separate vulnerability in barretenberg categorized as medium for the network and critical for Noir:

We have published a fixed version of barretenberg.

We’d also like to thank Plainshift AI for discovery, reproduction, and reporting of one more vulnerability in the Aztec Network and their ongoing work to help secure the network.