🤖 JackRamp zkVM

JACKRAMP ZK

This project presents a proof of concept to scale P2P offramp transaction by use of a ZK-powered architecture

Version

There are 2 version of codes, only SP1 is working at the moment due to error to build reqwest lib in zkRust version

• SP1

• zkRust

Requirements

• Rust

• Aligned

Running the Project

There are 3 main ways to run this project: build a program, execute a program, generate a core proof.

Build the Program

To build the program, run the following command:

cd sp1_version/program
cargo prove build

This will generate ELF file sp1_version/program/elf/riscv32im-succinct-zkvm-elf

Execute the Program

To run the program without generating a proof:

cd sp1_version/script
cargo run --release -- --execute

This will execute the program and display the output.

Generate a Core Proof

To generate a core proof for your program:

cd sp1_version/script
cargo run --release -- --prove

Generate an EVM Proof

cd sp1_version/script
cargo run --release --bin evm -- --keystore-path <KEYSTORE_PATH> --jackramp-contract-address <JACKRAMP_CONTRACT_ADDR> --rpc-url https://ethereum-holesky-rpc.publicnode.com --network holesky

License

This project is licensed under the MIT license.

---

GitHub link: https://github.com/jackramp/jackramp-zk