No std support for Powdr #1

CeciliaZ030 · 2024-01-06T05:28:08Z

got rid of std from all zeth-lib and zeth-primitives dependencies
compiled to RICS-V with Powdr's command

let mut cmd = Command::new("cargo");
    cmd.env("RUSTFLAGS", "--emit=asm -g");

    let args = as_ref![
        OsStr;
        "+nightly-2023-01-03",
        "build",
        "--release",
        "-Z",
        "build-std=core,alloc",
        "--target",
        "riscv32imac-unknown-none-elf",
        "--lib",
        "--target-dir",
        target_dir,
        "--manifest-path",
        input_dir,
    ];

compile to asm
asm to PIL
verify success

How to run

set PILCOM to path https://github.com/0xPolygonHermez/pilcom
cargo run --package bin-powdr --bin bin-powdr --all-features

* Introduce op-info tool * Whitespace * Update host/Cargo.toml Co-authored-by: Wolfgang Welz <[email protected]> * Update Cargo.lock --------- Co-authored-by: Wolfgang Welz <[email protected]>

* upgrade dependencies * upgrade dependencies

* MPT cleanups * avoid clone when calling hash * fix clippy

* cleanup host crate * minor cleanups * fix trie creation * separate node maps * fix tests * fix proof generation * fix integration test * add documentation * inline public mpt methods * move mpt functions * fix verification of zero RPC accounts

…and non-Unicode sequences in filepath (taikoxyz#65) * fix: use PathBuf and Path for compatibility * fix: use PathBuf as cache path type

* Update and fix CI * fix cargo-install version * try without cache * Revert "try without cache" This reverts commit d91547ab1697989050cfdfce35229e8899b0b27f. * add GITHUB_TOKEN * review suggestions * make version env

* transactions module * TxEssence trait * Generic Transaction struct * tx essence as a generic parameter * OptimismTxEssence * op chain spec * OpTxExecStrategy * redundant block builder type params * strategy bundles * host binary parameters * profiling flag * optimism * new derivation binary skeleton, copy over libs * providers and conversion utils * epoch transitioning * basic derive flow * host-side derivation * read metadata from op head * op-derive guest * disable guest memory leaks * heapless batch derivation * Add missing import * Remove heapless BinaryHeap * Remove heapless * Introduce op-derive tool * Remove ethers types from BatcherDb trait * Verify new op block has correct transaction list * Move derive logic into library * Fix bug in transaction trie reconstruction * Introduce get_op_header() to BatcherDb * Clippy warning * Default Serde value for FileProvider::receipts * Disable bloom filter checks * Clippy * Clippy * Fix parsing of from and to fields for deposits * Reintroduce filtering by log bloom * fmt * Add support for local exec to op-derive * Enforce block_number is correct in MemDb * Split derive() into multiple functions * Remove redundant check for batch parent hash * Remove redundant copy of system config * Remove redundant block number check * Cleanup * Remove redundant vector of eth blocks * Add base_fee_per_gas to Epoch * Store deposits in Epoch * Add Eth tail to DeriveOutput * Cleanup * Move deque_next_epoch_if_none to State * Move eth block processing to Batches * Reorg and cleanup * More cleanup * run cargo fmt --all * fix clippy warnings * remove unused imports * format guest code * add op-derive cmd test * add cmd tests * cleanup optimism/mod * Rename command line args * Fix test arguments * Rename config field to max_channel_bank_size * Enforce decompression limit of MAX_RLP_BYTES_PER_CHANNEL * Use constant OPTIMISM_DEPOSITED_TX_TYPE when checking batch validity * Import from std instead of alloc/core * Re-enable core::mem::forget() optimization * Replace asserts with ensures; enforce absence of receipts for Op blocks * Simplfy iteration through derived transactions * Add Bonsai support to op-derive. Also add Bonsai session status to output when polling * More println * Rework Batcher initialization * More logging * More log output if Bonsai workflow fails --------- Co-authored-by: Rami Khalil <[email protected]> Co-authored-by: Wolfgang Welz <[email protected]>

* cleanup frame parsing * fix frame loading * move byte wrapping into RLP encoding * improve documentation * fmt * use an actual Batch for the tests * log batcher transaction * add unit tests

* fix channel bank * channel_index is not mut

…"__runtime_start"

add powdr riscv rt

CeciliaZ030 · 2024-01-27T19:10:00Z

To test riscv32 build:

cargo +nightly-2023-01-03 build --release -Z build-std=core,alloc --target riscv32imac-unknown-none-elf --lib

use new powdr API

intoverflow and others added 24 commits October 19, 2023 13:35

Enable RPC retries (taikoxyz#42)

ddb349b

fix: extra data can equal to MAX_EXTRA_DATA_BYTES (taikoxyz#43)

4db793c

fix clippy (taikoxyz#45)

2f12782

Introduce op-info tool (taikoxyz#48)

69402de

* Introduce op-info tool * Whitespace * Update host/Cargo.toml Co-authored-by: Wolfgang Welz <[email protected]> * Update Cargo.lock --------- Co-authored-by: Wolfgang Welz <[email protected]>

upgrade risc0 to v0.19 (taikoxyz#50)

eed232b

chore(deps): bump risc0 to v0.19.1 (taikoxyz#54)

2dc0bc6

* upgrade dependencies * upgrade dependencies

cleanup transaction code (taikoxyz#53)

2290e8b

Reintroduce data() on TxEssence (taikoxyz#57)

71135b7

chore: MPT cleanups (taikoxyz#56)

59c23fd

* MPT cleanups * avoid clone when calling hash * fix clippy

fix: clippy complain (taikoxyz#64)

ee88f6d

fix: use PathBuf instead of String to compatible different platforms …

c24c7b8

…and non-Unicode sequences in filepath (taikoxyz#65) * fix: use PathBuf and Path for compatibility * fix: use PathBuf as cache path type

Update CI (taikoxyz#60)

916f8c5

* Update and fix CI * fix cargo-install version * try without cache * Revert "try without cache" This reverts commit d91547ab1697989050cfdfce35229e8899b0b27f. * add GITHUB_TOKEN * review suggestions * make version env

Fix frame parsing and loading in Optimism derivation (taikoxyz#68)

0b2efed

* cleanup frame parsing * fix frame loading * move byte wrapping into RLP encoding * improve documentation * fmt * use an actual Batch for the tests * log batcher transaction * add unit tests

Fix channel bank handling in Optimism derivation (taikoxyz#71)

fbe4255

* fix channel bank * channel_index is not mut

no-std in premitives

f8f0af9

lib host

4653ca6

remove op

a7c515c

remove host

64044a0

hack in powdr

513f284

fix path

9c9015a

fix versioning

81b85d9

building from guest_powdr, bug: reachability issue from risc-v label …

591150f

…"__runtime_start"

CeciliaZ030 mentioned this pull request Jan 6, 2024

Run Taiko Client on Powdr powdr-labs/powdr#850

Open

5 tasks

Leo Alt and others added 5 commits January 6, 2024 17:34

add powdr riscv rt

2a29f08

Merge pull request #2 from leonardoalt/no-std

5558747

add powdr riscv rt

verify_pipeline

a200382

test

149f13d

guest-powdr-std for syncing taiko

f4c11cd

CeciliaZ030 force-pushed the no-std branch from d3d28c8 to f4c11cd Compare January 15, 2024 13:21

CeciliaZ030 added 4 commits January 16, 2024 01:57

compilation ready

cc50f2f

workspace = true

dabf226

fix guest-powdr-std

064e993

note

7d5911f

CeciliaZ030 force-pushed the no-std branch from 7dcdd47 to 7d5911f Compare January 19, 2024 13:48

use new powdr API

56ffff5

Merge pull request #5 from leonardoalt/no-std-leo

261ba54

use new powdr API

CeciliaZ030 mentioned this pull request Feb 18, 2024

[WIP] Multi-guest with refactored Raiko #6

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

No std support for Powdr #1

No std support for Powdr #1

CeciliaZ030 commented Jan 6, 2024 •

edited

Loading

CeciliaZ030 commented Jan 27, 2024 •

edited

Loading

No std support for Powdr #1

Are you sure you want to change the base?

No std support for Powdr #1

Conversation

CeciliaZ030 commented Jan 6, 2024 • edited Loading

How to run

CeciliaZ030 commented Jan 27, 2024 • edited Loading

CeciliaZ030 commented Jan 6, 2024 •

edited

Loading

CeciliaZ030 commented Jan 27, 2024 •

edited

Loading