Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Provably build derived op blocks #78

Merged
merged 24 commits into from
Feb 5, 2024
Merged
Show file tree
Hide file tree
Changes from 20 commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
dc98f83
build after derive
hashcashier Jan 19, 2024
b77f900
Merge branch 'rkhalil/tidy-host' of github.com:risc0/zeth into rkhali…
hashcashier Jan 19, 2024
bdf939f
missing cache files for test
hashcashier Jan 19, 2024
cbc65a1
Merge branch 'rkhalil/tidy-host' of github.com:risc0/zeth into rkhali…
hashcashier Jan 23, 2024
7069754
rlp decoding transactions
hashcashier Jan 23, 2024
e96c68f
provably bad blocks
hashcashier Jan 24, 2024
f3cb39e
build on derive
hashcashier Jan 24, 2024
8a7c1f6
derivation test fix
hashcashier Jan 24, 2024
eda3d11
support erroneous preflights
hashcashier Jan 25, 2024
bc125d3
host: derive with receipts
hashcashier Jan 25, 2024
1665e74
fix op head
hashcashier Jan 25, 2024
3ef9e55
verification nit
hashcashier Jan 26, 2024
b3b6b38
patch blocking code
hashcashier Jan 29, 2024
bf4cb50
Merge branch 'rkhalil/tidy-host' of github.com:risc0/zeth into rkhali…
hashcashier Jan 30, 2024
148a089
cargo locks
hashcashier Jan 30, 2024
1bb1942
Merge branch 'rkhalil/tidy-host' of github.com:risc0/zeth into rkhali…
hashcashier Feb 2, 2024
9fa10e9
refactor rlp & comments
hashcashier Feb 2, 2024
763c20f
fix transaction RLP decoding
Wollac Feb 4, 2024
a91897f
adapt to changes
Wollac Feb 4, 2024
dc1ef51
fix clippy warnings
Wollac Feb 4, 2024
d27f80b
feat: Composition via Bonsai (#79) feat: Deterministic builds with re…
hashcashier Feb 5, 2024
850e44b
state input hash on success, and with rlp instead of bincode
hashcashier Feb 5, 2024
6e93b09
fix tests
hashcashier Feb 5, 2024
2002bb6
panic to signal invalid block build inputs
hashcashier Feb 5, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
111 changes: 55 additions & 56 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 12 additions & 2 deletions guests/eth-block/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 9 additions & 4 deletions guests/eth-block/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,15 @@ pub fn main() {
// Read the input previous block and transaction data
let input = env::read();
// Build the resulting block
let (header, state) = EthereumStrategy::build_from(&ETH_MAINNET_CHAIN_SPEC, input)
let mut output = EthereumStrategy::build_from(&ETH_MAINNET_CHAIN_SPEC, input)
.expect("Failed to build the resulting block");
// Output the resulting block's hash to the journal
env::commit(&header.hash());
// Abridge successful construction results
if let Some(replaced_state) = output.replace_state_with_hash() {
// Leak memory, save cycles
core::mem::forget(replaced_state);
}
// Output the construction result
env::commit(&output);
// Leak memory, save cycles
core::mem::forget((header, state));
core::mem::forget(output);
}
Loading
Loading