logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-05 23:33:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
plonky2/evm/Cargo.toml

43 lines
848 B
TOML
Raw Normal View History

Start of multi-table STARKs
2022-05-04 20:57:07 +02:00
[package]
Rename starky2 -> evm (#547)
2022-05-18 10:32:14 -07:00
name = "plonky2_evm"
description = "Implementation of STARKs for the Ethereum Virtual Machine"
Start of multi-table STARKs
2022-05-04 20:57:07 +02:00
version = "0.1.0"
edition = "2021"
[dependencies]
plonky2 = { path = "../plonky2" }
plonky2_util = { path = "../util" }
anyhow = "1.0.40"
env_logger = "0.9.0"
Parse and assemble kernel functions (#567) * Parse and assemble kernel functions Written in "EVM++" assembly. Later on we will add some priviledged opcodes (in unused opcode ordinals), making it an extension of EVM bytecode. I don't think there's much of a standard for EVM assembly, but I loosely based the syntax on this [proposal](https://gist.github.com/axic/17ddbbce4738ccf4040d30cbb5de484e). * PR feedback * tweaks for consistency * terminology tweaks * Update evm/src/cpu/kernel/opcodes.rs Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org> * Update evm/src/cpu/kernel/opcodes.rs Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org> * Update evm/src/cpu/kernel/opcodes.rs Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org> Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org>
2022-06-20 20:32:29 -07:00
ethereum-types = "0.13.1"
Util for assembling EVM code to hex (#586) This is just for debugging the kernel. It's fully disposable.
2022-06-27 18:08:03 -07:00
hex = { version = "0.4.3", optional = true }
Minor
2022-07-20 00:10:52 -07:00
hex-literal = "0.3.4"
Fix EVM dependency list (#576)
2022-06-23 18:33:34 -07:00
itertools = "0.10.3"
Start of multi-table STARKs
2022-05-04 20:57:07 +02:00
log = "0.4.14"
Continue work on bootstrapping The kernel is hashed using a Keccak based sponge for now. We could switch to Poseidon later if our kernel grows too large. Note that we use simple zero-padding (pad0*) instead of the standard pad10* rule. It's simpler, and we don't care that the prover can add extra 0s at the end of the code. The program counter can never reach those bytes, and even if it could, they'd be 0 anyway given the EVM's zero-initialization rule. In one CPU row, we can do a whole Keccak hash (via the CTL), absorbing 136 bytes. But we can't actually bootstrap that many bytes of kernel code in one row, because we're also limited by memory bandwidth. Currently we can write 4 bytes of the kernel to memory in one row. So we treat the `keccak_input_limbs` columns as a buffer. We gradually fill up this buffer, 4 bytes (one `u32` word) at a time. Every `136 / 4 = 34` rows, the buffer will be full, so at that point we activate the Keccak CTL to absorb the buffer.
2022-07-14 11:31:47 -07:00
once_cell = "1.13.0"
Parse and assemble kernel functions (#567) * Parse and assemble kernel functions Written in "EVM++" assembly. Later on we will add some priviledged opcodes (in unused opcode ordinals), making it an extension of EVM bytecode. I don't think there's much of a standard for EVM assembly, but I loosely based the syntax on this [proposal](https://gist.github.com/axic/17ddbbce4738ccf4040d30cbb5de484e). * PR feedback * tweaks for consistency * terminology tweaks * Update evm/src/cpu/kernel/opcodes.rs Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org> * Update evm/src/cpu/kernel/opcodes.rs Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org> * Update evm/src/cpu/kernel/opcodes.rs Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org> Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org>
2022-06-20 20:32:29 -07:00
pest = "2.1.3"
pest_derive = "2.1.0"
use maybe_rayon in starky and evm
2022-07-24 17:47:14 -04:00
maybe_rayon = { path = "../maybe_rayon" }
Add mock test (doesn't work)
2022-05-12 20:38:11 +02:00
rand = "0.8.5"
included everything
2022-05-26 08:22:23 -07:00
rand_chacha = "0.3.1"
Add test (won't work for a while, but to illustrate)
2022-07-04 18:10:03 -07:00
rlp = "0.5.1"
Passing tests
2022-07-14 14:26:01 +02:00
keccak-hash = "0.9.0"
Fix
2022-08-24 16:06:50 -07:00
tiny-keccak = "2.0.2"
Util for assembling EVM code to hex (#586) This is just for debugging the kernel. It's fully disposable.
2022-06-27 18:08:03 -07:00
Add test (won't work for a while, but to illustrate)
2022-07-04 18:10:03 -07:00
[dev-dependencies]
For permutations, find the optimal sequence of swaps Using a method Angus described. This is mainly his idea and code, I just ported it to Rust.
2022-08-04 17:14:07 -05:00
criterion = "0.3.5"
Passing tests
2022-07-14 14:26:01 +02:00
hex = "0.4.3"
Add test (won't work for a while, but to illustrate)
2022-07-04 18:10:03 -07:00
Util for assembling EVM code to hex (#586) This is just for debugging the kernel. It's fully disposable.
2022-06-27 18:08:03 -07:00
[features]
use maybe_rayon in starky and evm
2022-07-24 17:47:14 -04:00
default = ["parallel"]
Util for assembling EVM code to hex (#586) This is just for debugging the kernel. It's fully disposable.
2022-06-27 18:08:03 -07:00
asmtools = ["hex"]
use maybe_rayon in starky and evm
2022-07-24 17:47:14 -04:00
parallel = ["maybe_rayon/parallel"]
Util for assembling EVM code to hex (#586) This is just for debugging the kernel. It's fully disposable.
2022-06-27 18:08:03 -07:00
[[bin]]
name = "assemble"
required-features = ["asmtools"]
For permutations, find the optimal sequence of swaps Using a method Angus described. This is mainly his idea and code, I just ported it to Rust.
2022-08-04 17:14:07 -05:00
[[bench]]
name = "stack_manipulation"
harness = false
Reference in New Issue Copy Permalink