Using Petri-Nets to Construct Zero Knowledge Proofs

Posted by orksliver on Friday March 01, 2019 @09:32AM
from the gist.github.com dept.

https://gist.github.com/stackdump/d56ef906cb9a9e55724bb417f4039e13

( 2 comments | 4 points | on HN )

Re:Using Petri-Nets to Construct Zero Knowledge Proofs by orksliver on Thursday March 14, 2019 @09:47AM (#19389147)

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.

[ Parent | on HN ]

Re:Using Petri-Nets to Construct Zero Knowledge Proofs by orksliver on Wednesday March 20, 2019 @03:34PM (#19445962)

Added another example to the repo based on this work

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

[ Parent | on HN ]