1. Autonomous execution. Finally, straight out of the box Noir allows you to build a compiled Solidity contract to verify proofs on any EVM-compatible blockchain. Smart contract developers can now execute logic based on Noir proofs.

Noir can be used to write full-fledged smart contracts on the Aztec Network!

The core principle is turning code into pure math and optimizing execution via unconstrained calls and black-box functions.