The zero knowledge proof generator of Nacho using o1js.
nacho-proof-generator
package is intended to be used for Nacho only as it is a naive implementation.
If you are using npm
:
npm install nacho-proof-generator
If you are using yarn
:
yarn add nacho-proof-generator
If you are using pnpm
:
pnpm add nacho-proof-generator
Nacho's zero knowledge proof generator is created using o1js's ZkProgram
.
This package also provides a function to create a state utility for tests.
-
The provable type for zk proofs generated by Nacho's proof generator.
-
-
Generates the initial proof.
-
mergeProofs(stateRoots, currentProof, laterProof)
:Generates a proof by merging given proofs.
-
Generates a proof by depositing a specific token for a user.
-
Generates a proof by burning token on a user's behalf.
-
Generates a proof by creating an AMM pool on a user's behalf.
-
Generates a proof by providing liquidity to an AMM pool on a user's behalf.
-
Generates a proof by removing liquidity from an AMM pool on a user's behalf.
-
Generates a proof by buying a token on a user's behalf.
-
Generates a proof by selling a token on a user's behalf.
-
-
Returns a state utility object for tests.
This project is licensed under the MIT License.
You may use the source code of this project accordingly.
I am Berzan and I am developing Nacho to express my skills in the real world.
I built this library to use inside Nacho.