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

#344 - refactor(verifier): Remove parallelism

Pull Request - State: open - Opened by jan-ferdinand 9 days ago - 2 comments
Labels: 🖐 blocked

#343 - fix: typos in documentation files

Pull Request - State: closed - Opened by vtjl10 29 days ago - 1 comment

#342 - chore: fix some typos

Pull Request - State: closed - Opened by acceptacross about 1 month ago - 3 comments

#341 - Fix typos

Pull Request - State: closed - Opened by Pricstas about 1 month ago - 2 comments

#340 - ci: Enable continuous benchmarks through codspeed

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

#339 - Suboptimal Instruction-Specific Constraints

Issue - State: open - Opened by aszepieniec about 2 months ago
Labels: 📜 specification, 🟢 prio: low, 🤖 code, ⏩ speedup

#338 - Implement Range for OpStack

Pull Request - State: closed - Opened by cyberbono3 3 months ago - 4 comments

#337 - Optionally produce deterministic proofs

Pull Request - State: closed - Opened by jan-ferdinand 3 months ago
Labels: 🛠️ tooling, ✨ enhancement

#336 - test: Verify randomizers' large Hamming distance

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

#335 - Use randomness more efficiently

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

#334 - Optionally derive STARK prover's randomness deterministically

Issue - State: closed - Opened by jan-ferdinand 4 months ago
Labels: 🛠️ tooling, 💫 good first issue, 🧑‍💻 dx/ux

#333 - Introduce versioning for proofs

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

#332 - chore: Bump dependency indexmap

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

#331 - Memory-Efficient Code Path is Not Automatically Triggered

Issue - State: open - Opened by aszepieniec 4 months ago
Labels: 🪳 bug, 🟡 prio: medium, 🤖 code

#330 - Drop Cached Polynomials

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

#329 - Terminology: Disambiguate "Table"

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

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

Issue - State: closed - Opened by Sword-Smith 4 months 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 4 months ago

#326 - Thv/faster compilation

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

#325 - Thv/degree lowering hardening

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

#325 - Thv/degree lowering hardening

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

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

Issue - State: open - Opened by jan-ferdinand 4 months ago - 4 comments
Labels: 🛠️ tooling, 💫 good first issue, 🟢 prio: low, 🧑‍💻 dx/ux

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

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

#323 - Break cyclic build dependency

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

#323 - Break cyclic build dependency

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

#323 - Break cyclic build dependency

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

#323 - Break cyclic build dependency

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

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

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

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

Issue - State: open - Opened by jan-ferdinand 5 months ago - 1 comment
Labels: ✨ enhancement, 🟢 prio: low

#321 - Introduce versioning for proofs

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

#321 - Introduce versioning for proofs

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

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

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

#319 - Performance of functions vs inlining

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

#318 - Immediate memory opcodes

Issue - State: open - Opened by chancehudson 5 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 5 months ago - 1 comment

#316 - add comments for fill_program_hash_trace function

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

#315 - Question about memory performance/safety

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

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

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

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

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

#311 - request: Drop wrapper type `PublicInput`

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

#308 - Memory opcode stack layout is incorrect

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

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

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

#306 - subtraction/negation opcode

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

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

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

#304 - Introduce instruction `merkle_step_mem`

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

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

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

#301 - Multi-Claim Proofs

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

#300 - Bug in documentation of dot_step instructions

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

#299 - Add prove verify command

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

#298 - Drop Duplicate Consts

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

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

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

#296 - Start VM with initialized Sponge state

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

#295 - Halve combination codeword checks

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

#294 - feat: Parallelize table extension

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

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

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

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

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

#291 - deps: Bump twenty-first revision

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

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

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

#288 - feat: Introduce instruction `recurse_or_return`

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

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

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

#286 - Use `batch_evaluate`

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

#285 - Separate Batch-Verification from First FRI Fold

Issue - State: closed - Opened by aszepieniec 8 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 8 months ago - 2 comments

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

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

#282 - fix: Suppress conditional compilation errors

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

#281 - improve internal profiler

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

#280 - Make Constraint Circuits Fully Deterministic

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

#278 - Improve build times

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

#277 - tmp

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

#276 - use macro to shrink code size

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

#275 - Arithmetization Overview

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

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

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

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

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

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

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

#272 - Dot-Step

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

#272 - Dot-Step

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

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

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

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

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

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

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

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

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

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

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

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

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

#268 - Last FRI polynomial is not normalized

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

#268 - Last FRI polynomial is not normalized

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

#267 - Prefix specifier to all environment variables

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

#266 - Barycentric Evaluation

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

#265 - Store Unrandomized Polynomials

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

#265 - Store Unrandomized Polynomials

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

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

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

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

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

#263 - Make `ConstraintType` enum public

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

#262 - refactor: Compress quotient table

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

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

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

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

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