📢 @ShentuChain v2.17のOpenMathはRocq証明とリーン証明の報酬を分割し、オンチェーンの数学的検証👇に対するインセンティブを強化しています