Homonyms
soft3/tok/programming-model
programming model the value layer in one frame: two objects, one primitive. TSP-1 coins and TSP-2 cards are the objects; the cyberlink is the primitive that moves value between them. PLUMB defines the five operations on these objects; this page is the model they realize. two objects. one primitive.β¦
neural/trident/docs/explanation/programming-model
𧬠Trident Programming Model How programs interact with the outside world. Trident compiles to 20 VMs and 25 OSes -- each has a different programming model, but they all share the same universal foundation. 𧬠The Universal Primitive: `Field` Every zkVM computes over a finite field. `Field` is theβ¦