比较抽象的“能力”是无法直接zk-proof的,但涉及特定能力的题目一般是可以zk-proof的。
茴字的1970种写法:比较抽象的“能力”是可以直接TK-proof的。
发布时间: 2025-10-13 18:20(北京时间)
摘要: 作者对比了抽象能力与特定能力在零知识证明(zk-proof)上的可行性,指出前者难以直接证明而后者通常可以,并引入一个反例以质疑这种区分。整体语调冷静且具有逻辑思辨性。
标签: 零知识证明, 能力抽象, 逻辑对比, 思辨, 冷静
字数: 53
状态: note
比较抽象的“能力”是无法直接zk-proof的,但涉及特定能力的题目一般是可以zk-proof的。
茴字的1970种写法:比较抽象的“能力”是可以直接TK-proof的。