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

chore: merge experimental into dev #1340

Merged
merged 91 commits into from
Aug 19, 2024
Merged

chore: merge experimental into dev #1340

merged 91 commits into from
Aug 19, 2024

Conversation

jtguibas
Copy link
Contributor

No description provided.

tqn and others added 30 commits July 1, 2024 10:40
@tqn
feat: recursion circuit (wip) (#992)
61f4114
@tqn
feat: make AddressValue.value a Block (#998)
2a5adba
@erabinov
chore: add fast tests to experimental branch (#1009)
c014481
@tqn
refactor: unify AddressValue, put send and receive on builder (#1010)
c1fe80b
@tqn @erabinov
feat: extension field alu (#1014)
ead4527 
Co-authored-by: erabinov <[email protected]>
@tqn
fix: remove extra try_inverse in #1014 (#1016)
d3f2eb2
@tqn
feat: runtime, instructions, and preprocessing (#1036)
1412986
@erabinov @tqn
feat: basic re-factor for recursion circuit, Poseidon2-wide table (#1062
118de5d 
)

Co-authored-by: Tej Qu Nair <[email protected]>
@tqn
feat: basic ir circuit compiler (#1072)
ae1bbc1
@erabinov @tqn
feat: exp_reverse_bits_precompile in core_v2 (#1079)
ababfaf 
Co-authored-by: Tej Qu Nair <[email protected]>
@tqn
feat: support poseidon2 permute core-v2 instruction in ir (#1084)
d63f322
@tqn
fix: placeholder branch for ExpReverseBitsLen in new AsmCompiler (#…
145a45a 
…1087)
@erabinov
fix: more complete preprocessed trace generation for poseidon2 (#1094)
5f6d8a9
@erabinov @tqn
feat: circuit-based fri-fold precompile (#1090)
7dccf9b 
Co-authored-by: Tej Qu Nair <[email protected]>
@tqn
feat: exp reverse bits in ir (#1093)
f473fe4
@tqn
test: exp reverse bits, repeat test for poseidon and hint bits (#1097)
bc7c569
@tqn
Merge branch 'dev' into tqn/merge-dev-into-experimental
b23d13a
@tqn
Merge branch 'dev' into experimental (#1098)
9d7ae29
@erabinov
feat: poseidon2 wide in circuit language (#1096)
dc258f6
@tqn
feat: fri fold in ir (#1108)
caee177
@tqn
Merge branch 'dev' into tqn/merge-dev-into-experimental
7b95b64
@tqn
Merge branch 'dev' into experimental (#1148)
bc7219e
@erabinov
feat: support for poseidon2 in the ir (#1111)
46aedf0
@tqn
test: rough bench of compress with dummy circuit (#1141)
df774ac
@tqn
fix: resolve conflicting poseidon2 variants in ir (#1150)
9430287
@tqn
feat: print instructions in ir and runtime (#1162)
9c234f0
@tqn
feat: verifier program challenger (#1166)
f19a385
@kevjue @tqn
perf: Remove results columns in alu_base table (#1167)
582f7cd 
Co-authored-by: Tej Qu Nair <[email protected]>
@tqn
feat: poseidon hash and compress in ir builder trait (#1171)
9dfcc91
@erabinov @kevjue
feat: plonk profiling test for recursion circuit (#1110)
3a93cf4 
Co-authored-by: Kevin Jue <[email protected]>
tamirhemo and others added 28 commits August 13, 2024 17:24
@tamirhemo
feat: verify shard in recursion circuit (#1316)
7334d70
@0xWOLAND
chore: fix tests, add bn254 fp2 to record
b01054a
@0xWOLAND
fix: bump test versions, rebuild tests
e2044e3
@0xWOLAND
chore: fix fp tests, record (#1315)
185d23e
@0xWOLAND
feat: decompress pubkey
cf5815c
@0xWOLAND
test: remove old ecrecover test
5d8d7d7
@0xWOLAND
test: remove references to ecrecover test elf
9f0a709
@0xWOLAND
fix: remove amcl
0ae6a25
@0xWOLAND
add space
3e5a648
@0xWOLAND
fix: remove all ecrecover tests, add amcl back
6101f9c
@0xWOLAND
fix: clippy
0aecccf
@jtguibas
feat: decompress pubkey (#1318)
93db438
@0xWOLAND
fix: allow hint slice syscall code in unconstrained mode
ceeaf64
@0xWOLAND
fix: add comment
111094e
@0xWOLAND
fix: comment
a893ade
@0xWOLAND
chore: remove print
ff8214f
@0xWOLAND
fix: allow hint slice syscall code in unconstrained mode (#1319)
4ae157b
@tamirhemo @tqn
feat: core recursion in circuit (#1322)
f9224d3 
Co-authored-by: Tej Qu Nair <[email protected]>
@jtguibas
chore: resolve merge conflicts between dev and experimental
419f92b
@jtguibas
fix: cargo check on tests
ecb1b96
@jtguibas
fix imports
c53bc8c
@jtguibas
fix fptower tests
4f26d91
@jtguibas
Merge branch 'dev' into john/resolve-exp-dev-merge
c65be66
@jtguibas
fix pr running threshold
6bd0b42
@jtguibas
fix in main.yml
531c8d6
@jtguibas
change to debug assertions
6dd567c
@jtguibas
add circuit v2
9067f6c
@jtguibas
fix artifact export test
416311e
@jtguibas jtguibas merged commit ebeb9fc into dev Aug 19, 2024
12 of 13 checks passed
@jtguibas jtguibas deleted the john/merge-experimental-into-dev-2 branch August 19, 2024 21:22
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@jtguibas @tqn @erabinov @kevjue @0xWOLAND @tamirhemo @ctian1