Update from Parano1d

Parano1d v2. From live value to live rights


The last update established that proof-native contracts could fit inside Parano1d. Since then, I have implemented and tested the contract system, built the wallet workflows and merged v2 into main. The ABI, production matrices, terminal proofs, resource limits and updated soundness accounting are now integrated.

https://git.parano1d.org/ignotusnemo/parano1d/pulls/40

V2 lets a live output commit to a program, its authorities and persistent counters. Every permitted change is checked inside the same recursive HistoryStep proof that carries State validity forward from genesis. Future nodes can authenticate the current contract state after old interaction bodies have been pruned. Participants keep the public terms and receipts they need.

That extends what the present can represent: a remaining spending allowance, a recovery right, a payment becoming due or a beneficiary's unclaimed tranche.

The bounded integer core supports checked arithmetic, conditions, inclusion height and persistent state. Six templates are implemented: payment with refund, timelocked vault, allowance wallet, period budget, recurring payment and gradual unlock. Custom programs use the same core and block matrices.

For example, an automated service can receive authority over a funded instance with a limit per payment and a total budget per period. Each call proves the updated balance and remaining allowance. Removing old payment bodies from node storage does not remove the validity of those limits. Scheduled payments still require an authorized transaction; a wallet or service submits it when due.

The GUI now has a complete contract workspace: create terms, fund an instance, share it, make calls, inspect rules and exchange receipts. CLI and RPC expose the same lifecycle for applications. Terms are created locally; funding and calls are network transactions.

I tested the full path between two wallets: creation, funding, transfer of terms, interaction, one party going offline, and recovery after old transaction bodies had been pruned. Importing verified updates preserves the wallet's own records. Fork testing also exercised reorgs, restarts and cold synchronization across the activation boundary.

The final v2 profile uses a 30-second target and two block classes: Small with 63 user pages and an optional Large with 206. Both support up to 63 contract calls and 504 live inputs. Calls and ordinary payments share the page budget. Complete block proofs have been exercised with the frozen production matrices.

Mainnet activation is set at block **210,537**, estimated for **October 10 at 11:59 PM PDT**. Height determines the switch. The next step is a small application using these rights and a recorded walkthrough on the activated mainnet before the hackathon closes.

Contract architecture https://lab.parano1d.org/research/parano1d-v2-live-rights/

GUI and API documentation https://docs.parano1d.org/contracts

Source https://git.parano1d.org/ignotusnemo/parano1d