Using Petri-Nets to Construct Zero Knowledge Proofsgist.github.com 4 pointsorksliver7 years ago2 commentsSaveHideCopy link On HNComments−orksliverOP7yHelp 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.−orksliverOP7yAdded another example to the repo based on this workhttps://github.com/FactomProject/ptnet-zkp/blob/master/examp...
Comments
Help 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...