What is a Declarative Blockchain?

A declarative blockchain is a blockchain that leverages constraints to achieve state updates without the need for execution.

(In contrast, an imperative blockchain is a blockchain that relies on a common execution environment to achieve state transitions.)

The definition of "declarative blockchain" introduces two key axes:

1. Does it leverage constraints?

2. Does it achieve state updates without the need for execution?