protocol-solidity
protocol-solidity copied to clipboard
[SPEC] Smart Contract Work for Delegatable Proof System
The user needs to sign the transact proof with the randomized secret key ($sk_{\alpha}). This signature needs to be verified on-chain.