Using Petri-Nets to Construct Zero Knowledge Proofs(gist.github.com) |
Using Petri-Nets to Construct Zero Knowledge Proofs(gist.github.com) |
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.
https://github.com/FactomProject/ptnet-zkp/blob/master/examp...