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

WIP: Cont dev #210

Closed
wants to merge 28 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
cbb0f3c
feat: support continuation
junyu0312 Nov 14, 2023
b1a0d92
refine pre image table assignment
junyu0312 Nov 26, 2023
07c8724
refine post image table
junyu0312 Nov 26, 2023
5d79eda
review 1 fixed
junyu0312 Nov 27, 2023
2da075a
fix
junyu0312 Nov 27, 2023
f2fbe05
update comment
junyu0312 Dec 11, 2023
7530eb2
fix: use F instead of AssignedCell to avoid unwrap
junyu0312 Dec 11, 2023
64fda69
fix: fix termination state and imtable
junyu0312 Dec 11, 2023
2517cc2
fix etable assignment
junyu0312 Dec 12, 2023
dad3058
fix: fix constraints of etable
junyu0312 Dec 12, 2023
d3d0986
refine image table
junyu0312 Dec 12, 2023
3e234ba
refine image table
junyu0312 Dec 12, 2023
29c99b4
fix hardcode
junyu0312 Dec 13, 2023
06f99e4
add transpose for InitializationState
junyu0312 Dec 13, 2023
9febe19
chore: refine image table assignment
junyu0312 Dec 13, 2023
0a6b45d
fmt code
junyu0312 Dec 13, 2023
b54a506
set the number of frame table entry always 2
junyu0312 Dec 14, 2023
09b8638
fix code style
junyu0312 Dec 14, 2023
208b804
fix comment
junyu0312 Dec 14, 2023
6773632
add name for post image table col
junyu0312 Dec 14, 2023
d861066
fix image table assigner
junyu0312 Dec 14, 2023
1fd2066
fix circuit_without_witness
junyu0312 Dec 15, 2023
ce30af3
fix rlp_slice test
junyu0312 Dec 15, 2023
bdfbb8e
fix compiling error
junyu0312 Dec 15, 2023
418274f
fix code style
junyu0312 Dec 18, 2023
e884de6
fix: fix a bug of post image table
junyu0312 Dec 18, 2023
11a01cc
refine etable assignment
junyu0312 Dec 21, 2023
f933ea8
decrease the degree of post init memory lookup
junyu0312 Dec 22, 2023
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
Prev Previous commit
Next Next commit
fix rlp_slice test
  • Loading branch information
junyu0312 committed Dec 15, 2023

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
commit ce30af317b7a95910a58db3484293c66034fa5e5
1 change: 0 additions & 1 deletion crates/cli/src/exec.rs
Original file line number Diff line number Diff line change
@@ -2,7 +2,6 @@ use anyhow::Result;
use delphinus_zkwasm::circuits::TestCircuit;
use delphinus_zkwasm::loader::ExecutionArg;
use delphinus_zkwasm::loader::ZkWasmLoader;
use delphinus_zkwasm::runtime::host::host_env::HostEnv;
use halo2_proofs::arithmetic::BaseExt;
use halo2_proofs::pairing::bn256::Bn256;
use halo2_proofs::pairing::bn256::Fr;
8 changes: 3 additions & 5 deletions crates/zkwasm/src/test/test_rlp_slice.rs
Original file line number Diff line number Diff line change
@@ -169,12 +169,10 @@ fn test_slices() -> Result<()> {
while let Some(slice) = slices.next() {
println!("slice {}", index);

if index != 0 {
let circuit = slice.build_circuit();
let circuit = slice.build_circuit();

loader.mock_test(&circuit, &instances)?;
loader.bench_test(circuit, &instances);
}
loader.mock_test(&circuit, &instances)?;
loader.bench_test(circuit, &instances);

index += 1;
}