@golang library for developing zk-SNARKs and fast cryptography

github.com/Consensys/gnark

1/ We are excited to announce the Maya CLI, an open source command line tool, to generate and verify zero-knowledge proof of image transformations. The ZK circuits are developed using @gnark, which is an open-source framework to design ZK circuits in go.

2/ Our tool supports proving and verifying various image transformations like cropping, 90/180/270° rotations, vertical/horizontal flips, and brightness adjustments, with support for both Groth16 and Plonk ZK backends. Check out our docs:

Building the authenticity layer of the Internet. Secured with Maya Protocol.

2/ Our tool supports proving and verifying various image transformations like cropping, 90/180/270° rotations, vertical/horizontal flips, and brightness adjustments, with support for both Groth16 and Plonk ZK backends. Check out our docs: https://docs.mayalabs.tech/cli/runmaya.html

3/ We also benchmark the performance of these transformations on Macbook Pro M1 with 10 cores & 16GB RAM as well as AWS EC2 R6i.8xlarge instance with 32 cores and 256GB RAM. Check performance results here:

4/ We would also like to compare the performance of our custom circuits for image transformations with general purpose zkVMs such as @RiscZero and @SP1. We would love to invite open-source contributors to join us:

4/ We would also like to compare the performance of our custom circuits for image transformations with general purpose zkVMs such as @RiscZero and @SP1. We would love to invite open-source contributors to join us: https://github.com/LabsMaya/maya-cli

5/ A big shout out to the @gnark team for their amazing golang ZK library.

#zk #golang #opensource #Ethereum

3/ We also benchmark the performance of these transformations on Macbook Pro M1 with 10 cores & 16GB RAM as well as AWS EC2 R6i.8xlarge instance with 32 cores and 256GB RAM. Check performance results here: https://docs.mayalabs.tech/perf/performance.html