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 relies on a common execution environment to achieve state transitions.)

The concept of a declarative blockchain introduces two key axes:

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