Skip to content

v0.21.0

release Triton VM v0.21.0
@jan-ferdinand jan-ferdinand tagged this 09 May 06:02 
- Fix soundness bug: correct the number of checks performed between
  DEEP-ALI and FRI. (0400d0c3)
- Remove state from the STARK's struct. Parameters are now passed as
  arguments to both prover and verifier. (9d92e0db)
- Avoid unnecessary hashing in the Fiat-Shamir heuristic.
  In particular, anything that has already been committed to does not
  need to be committed to again. Similarly, if no more randomness is
  sampled, changing the Sponge's state is unnecessary. (0bc5f63d)
- Drop the claimed padded height from the proof. (2372461a)
- Special-case base and extension fields when evaluating the AIR for a
  slight speedup. (4547b961)
- Document zk-STARK parameters and lower the number of trace randomizers
  to match the now-used DEEP-ALI. (b1740b71)
- In testing the STARK, use `2^log_2_exp_factor`, not
  `2^(2^log_2_exp_factor)`, speeding up tests. (304a7ea7)
- Upgrade dependency `twenty-first`. (f0ab8c0a)
- sort profiled categories by their duration. (57825878)
- Fail with specific error message instead of panic. (7cf318be)
- Make `StarkParameters` (de)serializeable. (ca7cbe03)
- Don't rely on `Digest`s being `Hashable`. (d504fc20)
- Add test for the DEEP update. (29780b06)
- Make some assertions already at compile-time. (564a1279, e12db597)
- Various readability improvements. (adf2ef83, 04dd984d, 5d3dd1a1)
Assets 2
Loading