Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

Circuit tools with refactored CellManager #96

Open
wants to merge 107 commits into
base: mpt-sync
Choose a base branch
from
Open

Circuit tools with refactored CellManager #96

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
107 commits
Select commit Hold shift + click to select a range
8aed587
fix a typo in comment (#1351)
smtmfft Apr 10, 2023
0e76d2b
Gather all test-related into test mod. (#1300)
SuccinctPaul Apr 10, 2023
4e5e78a
bus-mapping: more robust access parsing (#1311)
lispc Apr 11, 2023
fa320ea
Remove code duplication between returndatacopy and others (#1340)
xiaodino Apr 12, 2023
896cd94
Fix `redundant constraint in StateCircuit` (#1339)
thomaspanf Apr 13, 2023
b476ef4
feat/#1186 Unify restore_ctx and handle_return in bus_mapping (#1342)
KimiWu123 Apr 13, 2023
8f4f55c
disable optimization for solc compiling (#1341)
lightsing Apr 13, 2023
6b890d5
Bytecode soundness patch on last byte (#1333)
rrzhang139 Apr 14, 2023
c88d82d
Fix `ExecutionState::halts_in_exception` (#1299)
han0110 Apr 14, 2023
3aa36a2
create tx by mock crate (#1360)
vuvoth Apr 17, 2023
3429f83
Update geth dependency from v1.10.18 to v1.11.5 (#1363)
axic Apr 18, 2023
e55ba06
Implement circuit for `ErrorOutOfGasMemoryCopy` state (#1288)
silathdiir Apr 20, 2023
4e64bdb
[refactor] refactor and add more helper in Bytecode (#1365)
lightsing Apr 21, 2023
757d1ee
[chore] upgrade toolchain to nightly-2023-04-24 (#1373)
lightsing Apr 26, 2023
3902437
Deduplicate code between evm ConstraintBuilder and BaseConstraintBuil…
leolara Apr 26, 2023
e687615
[feat] add memory reconstruction for precompile (#1372)
lightsing Apr 27, 2023
ab6a91a
Add `SubCircuit::unusable_rows` and tests for each `SubCircuit` (#1282)
han0110 Apr 27, 2023
22dd263
Fix to handle successful run with Uint64 overflow for multiple opcode…
silathdiir Apr 28, 2023
e6096ca
state machine constraints & dev-graph plots
CeciliaZ030 Apr 28, 2023
77bc7e5
handle error depth (#1155)
lightsing Apr 28, 2023
4669a87
Add Byte Range Checks in `LtChip` (#1364)
enricobottazzi May 1, 2023
7abf752
circuit tools updated, still need to make mpt_circuit compatible
CeciliaZ030 May 3, 2023
16f4e16
use new circuit tools including CachecdRegion
CeciliaZ030 May 3, 2023
5b6c250
feat/ #1180 refactor gen_begin_tx_ops and gen_end_tx_ops (#1336)
KimiWu123 May 4, 2023
a04940c
updates, still needs to fix CM
CeciliaZ030 May 4, 2023
68e3d98
Prune tx struct fields and rm witness Call (#1378)
ChihChengLiang May 4, 2023
37b8aca
zellic-fix-1: fix typo in multiplied terms (#1389)
naure May 4, 2023
b8ae7af
Update halo2 dependency to v2023_04_20 (#1374)
ed255 May 4, 2023
82c7942
LookupTable
CeciliaZ030 May 5, 2023
a43f688
cargo fix
CeciliaZ030 May 5, 2023
6d0e84f
change to TableType, dynamically generate phase config according to L…
CeciliaZ030 May 6, 2023
4ee4a27
circuit tools & test:
CeciliaZ030 May 9, 2023
fbbe1bd
Simplify bytecode circuit assignment (#1397)
ChihChengLiang May 10, 2023
a807754
fix(testool): fix coinbase, solves #1160 (#1400)
adria0 May 10, 2023
14bd7c9
Use halo2 circuit-params feature (#1399)
ed255 May 11, 2023
32d81d9
trait ChallengeSet
CeciliaZ030 May 11, 2023
bfdf4d4
compiled ChallengeSet
CeciliaZ030 May 12, 2023
156f847
clippy
CeciliaZ030 May 12, 2023
0e1d230
Replace Witness.rs's ExecStep with CIP's (#1403)
ChihChengLiang May 12, 2023
d6923a9
example 1 phase error
CeciliaZ030 May 12, 2023
5dba7f7
Set keccak logs to debug level (#1405)
ChihChengLiang May 15, 2023
ead0b3d
Move stats to bin (#1407)
ChihChengLiang May 16, 2023
ef13927
Rm dead code except of zkevm circuits (#1408)
ChihChengLiang May 16, 2023
255a9bc
Add `rustdocflags` config for macos in `Makefile` (#1412)
han0110 May 16, 2023
d21952d
Retype Gas limit and nonce to u64 (#1409)
ChihChengLiang May 16, 2023
438bac5
Split table into files (#1402)
SuccinctPaul May 17, 2023
69cb8a9
Remove RwTableTag (#1406)
ChihChengLiang May 17, 2023
70d7da4
Fix infinite loop (#1421)
ed255 May 19, 2023
244fe70
updates
CeciliaZ030 May 19, 2023
43c67c9
Bug: fix to truncate offset from Word to Uint64 when length is zero f…
silathdiir May 20, 2023
bcfd2d5
refactor CellManager
CeciliaZ030 May 20, 2023
2c5f3c5
moved things around
CeciliaZ030 May 20, 2023
5508767
compiled in mpt
CeciliaZ030 May 23, 2023
c498841
Fix best_index for CM cell query
CeciliaZ030 May 23, 2023
626f4b9
Fix EXTCODECOPY with empty account (#1429)
ed255 May 23, 2023
dbe67c8
[CREATE Part A (updated)] Modification to Copy Circuit (#1419)
ed255 May 25, 2023
5e1d35e
Feat/CREATE Part B - Error cases that will be handled within opcode g…
KimiWu123 May 26, 2023
96d2e3c
Remove release drafter (#1436)
ChihChengLiang May 29, 2023
7bfe635
CachedRegion init & descrption
CeciliaZ030 May 30, 2023
bc1d2e1
CachedRegion included & debugged CM
CeciliaZ030 May 31, 2023
9488ddd
seperate dynamic lookup from static lookup
CeciliaZ030 May 31, 2023
73b2aeb
Remove keccak256 crate and migrate keccak plain to eth-types (#1440)
ChihChengLiang May 31, 2023
1ec2fe8
StoredExpression equality constraint failed, static lookup failed
CeciliaZ030 Jun 1, 2023
439a389
Sync MPT to main (#1444)
Brechtpd Jun 1, 2023
c95cd91
static lookup work!
CeciliaZ030 Jun 1, 2023
47b46f8
WIP fixes
Brechtpd Jun 1, 2023
092ab1f
Replace Gas, GasCost and ProgramCounter by u64. (#1448)
rrtoledo Jun 2, 2023
7715ef2
Add PiCircuit to integration tests (#1447)
ed255 Jun 2, 2023
de9f845
feat: add `shanghai` feature and make CI pass with Shanghai geth trac…
silathdiir Jun 2, 2023
7b77f9c
Fix RLC is_lt_128 (#1449)
naure Jun 2, 2023
f09702a
Most things work
Brechtpd Jun 2, 2023
64a0d81
State machine step constraints
Brechtpd Jun 3, 2023
80d97b9
Add ext key odd check
Brechtpd Jun 3, 2023
03f0f74
Better mocked randomness
Brechtpd Jun 3, 2023
5f8c754
Add RLP decoding lookups
Brechtpd Jun 4, 2023
40dc38e
simple switch between static and dynamic lookups
Brechtpd Jun 4, 2023
7346463
small improvements
Brechtpd Jun 4, 2023
53c8cdb
Merge branch 'main' into mpt2
Brechtpd Jun 5, 2023
f4f33a1
Merge branch 'main' into mpt2
Brechtpd Jun 5, 2023
76b69bd
Merge remote-tracking branch 'upstream/mpt2' into circuit-tools-wip
Brechtpd Jun 5, 2023
3a59b4c
misc cleanup
Brechtpd Jun 5, 2023
8ec4362
more cleanup
Brechtpd Jun 6, 2023
d3ed9ce
some more cleanup
Brechtpd Jun 7, 2023
71ff2c2
Do away with strings as lookup names
Brechtpd Jun 7, 2023
6dad45a
some more cleanup
Brechtpd Jun 8, 2023
4abbbe5
Working keccak input endianess change
Brechtpd Jun 16, 2023
101be36
enable fixed and split in dyanimic lookup
CeciliaZ030 Jun 17, 2023
709c923
is_fixed=true, is_combined=true, is_split still not working
CeciliaZ030 Jun 17, 2023
15b3794
remove use_dynamic_lookup
CeciliaZ030 Jun 17, 2023
d330654
rename to celltype_lookups
CeciliaZ030 Jun 17, 2023
4f7790e
is_split implemented from spliting at insertion time
CeciliaZ030 Jun 18, 2023
7e141c4
Enable keccak input challenge
Brechtpd Jun 26, 2023
0ebd57f
mult_inv & mult_diff_be
CeciliaZ030 Jun 28, 2023
51ef3f9
adds challenge
CeciliaZ030 Jun 28, 2023
502eb86
change some names
CeciliaZ030 Jun 28, 2023
4fdd8e7
clean up
CeciliaZ030 Jun 28, 2023
0fe1e7d
clean up
CeciliaZ030 Jun 28, 2023
487f570
fix & fmt
CeciliaZ030 Jun 28, 2023
626ca59
clean up & comments
CeciliaZ030 Jun 28, 2023
0632daf
cleanup
CeciliaZ030 Jun 28, 2023
b8ae87c
cm with ctx
CeciliaZ030 Jun 29, 2023
0e43ed9
cm with ctx
CeciliaZ030 Jun 29, 2023
3632f83
fix & fmt
CeciliaZ030 Jun 29, 2023
97e7c2a
Merge branch 'circuit-tools' into challenge-api
CeciliaZ030 Jun 29, 2023
f9dc002
fix
CeciliaZ030 Jun 29, 2023
d58d793
Merge pull request #14 from CeciliaZ030/challenge-api
CeciliaZ030 Jun 29, 2023
531a020
permutable
CeciliaZ030 Jun 29, 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
2 changes: 0 additions & 2 deletions .github/labeler.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,6 @@ crate-geth-utils:
- geth-utils/**/*
crate-integration-tests:
- integration-tests/**/*
crate-keccak:
- keccak256/**/*
crate-mock:
- mock/**/*
crate-prover:
Expand Down
29 changes: 0 additions & 29 deletions .github/release-drafter.yml
View file
Open in desktop

This file was deleted.

2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ jobs:
- name: Setup golang
uses: actions/setup-go@v3
with:
go-version: ~1.18
go-version: ~1.19
# Go cache for building geth-utils
- name: Go cache
uses: actions/cache@v3
Expand Down
16 changes: 0 additions & 16 deletions .github/workflows/draft.yml
View file
Open in desktop

This file was deleted.

2 changes: 1 addition & 1 deletion .github/workflows/integration.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@ jobs:
- name: Setup golang
uses: actions/setup-go@v3
with:
go-version: ~1.18
go-version: ~1.19
# Go cache for building geth-utils
- name: Go cache
uses: actions/cache@v3
Expand Down
Loading