activity
20232026
most citedStatic Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2026

Staged Multi-step UTXO Workflows via Recursive Invariants

Shuyang Tang, Sherman S. M. Chow, Hongfei Fu +2

Stateless UTXO-style execution validates transactions from local and referenced data, supporting parallel validation and predictable serialized-size/weight accounting, but multi-st…