TritonVM/tasm-lib

Issues

• Remove `RUST_MIN_STACK` env variable once rustc v1.81.0 is out

  #117 opened 3 months ago by Sword-Smith
  0

• Return both "write" and "read" address when statically allocating memory

  #119 opened 3 months ago by Sword-Smith
  0

• Add check that proof-length is correct

  #133 opened 3 months ago by Sword-Smith
  0

• Flaky test `hashing::algebraic_hasher::sample_scalars_static_length_kmalloc::tests::verify_agreement_with_tip5_sample_scalars`

  #132 opened 3 months ago by Sword-Smith
  2

• Add further separation of dynamically allocated pages?

  #129 opened 3 months ago by Sword-Smith
  1

• Add Docstring to `init_stack_for_isolated_run`

  #127 opened 3 months ago by Sword-Smith
  0

• Different `TasmObject::MAX_OFFSET` values for different structs?

  #128 opened 3 months ago by Sword-Smith
  0

• Ensure `dyn_malloc` doesn't allocate outside its region

  #122 opened 3 months ago by Sword-Smith
  0

• Add function to return "first_free_address" of ND-memory

  #125 opened 3 months ago by Sword-Smith
  0

• Function `encode_to_memory` should take reference to object without ownership

  #124 opened 3 months ago by aszepieniec
  0

• Improve specification of dynamic/static memory allocation

  #123 opened 4 months ago by Sword-Smith
  0

• test and benchmark infrastructure should panic on runs where stack is not initialized.

  #120 opened 4 months ago by Sword-Smith
  0

• u32-table row count is non-deterministic in some benchmarks

  #118 opened 4 months ago by Sword-Smith
  0

• Verifier optimizations

  #106 opened 6 months ago by Sword-Smith
  1

• `multiset_equality_digests` is unsound

  #115 opened 4 months ago by Sword-Smith
  0

• Add snippet for set-equality of two `u64` lists

  #114 opened 4 months ago by Sword-Smith
  0

• flaky test: ` list::multiset_equality_digests::tests::prop_test`

  #112 opened 4 months ago by Sword-Smith
  0

• optimize `leaf_index_to_mt_index_and_peak_index`

  #113 opened 4 months ago by Sword-Smith
  0

• Add an `assert_sorted_u64s` snippet

  #111 opened 4 months ago by Sword-Smith
  0

• Rederive or remove `TasmObject` implementation for `MmrMembershipProof`

  #110 opened 4 months ago by Sword-Smith
  0

• BagPeaks is inefficient

  #109 opened 5 months ago by aszepieniec
  1

• Add negative test and possibly rename `add_u128`

  #108 opened 5 months ago by Sword-Smith
  0

• Remove manually added hints on all values passed to caller?

  #83 opened 9 months ago by Sword-Smith
  3

• Flaky negative test for MerkleVerify`snippet

  #104 opened 6 months ago by Sword-Smith
  1

• Get rid of use of `zip` in FRI verifier

  #101 opened 6 months ago by Sword-Smith
  1

• Add negative test for FRI using bad authentication path

  #105 opened 6 months ago by Sword-Smith
  0

• `tasmlib_verifier_vm_proof_iter_dequeue_next_as_fripolynomial` must reject polynomials with leading zero coefficients

  #98 opened 7 months ago by Sword-Smith
  0

• Add snippet for authentication MMR leaf where `leaf_index` is *not* given through non-deterministic input

  #99 opened 7 months ago by Sword-Smith
  0

• Barycentric evaluation

  #96 opened 7 months ago by Sword-Smith
  0

• Add snippet for standalone-verifier

  #95 opened 7 months ago by Sword-Smith
  0

• Benchmarking should include opstack table height and RAM table height

  #62 opened 8 months ago by Sword-Smith
  1

• Get rid of `VmOutputState`

  #89 opened 8 months ago by Sword-Smith
  1

• Change all prefix names from `tasm` to `tasmlib`

  #71 opened 8 months ago by Sword-Smith
  3

• Add snippet for absorbing statically-sized sequences

  #94 opened 8 months ago by Sword-Smith
  0

• Add snippets for taking XFE to the power of $2^n$

  #93 opened 8 months ago by Sword-Smith
  0

• All programs using `DynMalloc` should verify that dynamic allocator is initialized to zero?

  #92 opened 8 months ago by Sword-Smith
  0

• TasmObject derive can't handle trailing comma in where clause.

  #91 opened 8 months ago by dan-da
  0

• `split_off_pbt` test is flaky

  #87 opened 8 months ago by Sword-Smith
  1

• Rewrite `hash_varlen` trait to implement `Procedure`

  #88 opened 9 months ago by Sword-Smith
  0

• Missing snippets for recufier

  #74 opened 9 months ago by Sword-Smith
  0

• Add `next_power_of_two` for `u32`

  #80 opened 10 months ago by Sword-Smith
  1

• add proc macro: derive `tasm-lib`'s `StructType` from the actual struct

  #79 opened 10 months ago by jan-ferdinand
  0

• Add test to verify that `exported_snippets` structure is correct

  #76 opened 10 months ago by Sword-Smith
  0

• Align snippet names with `SpongeHasher` and `AlgebraicHasher` traits

  #72 opened 10 months ago by Sword-Smith
  1

• Improvements to Alan's new traits

  #65 opened a year ago by Sword-Smith
  7

• Suggested Memory Conventions

  #66 opened a year ago by Sword-Smith
  3

• Add `swap` method for lists

  #67 opened a year ago by Sword-Smith
  0

• In case we ever want a proper dynamic allocator

  #63 opened a year ago by Sword-Smith
  0

• negative test for merkle_verify

  #60 opened a year ago by aszepieniec
  1

• New subtraction snippets

  #58 opened a year ago by Sword-Smith
  0