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.

Sign up for GitHub

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

Jump to bottom

Zisk New Arch #185

Draft
wants to merge 61 commits into
base: develop
Choose a base branch
from
Draft

Zisk New Arch #185

wants to merge 61 commits into from

Conversation

xavi-pinsach
Copy link
Member

No description provided.

@cla-bot cla-bot bot added the cla-signed label Dec 3, 2024
xavi-pinsach and others added 23 commits December 3, 2024 17:45
@xavi-pinsach
clean code
306ba74
@xavi-pinsach
clean code
2381971
@xavi-pinsach
activate code in rom_sm.rs
5a2ec46
@xavi-pinsach
wip rom-merkle
45cb180
@xavi-pinsach
update pils to use std_constants.pil
8023f90
@fractasy
Move registers from memory to context
0b33f3c
@xavi-pinsach
remove emu_slice and ZiskRequired
f1089a6
@xavi-pinsach
remove emu_slice from lib.rs
973180b
@xavi-pinsach
clippy
a2ecc6e
@xavi-pinsach
remove generics in ExecutionCtx and SetupCtx in arith sm
2bfb8ec
@xavi-pinsach
remove create_prover_buffer
3f460e1
@xavi-pinsach
remove generics in ExecutionCtx and SetupCtx in freq_ops, mem and qui…
320aa1c 
…ck_ops
@xavi-pinsach
wip in binaries
d5a459e
@xavi-pinsach
wip in rom
f5c9834
@xavi-pinsach
refactor witness computation main
b43c761
@xavi-pinsach
clippy
ed8d702
@xavi-pinsach
clippy
bf2da5f
@fractasy
Record and playback using memory reads, in Emulator
04c782f
@xavi-pinsach
main, binaries.* and rom verifying constraints
e790c89
@xavi-pinsach
fix when +1 binaries
33d10f7
@xavi-pinsach
remove debug code
f329e91
@xavi-pinsach
std working
f48e8eb
@xavi-pinsach
Checkpoint as Option
892f0d5
fractasy and others added 30 commits December 9, 2024 14:22
@fractasy
Merge from instruction_observer
fedc4ec
@fractasy
Fixes from integration
77f1026
@fractasy
Define STEPS_TO_MEM_READS_RATIO_IN_BITS
e13d2c0
@fractasy
Fix cargo fmt
081b4f6
@fractasy
Fix 1 cargo clippy error
130f0c5
@xavi-pinsach
adapted to pil2-proofman feature/minor_clean pil2-proofman PR#132
661e871
@xavi-pinsach
Merge remote-tracking branch 'origin/feature/registers_state' into in…
0c4fdea 
…struction-observer
@xavi-pinsach
fix Cargo.toml
4deb551
@xavi-pinsach
Merge remote-tracking branch 'origin/develop' into instruction-observer
cda84c4
@xavi-pinsach
adapted arith to new arch
d74bc1b
@xavi-pinsach
fix typo
950c8a0
@xavi-pinsach
fix typo
34edf96
@xavi-pinsach
clean arith code
d1a56a1
@xavi-pinsach
remove dead code
84eba2b
@xavi-pinsach
refactor tables
ab723ff
@xavi-pinsach
remove freq-ops and quick-ops boilerplate code
bd953a6
@xavi-pinsach
clean code
03fe194
@xavi-pinsach
simplify dctx
c32ace9
@xavi-pinsach
metrics proxy filtering by opcode while executing
753025c
@xavi-pinsach
Merge remote-tracking branch 'origin/develop' into instruction-observer
241cde9
@xavi-pinsach
add regular counters
6d2ab60
@xavi-pinsach
change Instance functions names: expand -> collect & prove -> compute…
36543d9 
…_witness, simplify add air instance
@xavi-pinsach
align with proofman
f634636
@xavi-pinsach
added dummy counter
b33e490
@xavi-pinsach
simplify inputs collectors
d69d2bd
@xavi-pinsach
simplifying
c985df4
@xavi-pinsach
change InstanceObserver name to InputsCollector
fc74053
@xavi-pinsach
minor fixes
8f1caea
@xavi-pinsach
refactor tables
1864999
@xavi-pinsach
cargo update
d148325
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
cla-signed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@xavi-pinsach @fractasy