Giters

dionyziz / popow

Research and implementation for non-interactive blockchain proofs of proofs of work

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Give the domain for predicate Q

dionyziz opened this issue · comments

commented

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