https://github.com/okm165/cairo1-cairo0bootloader
Cairo1 execution in Cairo0 environment
https://github.com/okm165/cairo1-cairo0bootloader
bootloader cairo0 cairo1 contract interoperability
Last synced: 4 months ago
JSON representation
Cairo1 execution in Cairo0 environment
- Host: GitHub
- URL: https://github.com/okm165/cairo1-cairo0bootloader
- Owner: Okm165
- License: apache-2.0
- Created: 2024-03-25T13:25:38.000Z (about 1 year ago)
- Default Branch: master
- Last Pushed: 2024-06-05T12:23:31.000Z (about 1 year ago)
- Last Synced: 2024-07-06T09:03:38.268Z (11 months ago)
- Topics: bootloader, cairo0, cairo1, contract, interoperability
- Language: Cairo
- Homepage:
- Size: 10.7 MB
- Stars: 6
- Watchers: 1
- Forks: 3
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
### Cairo1 -> Cairo0 Bootloader
[](https://github.com/Okm165/cairo1-cairo0bootloader/actions/workflows/run.yaml)
This project implements a modified Cairo0 bootloader to streamline the loading and execution of Cairo1 Sierra projects. This facilitates seamless interoperability between Cairo1 and Cairo0, enabling Cairo1 Scarb projects to operate within the Cairo0 bootloader environment.
## Getting Started
To set up the project environment and run the bootloader, follow these steps:
1. **Python Environment Setup**: It's recommended to install Python 3.9.0.
2. **Installation**: Execute `python install.py` to install dependencies and configure the project.
3. **Cairo1 Compilation**: Convert Cairo1 Scarb projects into the Sierra format by running `python compile.py`.
4. **Running the Bootloader**: Start the bootloader with `python run.py`, which will load and execute the compiled Cairo1 contract within the Cairo0 environment.
---
This example showcases merge of Cairo0 host provable environment and a Cairo1 developer frendly language:
```cairo
#[starknet::interface]
pub trait IHelloBootloader {
fn main(ref self: TContractState, input: Array) -> Array;
}
#[starknet::contract]
mod HelloBootloader {
#[derive(Drop, Serde)]
struct Input {
a: u32,
b: u32,
c: u32,
}
#[derive(Drop, Serde)]
struct Output {
a_2: u32,
b_2: u32,
c_2: u32,
}
#[storage]
struct Storage {}
#[abi(embed_v0)]
impl HelloBootloaderImpl of super::IHelloBootloader {
fn main(ref self: ContractState, input: Array) -> Array {
let mut input_span = input.span();
let input = Serde::::deserialize(ref input_span).unwrap();
let a_2 = input.a * input.a;
let b_2 = input.b * input.b;
let c_2 = input.c * input.c;
assert(a_2 + b_2 == c_2, 'invalid value');
let mut output = array![];
Output { a_2, b_2, c_2, }.serialize(ref output);
output
}
}
}
```
The Cairo0 bootloader's execution can be proven using a STARK prover like [stone-prover](https://github.com/starkware-libs/stone-prover).
## Work in Progress
Currently, the project supports the following builtins: `[output, range_check, pedersen, bitwise, poseidon]`. Expect further updates!