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

Write Constraints for Extension Tables #20

Closed
8 of 9 tasks
jan-ferdinand opened this issue Aug 8, 2022 · 0 comments · Fixed by #102
Closed
8 of 9 tasks

Write Constraints for Extension Tables #20

jan-ferdinand opened this issue Aug 8, 2022 · 0 comments · Fixed by #102
Assignees
@jan-ferdinand
Labels
🤖 code Changes the implementation 🔴 prio: high Pretty urgent 📜 specification Relates to the specification

Comments

@jan-ferdinand
Copy link
Member

jan-ferdinand commented Aug 8, 2022 •
edited

Implement AIR for the table's extension columns, which mainly deal with Permutation and Evaluation Arguments.

  • program
  • instruction
  • processor
  • opStack
  • RAM
  • jumpStack
  • hash
  • u32
  • update specification

Blocked by #52.
@jan-ferdinand jan-ferdinand added 📜 specification Relates to the specification 🔴 prio: high Pretty urgent 🤖 code Changes the implementation labels Aug 8, 2022
@jan-ferdinand jan-ferdinand self-assigned this Aug 8, 2022
@jan-ferdinand jan-ferdinand added the 🖐 blocked Requires something else first. label Sep 19, 2022
jan-ferdinand added a commit that referenced this issue Sep 19, 2022
@jan-ferdinand
Pass challenges to consistency constraints (#20)
6b8ec56
jan-ferdinand added a commit that referenced this issue Sep 19, 2022
@jan-ferdinand
Pass challenges to consistency constraints (#20)
3a84c36
jan-ferdinand added a commit that referenced this issue Sep 21, 2022
@jan-ferdinand
Add AIR for eXtended Instruction Table (#20)
41af4e9
jan-ferdinand added a commit that referenced this issue Sep 21, 2022
@jan-ferdinand
Add AIR for eXtended Instruction Table (#20)
9601d96
jan-ferdinand added a commit that referenced this issue Sep 25, 2022
@jan-ferdinand
Drop explicit row compression columns
1b1547d 
Fix #45

Also, make challenges available for initial constraints. (#20)
jan-ferdinand added a commit that referenced this issue Sep 29, 2022
@jan-ferdinand
Add AIR for eXtended Instruction Table (#20)
aaab76e
jan-ferdinand added a commit that referenced this issue Sep 29, 2022
@jan-ferdinand
Drop explicit row compression columns
a3578a1 
Fix #45

Also, make challenges available for initial constraints. (#20)
@jan-ferdinand jan-ferdinand removed the 🖐 blocked Requires something else first. label Sep 29, 2022
@jan-ferdinand jan-ferdinand mentioned this issue Oct 31, 2022
Closed
jan-ferdinand added a commit that referenced this issue Nov 2, 2022
@jan-ferdinand
add constraints for extended Program Table (#20)
ee2ad7a
@jan-ferdinand jan-ferdinand mentioned this issue Nov 2, 2022
Merged
jan-ferdinand added a commit that referenced this issue Nov 2, 2022
@jan-ferdinand
add initial constraints for extended Hash Table (#20)
7e856c2
jan-ferdinand added a commit that referenced this issue Nov 2, 2022
@jan-ferdinand
add transition constraints for extended Hash Table (#20)
b4e6134 
- pass challenges to rust-only evaluation of AIR constraints
- remove some hardcoded round numbers, use const NUM_ROUNDS instead
jan-ferdinand added a commit that referenced this issue Nov 2, 2022
@jan-ferdinand
add transition constraints for extended Hash Table (#20)
6178e22 
- pass challenges to rust-only evaluation of AIR constraints
- remove some hardcoded round numbers, use const NUM_ROUNDS instead
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add stubs for remaining AIR (#20)
bd39fca
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
fix mismatch in number of constraints and quotient degree bounds (#20)
309c868 
Add test to prevent regression.
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
fix quotient degree bounds for hash table's transition constraints (#20)
0821f22
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints for input & output running evaluation (#20)
5c8f82c
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints for memory tables (#20)
daea581
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints to processor regarding hash table (#20)
ef69784
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add constraints for extended Program Table (#20)
91bcbd4
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add initial constraints for extended Hash Table (#20)
e99497a
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints for extended Hash Table (#20)
38c626e 
- pass challenges to rust-only evaluation of AIR constraints
- remove some hardcoded round numbers, use const NUM_ROUNDS instead
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add stubs for remaining AIR (#20)
1f4680c
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
fix mismatch in number of constraints and quotient degree bounds (#20)
93a49b9 
Add test to prevent regression.
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
fix quotient degree bounds for hash table's transition constraints (#20)
4842e7b
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints for input & output running evaluation (#20)
6972e55
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints for memory tables (#20)
90f44cd
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add transition constraints to processor regarding hash table (#20)
6d08fc1
jan-ferdinand added a commit that referenced this issue Nov 3, 2022
@jan-ferdinand
add initial constraints to Processor Table (#20)
59d8af0
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add constraints for extended Program Table (#20)
8ab1f25
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add initial constraints for extended Hash Table (#20)
1a1bd2e
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add transition constraints for extended Hash Table (#20)
551acd2 
- pass challenges to rust-only evaluation of AIR constraints
- remove some hardcoded round numbers, use const NUM_ROUNDS instead
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add stubs for remaining AIR (#20)
3f4ca7e
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
fix mismatch in number of constraints and quotient degree bounds (#20)
c8e1f53 
Add test to prevent regression.
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
fix quotient degree bounds for hash table's transition constraints (#20)
d6df5bd
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add transition constraints for input & output running evaluation (#20)
9d987c6
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add transition constraints for memory tables (#20)
62b0384
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add transition constraints to processor regarding hash table (#20)
07af770
jan-ferdinand added a commit that referenced this issue Nov 8, 2022
@jan-ferdinand
add initial constraints to Processor Table (#20)
5d5ddd4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jan-ferdinand jan-ferdinand

Labels
🤖 code Changes the implementation 🔴 prio: high Pretty urgent 📜 specification Relates to the specification
Projects
Soundness
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add remaining AIR constraints TritonVM/triton-vm
1 participant
@jan-ferdinand