Using Petri-Nets to Construct Zero Knowledge Proofs (opens in new tab)

(gist.github.com)

4 pointsorksliver7y ago2 comments

2 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.

orksliverOP7y ago

Added another example to the repo based on this work

https://github.com/FactomProject/ptnet-zkp/blob/master/examp...

j / k navigate · click thread line to collapse

2 comments

orksliverOP7y 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.

orksliverOP7y ago

Added another example to the repo based on this work

https://github.com/FactomProject/ptnet-zkp/blob/master/examp...

j / k navigate · click thread line to collapse