Насколько я понимаю, свойство является вычислительным, если оно выполняется в вычислительно ограниченном контексте, поэтому для ЛЮБОГО вовлеченного объекта с вычислительной ограниченностью (даже если неограниченный может обнаружить, что свойство фактически отсутствует): например. любой вычислительно-ограниченный различитель, оценивающий две расшифровки для проверки CZK, или вычислительно-ограниченные средства доказательства аргумента.
Я предполагаю, что явно зафиксировать концепцию «любой вычислительно ограниченной сущности» в доказательстве непросто, поэтому я думаю, что именно по этой причине я встречал (по крайней мере, имея дело с ZKP) вычислительные свойства, доказанные путем сведения к вычислительно сложным задачам, например, сопротивление второму прообразу хэшей или DLP (потому что их сложность зависит от того, что ВСЕ объекты ограничены в вычислительном отношении, поэтому, если мы докажем, что их сложность подразумевает наше свойство, мы выиграем)
Интересно, есть ли примеры вычислительных свойств, доказанных с помощью различных стратегий; и если доказательство путем сведения к сложным задачам не является каким-то «слабым» доказательством, поскольку оно основано на допущении о стойкости, не гарантирующем, что оно будет длиться вечно, даже если оно будет определенно принято (я понимаю, что вся криптография — это огромная вычислительная ложь ;-), но, скажем, моя сомнения теоретически предвзяты)
