Dynamic dispatch example

[mohammadfawaz]

Adds a dynamic dispatch example demonstrating two related Leo 4 features: interfaces and runtime program routing.

What's in the example

Three programs that together implement a pluggable governance voting system:

• voting_power.aleo — Declares the VotingStrategy interface and provides the linear implementation (1 token = 1 vote)
• quadratic_power.aleo — Implements the same interface with floor(√balance) voting power, reducing whale influence
• governance.aleo — Dispatch hub that accepts a strategy identifier at runtime and routes calls to whichever program the caller names, with no redeployment needed

Features showcased

• Interfaces as compile-time contracts — each program re-declares VotingStrategy and Leo verifies the signatures match
• Dynamic dispatch via VotingStrategy@(strategy)::compute_power(balance) — the identifier type resolves the target program at runtime
• Identifier literals ('voting_power', 'quadratic_power') for compile-time-known dispatch targets

How to run

run.sh handles the full flow: local execution of each strategy individually (no devnode needed), then deployment of all three programs and dynamic dispatch calls showing diverging outcomes under linear vs quadratic voting. Requires leo devnode running in a separate terminal.

🤖 Generated with Claude Code