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

#259 - Instruction Maybe-Wishlist for Recursion and Consensus

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

#258 - Get FRI proof from STARK proof

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

#257 - refactor: factor out Triton TUI

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

#257 - refactor: factor out Triton TUI

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

#257 - refactor: factor out Triton TUI

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

#255 - ci: update CI dependencies

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

#255 - ci: update CI dependencies

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

#253 - Derive `BFieldCodec` for `TasmConstraintEvaluationMemoryLayout`

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

#252 - Expose constants giving number of constraints

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

#251 - lower CI runner's resource usage

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

#250 - Fix constant folding pbt

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

#249 - `payload_type` does not evaluate its constants

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

#248 - Add ability to loop over proof item variants

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

#247 - bug in `triton_instr` macro: call

Issue - State: closed - Opened by aszepieniec 12 months ago - 2 comments
Labels: 📋 duplicate

#246 - Cannot use angle brackets for type hints

Issue - State: open - Opened by Sword-Smith about 1 year ago

#245 - don't compile linux-specific code on windows

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

#244 - Windows test build broken since 938db3eb?

Issue - State: closed - Opened by Sword-Smith about 1 year ago - 2 comments

#243 - `triton_instr!` not as powerful as `triton_asm!`!

Issue - State: open - Opened by Sword-Smith about 1 year ago

#242 - add debugger

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

#241 - use custom errors

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

#240 - improve Triton assembly macros

Pull Request - State: closed - Opened by jan-ferdinand about 1 year ago - 4 comments

#239 - improve tasm parsing errors

Issue - State: open - Opened by jan-ferdinand about 1 year ago
Labels: 🧑‍🤝‍🧑 help wanted, 💫 good first issue, 🟡 prio: medium, 🧑‍💻 dx/ux

#238 - add command line tool for proof generation & verification

Issue - State: open - Opened by jan-ferdinand about 1 year ago - 3 comments
Labels: 🛠️ tooling, 💫 good first issue, 🟡 prio: medium, 🧑‍💻 dx/ux

#237 - `read_mem` starts reading at current address

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

#237 - `read_mem` starts reading at current address

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

#237 - `read_mem` starts reading at current address

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

#236 - make memory instructions take an argument in range 1..=5

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

#235 - make `pop` take an argument in range 1..=5

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

#234 - make Op Stack Table variable length

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

#234 - make Op Stack Table variable length

Pull Request - State: open - Opened by jan-ferdinand about 1 year ago

#233 - add support for `break` debug command

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#232 - replace `absorb_init` with `sponge_init`

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#231 - derive & implement `Arbitrary` for better property based testing

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#230 - add methods to determine an instruction's effect on op stack size

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#229 - allow easy adjustment of Fibonacci sequence benchmark

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#228 - clean up `ProofStream`

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#227 - Method on `LabelledInstruction` showing if `OpStack` grows

Issue - State: closed - Opened by Sword-Smith over 1 year ago - 3 comments
Labels: ✨ enhancement, 🤖 code, 🧑‍💻 dx/ux

#226 - refactor FRI

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#226 - refactor FRI

Pull Request - State: open - Opened by jan-ferdinand over 1 year ago

#225 - Missing authentication of a_values in the FRI rounds?

Issue - State: closed - Opened by yczhangsjtu over 1 year ago - 6 comments

#225 - Missing authentication of a_values in the FRI rounds?

Issue - State: open - Opened by yczhangsjtu over 1 year ago - 4 comments

#224 - add benchmark for longer-running program

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago - 1 comment

#223 - Error in `pow` documentation?

Issue - State: closed - Opened by Sword-Smith over 1 year ago

#222 - More repeated instructions

Issue - State: closed - Opened by Sword-Smith over 1 year ago - 1 comment

#221 - Add `Default` derivation to `NonDeterminism`

Pull Request - State: closed - Opened by Sword-Smith over 1 year ago

#220 - Concatenated labels in TASM

Issue - State: open - Opened by Sword-Smith over 1 year ago
Labels: 🛠️ tooling, ✨ enhancement

#219 - Tip 8: Continuations

Pull Request - State: closed - Opened by aszepieniec over 1 year ago

#218 - parallelize extending tables

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#217 - use CI to upload code coverage results to coveralls.io

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#216 - non-deterministic initialization of RAM

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago - 2 comments

#215 - Recufier

Issue - State: open - Opened by aszepieniec over 1 year ago - 2 comments
Labels: 🧑‍🤝‍🧑 help wanted

#214 - shrink size of FRI domain by splitting quotients into segments

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago
Labels: ⏩ speedup

#213 - Make runs though `make` faster by compiling to separate target dir

Pull Request - State: closed - Opened by Sword-Smith over 1 year ago

#212 - fix soundness bug in instruction `skiz`

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#211 - Feature Request: Automatic Documentation Generation for Constraints

Issue - State: open - Opened by aszepieniec over 1 year ago - 1 comment
Labels: 🤔 question, 📜 specification, ✨ enhancement

#210 - add function to run VM and return its final state

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago - 2 comments

#209 - rework the Sponge instructions

Issue - State: closed - Opened by jan-ferdinand over 1 year ago - 1 comment
Labels: 📜 specification, 🟡 prio: medium, 🧑‍💻 dx/ux

#208 - Completeness bug involving squeeze

Pull Request - State: closed - Opened by Sword-Smith over 1 year ago - 1 comment

#207 - Fix opcode error and add regression test related to `lt` instruction

Pull Request - State: closed - Opened by Sword-Smith over 1 year ago - 1 comment

#206 - attest to executed program

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#205 - Completeness bug involving `lt`

Issue - State: closed - Opened by Sword-Smith over 1 year ago - 4 comments

#204 - Completeness error in program `push 0 push 0 lt halt`

Issue - State: closed - Opened by Sword-Smith over 1 year ago - 1 comment
Labels: 🪳 bug

#203 - Run-Time Permutation Check

Pull Request - State: closed - Opened by aszepieniec over 1 year ago

#202 - multiset equality checks in Triton-run code

Issue - State: open - Opened by jan-ferdinand over 1 year ago
Labels: 🕵 investigation, 🟡 prio: medium

#201 - Feature Request: Native Interface

Issue - State: closed - Opened by aszepieniec over 1 year ago
Labels: 💫 good first issue, ✨ enhancement, 🧑‍💻 dx/ux

#200 - Compilation to Triton VM

Issue - State: open - Opened by greenhat over 1 year ago - 10 comments

#199 - Add a test of public functions

Pull Request - State: closed - Opened by Sword-Smith over 1 year ago - 1 comment

#198 - add codec for proof and claim

Pull Request - State: closed - Opened by aszepieniec over 1 year ago

#197 - upgrade dependency twenty-first to v0.24.0

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#196 - Asz/add traits to program structs

Pull Request - State: closed - Opened by aszepieniec over 1 year ago

#195 - chill AIR

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#194 - don't rely on `Digest`s being `Hashable` for `BFieldCodec`

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#193 - correct the number of checks performed between ALI and FRI

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#192 - avoid unnecessary hashing in the Fiat-Shamir heuristic

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#191 - improve Triton profile

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#190 - implement DEEP-ALI

Pull Request - State: closed - Opened by jan-ferdinand over 1 year ago

#189 - implement the Red Wedding

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

#188 - Include the two new Tip5 tables in circuit test

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

#187 - add instruction `pop_count`

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

#186 - improve on memory allocation

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

#185 - parse instructions `dup` and `swap` as taking arguments

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

#184 - update to twenty-first v0.18

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

#183 - remove duplicate nodes from constraint circuits

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

#182 - change hash function to Tip5

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

#181 - rework U32 Table

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

#180 - Extend Documentation

Issue - State: open - Opened by aszepieniec almost 2 years ago - 1 comment
Labels: 🧑‍🤝‍🧑 help wanted, 📜 specification, 💫 good first issue, 🟡 prio: medium

#179 - change behavior of instructions `read_mem` and `write_mem`

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

#178 - simplify handling of challenges

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

#177 - replace involved argument for clock jump differences with 3 Lookup Args

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

#176 - Drop redundant hashing step in FRI Merke tree building

Issue - State: closed - Opened by aszepieniec almost 2 years ago - 6 comments
Labels: 🕵 investigation, 📜 specification, 💫 good first issue, ✨ enhancement, 🟢 prio: low, 🤖 code, ⏩ speedup

#175 - Logarithmic Derivative based Lookup Argument for Clock Jump Differences

Issue - State: closed - Opened by aszepieniec almost 2 years ago
Labels: 📜 specification, ✨ enhancement, 🟡 prio: medium, 🤖 code

#174 - WIP: Use SpongeHasher in STARK/FRI

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

#173 - explain the various cross-table arguments used in Triton VM

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

#172 - Merge 'state.rs' into 'vm.rs'

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

#171 - replace instruction table by lookup argument

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

#170 - add instruction `swap_digest`

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

#169 - rigorously test Triton VM's initial constraints

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