Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / TritonVM/triton-vm issues and pull requests

#328 - `Display` on `InstructionError` should also show jumpstack trace

Issue - State: open - Opened by Sword-Smith 11 days ago
Labels: 🛠️ tooling, 💫 good first issue, 🟢 prio: low, 🧑‍💻 dx/ux

#327 - Thv/bfe xfe arithmetic in tasm code

Pull Request - State: closed - Opened by Sword-Smith 17 days ago

#326 - Thv/faster compilation

Pull Request - State: closed - Opened by Sword-Smith 17 days ago - 1 comment

#325 - Thv/degree lowering hardening

Pull Request - State: closed - Opened by Sword-Smith 23 days ago - 11 comments

#325 - Thv/degree lowering hardening

Pull Request - State: open - Opened by Sword-Smith 23 days ago

#324 - Improve ergonomics of failing instruction `assert` and `assert_vector`

Issue - State: open - Opened by jan-ferdinand 23 days ago - 3 comments
Labels: 🛠️ tooling, 🟡 prio: medium, 🧑‍💻 dx/ux

#324 - Improve ergonomics of failing instruction `assert` and `assert_vector`

Issue - State: open - Opened by jan-ferdinand 23 days ago - 3 comments
Labels: 🛠️ tooling, 🟡 prio: medium, 🧑‍💻 dx/ux

#323 - Break cyclic build dependency

Pull Request - State: closed - Opened by jan-ferdinand about 1 month ago

#323 - Break cyclic build dependency

Pull Request - State: closed - Opened by jan-ferdinand about 1 month ago

#323 - Break cyclic build dependency

Pull Request - State: closed - Opened by jan-ferdinand about 1 month ago

#323 - Break cyclic build dependency

Pull Request - State: closed - Opened by jan-ferdinand about 1 month ago

#322 - Implement `Index<Range<…>>` for `OpStack`

Issue - State: open - Opened by jan-ferdinand about 1 month ago
Labels: 💫 good first issue, ✨ enhancement, 🟢 prio: low

#322 - Implement `Index<Range<…>>` for `OpStack`

Issue - State: open - Opened by jan-ferdinand about 1 month ago
Labels: 💫 good first issue, ✨ enhancement, 🟢 prio: low

#321 - Introduce versioning for proofs

Pull Request - State: open - Opened by jan-ferdinand about 2 months ago

#321 - Introduce versioning for proofs

Pull Request - State: open - Opened by jan-ferdinand about 2 months ago

#320 - `MemoryRegion::is_disjoint_from` can overflow on `u64` addition

Issue - State: closed - Opened by Sword-Smith about 2 months ago
Labels: 🪳 bug

#319 - Performance of functions vs inlining

Issue - State: closed - Opened by chancehudson about 2 months ago - 9 comments

#318 - Immediate memory opcodes

Issue - State: open - Opened by chancehudson about 2 months ago - 4 comments
Labels: 🤔 question, 💫 good first issue, ✨ enhancement

#317 - Change variables in fill_program_hash_trace function

Pull Request - State: closed - Opened by Einstellung about 2 months ago - 1 comment

#316 - add comments for fill_program_hash_trace function

Pull Request - State: closed - Opened by Einstellung about 2 months ago - 3 comments

#315 - Question about memory performance/safety

Issue - State: closed - Opened by chancehudson about 2 months ago - 7 comments

#314 - feat: Dynamic Address for Out-of-Domain Row in TASM AIR Evaluation

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

#313 - feat: New Instruction `addi` "Add-Immediate"

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

#312 - u32-table row count grew a lot with 0.42-alpha 6

Issue - State: open - Opened by Sword-Smith 2 months ago - 1 comment
Labels: 🕵 investigation, 🟢 prio: low, ⏪ slowdown

#311 - request: Drop wrapper type `PublicInput`

Issue - State: closed - Opened by aszepieniec 2 months ago - 3 comments

#308 - Memory opcode stack layout is incorrect

Issue - State: closed - Opened by chancehudson 3 months ago - 8 comments

#307 - Output values are multiplied by `2**32-1`

Issue - State: closed - Opened by vimwitch 3 months ago - 2 comments

#306 - subtraction/negation opcode

Issue - State: closed - Opened by vimwitch 3 months ago - 2 comments

#305 - feat: triton-cli prove/verify, proof binary serialization

Pull Request - State: open - Opened by chancehudson 3 months ago - 12 comments

#304 - Introduce instruction `merkle_step_mem`

Pull Request - State: closed - Opened by jan-ferdinand 3 months ago

#303 - Change `sponge_absorb_mem` to be used in combination with `recurse_or_return`?

Issue - State: open - Opened by Sword-Smith 4 months ago
Labels: ⏩ speedup

#301 - Multi-Claim Proofs

Issue - State: open - Opened by aszepieniec 4 months ago - 1 comment

#300 - Bug in documentation of dot_step instructions

Issue - State: closed - Opened by Sword-Smith 4 months ago
Labels: 🪳 bug, 📜 specification

#299 - Add prove verify command

Pull Request - State: closed - Opened by cyberbono3 4 months ago - 1 comment

#298 - Drop Duplicate Consts

Issue - State: closed - Opened by aszepieniec 4 months ago - 1 comment

#297 - Introduce instructions `pick` + `i` and `place` + `i`

Pull Request - State: closed - Opened by jan-ferdinand 4 months ago - 8 comments

#296 - Start VM with initialized Sponge state

Pull Request - State: open - Opened by jan-ferdinand 4 months ago

#295 - Halve combination codeword checks

Pull Request - State: closed - Opened by Sword-Smith 4 months ago

#294 - feat: Parallelize table extension

Pull Request - State: closed - Opened by aszepieniec 4 months ago - 2 comments

#293 - perf: Parallelize calculation of deep codeword inner product

Pull Request - State: closed - Opened by Sword-Smith 4 months ago - 1 comment

#292 - perf: Parallelize evaluation-part of quotient-LDE

Pull Request - State: closed - Opened by Sword-Smith 4 months ago

#291 - deps: Bump twenty-first revision

Pull Request - State: closed - Opened by aszepieniec 4 months ago - 1 comment

#289 - Proving fails for FRI expansion factors (strictly) larger than 4

Issue - State: closed - Opened by Sword-Smith 5 months ago
Labels: 🪳 bug

#288 - feat: Introduce instruction `recurse_or_return`

Pull Request - State: closed - Opened by jan-ferdinand 5 months ago - 4 comments
Labels: ✨ enhancement

#287 - Drop Cached Polynomials from Just-In-Time Code Path

Issue - State: open - Opened by aszepieniec 5 months ago
Labels: 💫 good first issue, ✨ enhancement, 🟢 prio: low, 🤖 code

#286 - Use `batch_evaluate`

Pull Request - State: closed - Opened by aszepieniec 5 months ago - 1 comment

#285 - Separate Batch-Verification from First FRI Fold

Issue - State: closed - Opened by aszepieniec 5 months ago - 1 comment
Labels: 🕵 investigation, ✨ enhancement, 🔴 prio: high, 🤖 code, ⏩ speedup

#284 - Parallelize Filling of Degree-Lowering Table

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

#283 - perf: Profile and fix slow zero-initialization

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

#282 - fix: Suppress conditional compilation errors

Pull Request - State: closed - Opened by Sword-Smith 5 months ago

#281 - improve internal profiler

Pull Request - State: closed - Opened by jan-ferdinand 5 months ago
Labels: 🛠️ tooling

#280 - Make Constraint Circuits Fully Deterministic

Pull Request - State: closed - Opened by jan-ferdinand 5 months ago

#278 - Improve build times

Issue - State: open - Opened by aszepieniec 5 months ago
Labels: 🛠️ tooling, ✨ enhancement, 🟡 prio: medium, 🤖 code, ⏩ speedup, 🧑‍💻 dx/ux

#277 - tmp

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

#276 - use macro to shrink code size

Pull Request - State: closed - Opened by jan-ferdinand 5 months ago

#275 - Arithmetization Overview

Pull Request - State: closed - Opened by aszepieniec 5 months ago - 5 comments

#274 - Speed up calls to `ndarray`'s `.zeros()`

Issue - State: closed - Opened by Sword-Smith 5 months ago - 1 comment
Labels: ⏩ speedup

#273 - Docs: Describe Derivation of Constraints; Don't Present Them

Issue - State: open - Opened by aszepieniec 5 months ago
Labels: 📜 specification, 💫 good first issue

#273 - Docs: Describe Derivation of Constraints; Don't Present Them

Issue - State: open - Opened by aszepieniec 5 months ago
Labels: 📜 specification, 💫 good first issue

#272 - Dot-Step

Pull Request - State: open - Opened by aszepieniec 5 months ago - 1 comment

#272 - Dot-Step

Pull Request - State: closed - Opened by aszepieniec 5 months ago - 4 comments

#271 - refactor: use `?` operator in `dotstep`

Pull Request - State: closed - Opened by jan-ferdinand 5 months ago

#271 - refactor: use `?` operator in `dotstep`

Pull Request - State: closed - Opened by jan-ferdinand 5 months ago

#270 - chore!: Upgrade to twenty-first 0.42.0-alpha.2

Pull Request - State: closed - Opened by Sword-Smith 5 months ago - 1 comment

#270 - chore!: Upgrade to twenty-first 0.42.0-alpha.2

Pull Request - State: closed - Opened by Sword-Smith 5 months ago - 1 comment

#269 - Add optional error code to `assert` and `assert_vector`

Issue - State: closed - Opened by Sword-Smith 5 months ago - 1 comment
Labels: 🛠️ tooling, ✨ enhancement

#269 - Add optional error code to `assert` and `assert_vector`

Issue - State: open - Opened by Sword-Smith 5 months ago
Labels: 🛠️ tooling, ✨ enhancement

#268 - Last FRI polynomial is not normalized

Issue - State: closed - Opened by Sword-Smith 6 months ago - 3 comments
Labels: ✨ enhancement

#268 - Last FRI polynomial is not normalized

Issue - State: closed - Opened by Sword-Smith 6 months ago - 3 comments
Labels: ✨ enhancement

#267 - Prefix specifier to all environment variables

Issue - State: closed - Opened by Sword-Smith 6 months ago - 1 comment
Labels: 💫 good first issue

#266 - Barycentric Evaluation

Pull Request - State: closed - Opened by aszepieniec 6 months ago - 3 comments

#265 - Store Unrandomized Polynomials

Issue - State: open - Opened by aszepieniec 6 months ago

#265 - Store Unrandomized Polynomials

Issue - State: open - Opened by aszepieniec 6 months ago
Labels: 🟡 prio: medium, ⏩ speedup

#264 - Just-In-Time Low-Degree-Extension

Pull Request - State: closed - Opened by aszepieniec 6 months ago - 3 comments

#264 - Just-In-Time Low-Degree-Extension

Pull Request - State: open - Opened by aszepieniec 6 months ago - 2 comments

#263 - Make `ConstraintType` enum public

Issue - State: closed - Opened by Sword-Smith 6 months ago

#262 - refactor: Compress quotient table

Pull Request - State: closed - Opened by aszepieniec 6 months ago - 1 comment

#261 - feat!: track all relevant tables in VM profiler

Pull Request - State: closed - Opened by jan-ferdinand 6 months ago

#260 - Can the `bfe!`/`xfe!` macros produce `const` values?

Issue - State: closed - Opened by Sword-Smith 6 months ago - 2 comments

#259 - Instruction Maybe-Wishlist for Recursion and Consensus

Issue - State: open - Opened by aszepieniec 6 months ago - 13 comments

#258 - Get FRI proof from STARK proof

Issue - State: open - Opened by Sword-Smith 7 months ago

#257 - refactor: factor out Triton TUI

Pull Request - State: closed - Opened by jan-ferdinand 7 months ago

#257 - refactor: factor out Triton TUI

Pull Request - State: closed - Opened by jan-ferdinand 7 months ago

#257 - refactor: factor out Triton TUI

Pull Request - State: closed - Opened by jan-ferdinand 7 months ago

#255 - ci: update CI dependencies

Pull Request - State: closed - Opened by jan-ferdinand 7 months ago

#255 - ci: update CI dependencies

Pull Request - State: closed - Opened by jan-ferdinand 7 months ago

#253 - Derive `BFieldCodec` for `TasmConstraintEvaluationMemoryLayout`

Issue - State: closed - Opened by Sword-Smith 7 months ago - 2 comments

#252 - Expose constants giving number of constraints

Issue - State: closed - Opened by Sword-Smith 7 months ago

#251 - lower CI runner's resource usage

Pull Request - State: closed - Opened by jan-ferdinand 7 months ago

#250 - Fix constant folding pbt

Pull Request - State: closed - Opened by Sword-Smith 7 months ago - 2 comments

#249 - `payload_type` does not evaluate its constants

Issue - State: closed - Opened by Sword-Smith 8 months ago - 4 comments

#248 - Add ability to loop over proof item variants

Pull Request - State: closed - Opened by Sword-Smith 8 months ago