Using Petri-Nets to Construct Zero Knowledge Proofs
gist.github.comHelp Wanted: Still looking for feedback for this linked Gist.
It seems like this approach using a Linear Algebra Solver offers guaranteed privacy and security, but more results are needed to offer proof of this claim.
Added another example to the repo based on this work
https://github.com/FactomProject/ptnet-zkp/blob/master/examp...