search

dionyziz / popow

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

Give the domain for predicate Q #35

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

The domain for the predicate Q should be defined as the set of all blockchains.