Robin Berjon @robinberjon · 24 Mar 2022 Replying to @dontcallmeDOM Yes, but it's also related to computational properties in the sense that it may not be obvious what relations exist.
Robin Berjon @robinberjon · 24 Mar 2022 Maybe I should dig into ZKP since that's information without links.