iluxonchik / recursive-zkSNARKs-calculator

An implementation of calculator using recursive zkSNARKs. This is an accopanying resource my blog post titled "Recursive zkSNARK Proof as a Private Input - What Is Visible?". You can find it at https://illya.sh/blog/

Home Page:https://illya.sh/blog/posts/zk-snarks-recursive-proof-private-intput-visibility/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Calculator Implemented Using Recursive zkSNARKs

Recurive zkSNARKs Calculator Application

This repository contains a recursive implementation of a calculator using recusrsive zkSNARKs. This Zero-Knowledge Application is implemented using O1JS, which is the Zero-Knowledge circuit framework used to develop applications on the Mina Blockchain.

This is an accopanying resource my blog post titled "Recursive zkSNARK Proof as a Private Input - What Is Visible?". The blog post can be found at > illya.sh/blog/recursive-zksnark-proof-as-a-private-input-what-is-visible.

How to build

npm run build

How to run

node run build/Calculator.ts

License

Apache-2.0

About

An implementation of calculator using recursive zkSNARKs. This is an accopanying resource my blog post titled "Recursive zkSNARK Proof as a Private Input - What Is Visible?". You can find it at https://illya.sh/blog/

https://illya.sh/blog/posts/zk-snarks-recursive-proof-private-intput-visibility/

License:Apache License 2.0


Languages

Language:TypeScript 61.7%Language:JavaScript 38.3%