0xpolygonzero / eth-tx-proof Goto Github PK
View Code? Open in Web Editor NEWProving historical Ethereum transactions using the Plonky2 zkEVM
License: Apache License 2.0
Proving historical Ethereum transactions using the Plonky2 zkEVM
License: Apache License 2.0
Currently this tool will fail on blocks that have less that 2
txns due to missing padding proof IR. This logic is already done and can be ported over from trace_decoder
with not much work.
using commit eace7cd9d1ff73d9a814fe24ec6fb55fc9f238ac
I built the code and generated a witness as described in the readme. I used transaction 0x1e903dba5031fccd94ade18c6903f325bb90f83240bb95f0152eb56fa2c6da07
from the sepolia testnet for witness generation. I ran the program as follows:
env RUST_MIN_STACK=33554432 \
ARITHMETIC_CIRCUIT_SIZE="15..28" \
BYTE_PACKING_CIRCUIT_SIZE="9..28" \
CPU_CIRCUIT_SIZE="12..28" \
KECCAK_CIRCUIT_SIZE="14..28" \
KECCAK_SPONGE_CIRCUIT_SIZE="9..28" \
LOGIC_CIRCUIT_SIZE="12..28" \
MEMORY_CIRCUIT_SIZE="17..30" \
target/release/leader prove \
--runtime in-memory \
--num-workers 1 \
--input-witness ~/0x1e903dba5031fccd94ade18c6903f325bb90f83240bb95f0152eb56fa2c6da07.json
After generate_txn_proof
there's a kernel panic and the stack trace gives me no clue as to what failed.
Receiving the error: error[E0635]: unknown feature `stdsimd' when trying to run:
env RUSTFLAGS='-C target-cpu=native' cargo build --release
error[E0635]: unknown feature stdsimd
--> /Users/drew/.cargo/registry/src/index.crates.io-6f17d22bba15001f/ahash-0.8.6/src/lib.rs:99:42
|
99 | #![cfg_attr(feature = "stdsimd", feature(stdsimd))]
| ^^^^^^^
For more information about this error, try rustc --explain E0635
.
error: could not compile ahash
(lib) due to 1 previous error
warning: build failed, waiting for other jobs to finish...
Using tx 0x499cca27e8c141c1ff39cfdfa72ffb89b039290fec0b4ed7cca38e19dabc9371
to generate a witness errors with the following message:
Error: Deserialization Error: invalid type: null, expected a sequence at line 1 column 7824. Response: {"address":"0x01bd2da640345f1c29831b7cef9a434298408172","accountProof":["0xf90211a03230fb1c43bd74a8f5c52dfd00356e8bf0334cc75ffbfc61ed5d22af4d23a121a01a117f8b599b2f6516de57c5d51e2f1ba1f485dae779626003c2a6ae514f9d73a07593289cb9800a91880c558e78188db5c2be22bbcc68b1a72ce9fd7f722725e1a026d1c9f8226b2c57d33c5857ce4f1973c2141d80f3a231d5d6ccef56a47eb8bda0a6309e304bbd874993fd7b61aaa3fdd9eac74f6e27c50585bc7fc2baaa9932baa0ce1cb11f644518e6b2d881b255fe65708511d49086854f93a2b6dff4d9b42a4da094f9a2549d1526e210d0c41cea559acfec6f10b8eb5e648956d3e6c814f81ca4a05f1335920ba79cfd35538223c82947c21eb8c2c831e3c26052f9ec6343aa156fa08352d5289a98b606c718ac4059b252cbb3046111fb49d89f0548290751765dbda0aa229152f8438c752d7d91a6796b7fb5ffc842dda9666b16cf694da21db82932a07a8091e00f3774eb42f2d534b95ef3bb4688953a90538ca360b4c0955b9709b9a0ed558a65bd70ff1f0ae6e7cb0dd91f68544889cde3b8cac9a5e75d9624df35dfa04e82d09f779b8145be6b4348c40e90d5ad40399104a8e3054e4018e0e87b34d5a0b92c7664f09fa5cd838b7b24f4d1de960174fa6de8c619249917d66e692a5b4fa023555a53e3c2e626fd4c8c1fea0cccf3b65540b95a9ff5082b29b96738b835cfa02ad744812abd29149cf7d364e63cc61cb4f097618c5f22dacfa910456b875e4f80","0xf90211a014222368eb178bbb975198a08e8ef9aaaab7bf684b34bb0858d7e1002cf64fe0a0b18ca468547cc7d74576c896746683055d0f37dab88f841e2af990d0590ff70aa02f88fc8831ea132c1f889801c3696f36cddccc0c387dcb6c471e85d3dad538b0a0980eae833a8f185f22c7a20e1062fb1f65d2b820a154e765c45b0f65aec1f050a0230fe38b95e15653ab98673f23e22e7559ccd45aec073a6600bf2b337880e611a0a5a3acc75227f5aadc235000eb2b306d892edb310a4f381dddbe404787c006caa0306e6fbbbe8630b1defa937b1b0832a8c43dc22aa4fabd89f1c66476024e0251a0288705e8b380a6d29d439c9b306f7e4cd8d94992c0f5ba03a585757af590b106a0091b1551c71f0b30cbf542fd71c0f30af5108d9431109bc960ff276fc0ba6531a0875a3925497b3bea4f1110b87a6873876ebd2bf0f4bc568327f6e247110a5170a040b09422eeda58367a84010a950fb25531d82766874a8a05a490e33cdc0da7eaa079aff4d15218d0d3411b1953c8179c72bb1c95770d32b3fa246546d56f6c7ffaa03e633a77ee8e8e78993732f92fe5d5aa51eae45c39c5db9bbee675a872dbcd85a01fadc7f942321825cc3caf9cc268596918c3798826f7a13509259294f7a1ad8ca0159710629d3192c5b23e9aedbdcdce49c3c4b3be514c23000e70253e4e2d93bea04dbefaedc2de9f9b38c779ba7a7018d7a57f96cfc84db57852301d96a672613380","0xf90211a022e41cb5ae58f0ba305e99870c47bd7a3e9969a68609e90adeb6aba0c5b08a30a020c9cc9858a15de7cf7b64a1cfd97d224b3c67ae4c8221e6979b542d36a38a5ca0dea1140589baf6cb7e6024192e4edbfeffde27e38006e3a14a2d58c3e04e4585a074d2225e33811ba21c1df2a36c8143b65d6e8f1a7c3134b40c98d4f6bad15edfa05e6407e62c890ae72411b9d4b626c1d4c4aa15bc7766af51e5ff804fdfa74630a0f8feeb63f4eb57ed32a4c12ffc963ba62d53df435f2ce81f8491133d0b2fb60aa030ce6ee91889164ca19321a273602a6216ec0de70775ccead38400b44980500ea01116e7d7431695a5f746d5dd06425be1cd60d574a57dbe2be4340313ff3f3eb5a0aa4a54742e3617409e12948b637d1fec72d87adb1acead29d9e8cf80f9bb426ca02f8faddfc8932f6315edea0b13774eeaf1fb5621e3928823519c21e185f9e4f3a02712a68c67c2129621d3cc93e8c0a3b87388d0ccdda4e706e684220593fb37e8a0b22b94eae305e39e2bd65a93100d321537cff481d5a664a334c2eb4b0cac7bada07a3e8c4de5070031247af50927cb1c441ef161a2f9cd0c1e040d5c8c629f77bea05c65ef2c50564efffd5e9dffaca7cee6b49e0c890e42bc7aef43a4f9495f330ca013dd1a6188362f08862894a960332c399ab44a38e915b76419c38df28103fddfa0103d16272f9293884d80a30a68b0d0bd8d4abb1ee4901b0cf95d04268d438c2380","0xf90211a0a2392485bf10645b5f6c088c2dc261dbf7bd0898f0bdb83c3e6d9da267d3c181a0c94d798dac834e55c751c1689bc582eaad07bb27e6ab3e5f64f5a48764cd9c0ca03aca9e035be454047456cc09dbd332f7d9b2cddd99dc26d86731ab39ab80d0c7a0361017fcb7ee5f5f835a9b71cb4bfe0b4f5f8fea5ceed3ee6e37ddfa292eb0b9a08248c7233aacd8451b936be9110efd7f13bb347b5a5dd10749248eb41a828d04a0464bebafaab0dcccb3689fc8b13c208b507d1dadcff9644de9b50d76d6dd0a92a0bb162835e7fdce9ad271b5220bf6986cd612da3b829a9617da1977ed96eea53ca0415c7d6b5cd78467ac3d2b9ce73dcde6c729c5ee74fdb2a9e92f5ee5a8bbcf76a0d940402268f0e760130ed3294ddb4f8045e2d5167d6d7a7b5a3ecbf01116805da02a352b0283ba72213ecc03afe82991598219f3a629aa799498e539258480b2aba0833db04d1203077243d8b829e5203f14cbdd718c0ee3cc4b20ad4c07a6bf9a9ca0ab533379a2d2e66e94a84286046dd691e04e7efb9776786eb659343e11cb8e28a09b0b6962e8ba14e3cfb4fc8eb4ff8086389e8b51f4868cc4c2d6fc0da8984a90a08c91e283d2a80fd2fe064a9379a22038f270c90f9fbfc95b7bff40b25a6e07aaa0ee5b5d75c7ed075e82dcfe03ae4a1407150f3095a75bf97e537d8ec0c9ae2dd8a03ac57f4927d846c9b5a47165a6e2495bf4407f48b18dec8d62ce219264ccd5f280","0xf90211a0b34d6b1ca2724a13555077a23b27962fc3ca4c7ad400e6c94bc95f4214f31679a028650dad0f6d1247a3f57051c780c9d89ab3e537510020f9b1d490d010d05c07a0863619786051dbfd8e12ccc0da107c485f17fa0c12c6c5e00c6a00c9428dec3ea05d2a0eba3549a18df907ca74dc0186ae049554984656516e2f04742ce606f8dba0ca20c1039ac17b9cce52fbc636a240984d3388a25d5877c0371a7f51dfb50f0da0e687b867bc1d6c468dc1c9765730d8c20de9584403f90fe204973b57d0fd1ccda06a153ffd20b039c28b86abeb1611c4db1eedced2f53d47352f4596883d1b488da091106755843fc30670b9c6e9e85ef3bda2c5ff5a7359b998a106a5de4bda37f9a0058d3f97d58a3672645576f277eae37e3807e681984a4c00c5b994284d6fc568a0c9bb1a26e5e062f133f8f50189315b67d3bab2412fe9f2f71cdb9f58abb0834aa0b33790120b0b24f4902ac0b7b32fdc2f1b6896b38d25938f2b76eaa44659f7b0a0ec80d3eba919f50b079af51743ec565843b44056fff1e0da725625ca824a8ca3a071721e44f6d883f8218d60af08a31bb096789415cb55a4e530d6daf8c52659f9a04ff8e28868cad601e6202e8f79ecb1829f409006fe20dbd9c14f8217942f9996a059a044755ad0c741b2cc51ce7d20d403a6ff522aeebdd3ed22955bdcb928c702a04568361145d139a643cd555763f2078c4d1d490bd211ce26289cab9d5d848f8080","0xf90211a020d3b02ac2d4a34b99724fd0b5be4558896b595766c203e4d5add19774a4eb30a0a3cb276c62f351babba72b91c2cec0c660bd17b895016489e8c7642ca8eb43c6a01b35bfc2e406d5229b07d8f227169c2653ba1b1c52a3fddd4bb36bfa9f84f6f2a07b2a26fa212ea1b7e4fe26b5f56ce46b7b0b2b3671aea947f1f6c8aa55d5f005a0a89f003d0d4636e7fb96b2845bf4752bd7070b72e3a7a312b6f60bf1045a680ea01271bca5b5a684ff1a63aeb3a947dcff81119c3d7c4d16c0cde343b63c8dabb1a053e1717647c9dbe902919d807e412066a1f8e6ca6ea12129f92ea21a4afbffbda095982e998a7d9ff80e273756bab43af2a9ba797374185a3970ce14bdeeb87eeaa0643785a1742b166aa21b9bc2547d56e7ef4f53da9ae6d4b45d0365075a950062a02df69e850b57b71df119e309bc39dda06eb2bf67002a256326f4ce59b088cc73a092f39440bf4f7830ef93374d21c5a5a6f1ca1330e554cbc11eef658f275fc5daa063fc4e8b41e055db1310a19466bfbd650d156d18613d54cd1a6c75126d3a4fb4a0b0589e0c49f2c8b680441227ccd2c7862bb9c448daffcd687541ee2a8887d85fa04cb5c60950b257e3134b8e99b9be5d3ad1a3a6fde228b2dba5fb8811a4009432a09f7c21d9d74891322b9e11d217b775c8fbcdb4186275949ff987967775c12697a0b6e0c84fb0d5a1526fef1f23342dfe88e47b3eb54c6307a9532ca3eaa061cc5680","0xf90191a022e6c4207dd12d92f54dbb19d37d60f8e4fdeb07d58990dcda1b83bd020ba4b3a0441d61ba9ebc746464f8026f144a3a5c202a754d8e4b13d5c352afa9dd7ee6c780a00a9505282c72324991432d3d394d0fb86387a7bdf42f020aeadd611a4e91ea96a02bcf10ecd0d003a2a23c8197d38720f1b29f992610da8579a8880148d203e18580a0ed32983e55d771f6d13342f6e4ff66e5ce283e637f705fc13d006b794d37f74fa0d2d804fbd3501e4dbe8af1ed93e1a77575c7f1c051f8a395ab587819eb1ef002a0558e8ee644f3c7fe727f18c304f491dbdff222efe41601b5495327383a874e6da09b3dfc4af7e1813241fd9ef7cab0d224a5d1b6f1180db551989e0c992b704e8aa00d4e4ad7463383e22acdf57d06fac82026535dc4335674512e927ff03ccafddaa095094d04176bb25d499cfc723cfbb815815221f978fe0711c6b636b6736941faa01b31db40d28ad62733114dfdc3cc0071349f6f13a99d154e61395bb74de61e338080a04cd265f45dadbb7d1295b144b22dc10e01590a5176dc48a45fe1c3e332d9831480","0xf8669d34123ba22ddec1ce3ea0b249de68fb1040a96132b89bc2ed35e6497fc3b846f8440180a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c714ee0fbde639fc7cc901ccd7f844c77c44cfe5c9ac9e9eb9cc4a7cd6c1856d"],"balance":"0x0","codeHash":"0xc714ee0fbde639fc7cc901ccd7f844c77c44cfe5c9ac9e9eb9cc4a7cd6c1856d","nonce":"0x1","storageHash":"0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421","storageProof":[{"key":"0x0000000000000000000000000000000000000000000000000000000000000000","value":"0x0","proof":null}]}
leader rpc -u $RPC_URL -t 0x499cca27e8c141c1ff39cfdfa72ffb89b039290fec0b4ed7cca38e19dabc9371 > 0x499cca27e8c141c1ff39cfdfa72ffb89b039290fec0b4ed7cca38e19dabc9371.json
"ethereumDetails": {
"network": "MAINNET",
"nodeType": "ARCHIVE",
"executionClient": "ERIGON",
"consensusClient": "LIGHTHOUSE",
"apiEnableAdmin": true,
"apiEnableDebug": true,
}
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.