search

anoma / taiga

A framework for generalized shielded state transitions
https://anoma.net
GNU General Public License v3.0
144 stars 24 forks source link

rename the vp(validity predicate) as resource logic #264

Closed XuyangSong closed 3 months ago

XuyangSong commented 3 months ago

To align with the RM Specs, only updated the name in the code. The Taiga Spec/Docs are being rewritten and will be updated soon in separate PRs.