search

dionyziz / popow

Research and implementation for non-interactive blockchain proofs of proofs of work
49 stars 6 forks source link

Monotonicity required for Provability #37

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

Provability of predicates requires that they are monotonous. This can be mentioned as a remark when we introduce monotonicity and provability (or as a theorem?)