Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.

Bangjie Zhu Jiaqi Yin Sini Chen Huibiao Zhu

Published in: SAC (2024)

Keyphrases

revenue sharing
supply chain
signature verification
constraint satisfaction problems
contract net protocol
constraint propagation
signature scheme
neural network
learning algorithm
knowledge representation
constraint satisfaction
constraint programming
selection mechanism