Zama fhEVM Interactive Demo

Model 5 Set-Off Simulator

Experience Bruno Ferreira's "testing2_pyomo_netting_brf" optimization algorithm. Simulate circular debt clearing across a supply chain without mobilizing cash reserves, conserving strict credit constraints.

1. Select Preset Network

Choose a pre-configured multi-party transaction matrix.

2. Transaction Details & Limits

Edit the outstanding invoices and bilateral credit caps (€).

Debtor (From) Creditor (To) Gross Invoice (€) Bilateral Limit (€) Creditor Shapley (€)

Participant Shapley Values (Marginal Contributions)

3. Optimization Variables

Constraints modeled from the Pyomo PyCbc solver stack.

Local (<100km, Penalty = 0.1) Continental (>900km, Penalty = 1.0)
Gross System Debt €30,000
Optimized Debt €6,000
Total Netting Savings €24,000
Extinction Efficiency 80.0%

Supply Network Topology Graph

Firm (NIF Node) Gross Invoice Netted Cleared Route
Hover or drag nodes. Thick paths indicate heavy capital flow. Netted paths reduce to zero in the set-off cycle.

Firm Balance Verification (Conservation Proof)

Verifying that every firm's net balance remains mathematically identical before and after optimization.

Firm (Node) Original Gross Balance Optimized Netted Balance Balance Delta Status