Using Petri-Nets to Construct Zero Knowledge Proofs (gist.github.com) 4 points by orksliver 7y ago ↗ HN
[–] orksliver 7y ago ↗ 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. [–] orksliver 7y ago ↗ Added another example to the repo based on this workhttps://github.com/FactomProject/ptnet-zkp/blob/master/examp...
[–] orksliver 7y ago ↗ Added another example to the repo based on this workhttps://github.com/FactomProject/ptnet-zkp/blob/master/examp...
2 comments
[ 0.22 ms ] story [ 9.1 ms ] threadIt 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...