TritonVM/triton-vm issues and pull requests

#152 - Add comments to tasm code

Pull Request - State: closed - Opened by sshine almost 2 years ago - 1 comment

#151 - FIB_SHOOTOUT

Pull Request - State: closed - Opened by sshine almost 2 years ago

#150 - Too many ways to run the VM

Issue - State: closed - Opened by sshine almost 2 years ago - 4 comments
Labels: 🧑‍🤝‍🧑 help wanted, ✨ enhancement, 🟡 prio: medium, 🤖 code, 🧑‍💻 dx/ux

#149 - Clean up loading/saving proofs to disk

Issue - State: closed - Opened by sshine almost 2 years ago
Labels: 💫 good first issue, 🟢 prio: low, 🤖 code

#148 - set padded height correctly in the claim

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 🪳 bug, 🧑‍🤝‍🧑 help wanted, 💫 good first issue, 🟡 prio: medium, 🤖 code

#147 - Having a padded_height of 0 fails because Stark::new() expects non-zero

Pull Request - State: closed - Opened by sshine almost 2 years ago - 1 comment

#146 - Add processor frequency to profiler

Pull Request - State: closed - Opened by AlexanderLemmens almost 2 years ago - 3 comments

#145 - add processor's frequency to profiler output

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 🛠️ tooling, 💫 good first issue, 🟢 prio: low

#144 - Master Tables

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago - 1 comment

#143 - lower the AIR's maximal degree by automatically introducing columns and constraints

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 1 comment
Labels: 🧑‍🤝‍🧑 help wanted, 🟢 prio: low, 🤖 code, ⏩ speedup

#142 - Repeated nodes identified in multiple tables

Issue - State: closed - Opened by Sword-Smith almost 2 years ago - 4 comments
Labels: 💫 good first issue, ✨ enhancement, 🟢 prio: low, 🤖 code, ⏩ speedup

#141 - remove type parameter from arithmetic domain

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago

#140 - use iNTT, not fast-interpolate, for polynomial interpolation

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago - 3 comments

#139 - present all table data using one “master table”

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: ✨ enhancement, 🔴 prio: high, 🤖 code

#138 - Add option of printing profile output as-you-go

Pull Request - State: closed - Opened by Sword-Smith almost 2 years ago

#137 - fix or remove several “todo!”'s

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago

#136 - Add caching to CI

Pull Request - State: closed - Opened by sshine almost 2 years ago

#135 - generate (optimal) TASM for constraint evaluation

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 1 comment
Labels: 🛠️ tooling, 🟢 prio: low, 🤖 code

#134 - replace `Result<T, Box<dyn Error>>` with `anyhow::Result<T>`

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago

#133 - Evaluation in 1 Out-of-Domain Point for Verifier

Issue - State: closed - Opened by aszepieniec almost 2 years ago - 3 comments
Labels: 🧑‍🤝‍🧑 help wanted, 🤔 question, 🔴 prio: high

#132 - Pin GitHub CI actions to commit digests

Pull Request - State: closed - Opened by sshine almost 2 years ago

#131 - Bump dependency to twenty-first-0.6.0

Pull Request - State: closed - Opened by sshine almost 2 years ago

#130 - move low-degree extension to `ArithmeticDomain`

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 💫 good first issue, 🟢 prio: low, 🤖 code

#129 - don't multiply randomizer codeword by random weight

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 💫 good first issue, 🟢 prio: low, 🤖 code

#128 - Personalize Quotient Domain per Table

Issue - State: closed - Opened by aszepieniec almost 2 years ago - 3 comments
Labels: ✨ enhancement, 🟡 prio: medium, 🤖 code, 🖐 blocked, ⏩ speedup

#127 - remove generic type of `ArithmeticDomain` and hardcode `BFieldElement` instead

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 1 comment
Labels: 🟢 prio: low, 🤖 code, ⏩ speedup

#126 - Fix PartialAuthenticationPath Decoding Error

Pull Request - State: closed - Opened by aszepieniec almost 2 years ago

#125 - Bypass MPolynomial Representation of AIR Constraints

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago

#124 - use quotient domain instead of fri domain wherever applicable

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago - 5 comments

#123 - compute degree bounds from circuits instead of from multivariate polynomials

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 🟡 prio: medium, 🤖 code, ⏩ speedup

#122 - Avoid memory allocation inside busy-loops?

Issue - State: closed - Opened by Sword-Smith almost 2 years ago - 1 comment
Labels: 🤔 question, ⏩ speedup

#121 - remove memoization of AIR constraints

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 💫 good first issue, 🟡 prio: medium, 🤖 code, ⏩ speedup

#120 - transpose codewords only once when proving

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 1 comment
Labels: 🟡 prio: medium, 🤖 code, 🖐 blocked, ⏩ speedup

#119 - distinguish AIR constraints for base tables and extension tables

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 3 comments
Labels: 💫 good first issue, 🟢 prio: low, 🤖 code, ⏩ speedup

#117 - Express transition constraints as circuits and autogenerate code for its evaluation

Pull Request - State: closed - Opened by Sword-Smith almost 2 years ago - 1 comment
Labels: ✨ enhancement, 🤖 code

#115 - use arithmetic circuits to their full potential

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 2 comments
Labels: ✨ enhancement, 🟡 prio: medium, 🤖 code, ⏩ speedup

#114 - compute quotient codewords more efficiently

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: ✨ enhancement, 🟡 prio: medium, 🤖 code, ⏩ speedup

#113 - rename instruction group `keep_stack` to `keep_op_stack`

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago
Labels: 📜 specification, 🟢 prio: low, 🤖 code

#112 - Scope-Level Abstraction Language

Issue - State: closed - Opened by aszepieniec almost 2 years ago - 1 comment
Labels: 🛠️ tooling, 🟡 prio: medium, 🧑‍💻 dx/ux

Issue - State: closed - Opened by aszepieniec almost 2 years ago - 1 comment
Labels: 🧑‍🤝‍🧑 help wanted, 🤔 question, 🕵 investigation, 📜 specification, 💫 good first issue, ✨ enhancement, 🟡 prio: medium, 🤖 code

#107 - Add Statistics to Triton Profiler

Issue - State: open - Opened by aszepieniec almost 2 years ago - 3 comments
Labels: 🛠️ tooling, ✨ enhancement, 🟢 prio: low, 🤖 code

#105 - Interactive, graphical, stepping debugger

Issue - State: closed - Opened by sshine almost 2 years ago - 1 comment
Labels: 🛠️ tooling, 🟢 prio: low, 🧑‍💻 dx/ux

#103 - Serializable Proof Stream

Pull Request - State: closed - Opened by aszepieniec almost 2 years ago - 2 comments

#96 - Bypass MPolynomial Representation of AIR Constraints

Issue - State: closed - Opened by aszepieniec almost 2 years ago
Labels: 🟡 prio: medium, 🤖 code, ⏩ speedup

#90 - Derive number of challenges programmatically

Issue - State: closed - Opened by aszepieniec almost 2 years ago - 1 comment
Labels: 💫 good first issue, ✨ enhancement, 🟢 prio: low, 🤖 code

#86 - Drop instruction `call`

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 1 comment
Labels: 🤔 question, 🟢 prio: low

#85 - Drop instruction `recurse`

Issue - State: closed - Opened by jan-ferdinand almost 2 years ago - 2 comments
Labels: 🤔 question, 🟢 prio: low

#84 - replace `skiz` by `if_then_call`

Pull Request - State: closed - Opened by jan-ferdinand almost 2 years ago - 7 comments

#63 - Replace `assert_vector` by pseudo instruction `eq_vector`

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 2 comments
Labels: 📜 specification, 💫 good first issue, ✨ enhancement, 🟡 prio: medium, 🤖 code

#56 - Improve VM Error Messaging

Issue - State: closed - Opened by aszepieniec about 2 years ago - 3 comments
Labels: 🧑‍🤝‍🧑 help wanted, 🛠️ tooling, ✨ enhancement, 🟢 prio: low, 🤖 code, 🧑‍💻 dx/ux

#47 - Reduce Rescue Prime's number of rounds from 8 to 7

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 1 comment
Labels: 📜 specification, 💫 good first issue, 🟢 prio: low, 🤖 code

#44 - Asz/tip2

Pull Request - State: closed - Opened by aszepieniec about 2 years ago

#35 - Add Triton Improvement Proposals 0001 - 0004

Pull Request - State: closed - Opened by aszepieniec about 2 years ago - 5 comments

#19 - Replace instructions `and` and `xor` by `nand` or `nor`

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 2 comments
Labels: 🕵 investigation

#18 - Program Attestation

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 3 comments
Labels: 🕵 investigation

#11 - Measure and reduce memory consumption

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 2 comments
Labels: ✨ enhancement, 🟡 prio: medium

#9 - Explore Lookup Arguments to Relate AETs

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 3 comments
Labels: 🕵 investigation

#8 - U32 Table Design explorations

Issue - State: open - Opened by jan-ferdinand about 2 years ago - 6 comments
Labels: 🕵 investigation, 🟢 prio: low

#7 - Write recursive verifier

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 2 comments
Labels: 🧑‍🤝‍🧑 help wanted, ✨ enhancement, 🔴 prio: high

#6 - Add Pseudo Instructions

Issue - State: closed - Opened by jan-ferdinand about 2 years ago
Labels: ✨ enhancement, 🟢 prio: low

#5 - Checking low-degreeness of last FRI codeword in recursive verifier

Issue - State: closed - Opened by jan-ferdinand about 2 years ago - 1 comment
Labels: 🕵 investigation

GitHub / TritonVM/triton-vm issues and pull requests