ZK Circuit
A zero-knowledge circuit, is a cryptographic sequencing protocol in which one party provides proof to another party that a a collection of operations is performed in the correct order, without revealing any additional information.
Zk circuits ensure an order is valid by allowing the verifying party to run a series of cryptographic tests, in which the proving party reveals only the results of the tests and no underlying data. They can be centralized or decentralized. They may be implemented in a number of ways and can often be found in zk rollup architecture.
In distributed ledgers, the zk circuit is typically a microservice within the node software. By not revealing the contents of incoming transactions, this service prevents validators from maliciously re-ordering the contents of a block in its mempool. This trustless ordering means the risk of MEV is almost nonexistent.
More information about how Notoros performs zero-knowledge ordering with logical clocks can be found on here.