Merge requests · Dragoon / Komodo

Merge trains

add documentation to zk module

!61 · created Apr 05, 2024 by STEVAN Antoine
- Merged
updated Apr 05, 2024
don't use a type alias for dense polynomial

!59 · created Apr 05, 2024 by STEVAN Antoine
- Merged
updated Apr 05, 2024
remove rand from dev deps

!57 · created Apr 04, 2024 by STEVAN Antoine
- Merged
updated Apr 04, 2024
refactor imports for consistency

!56 · created Apr 04, 2024 by STEVAN Antoine
- Merged
updated Apr 04, 2024
remove useless `Point = F` from `DenseUVPolynomial`

!55 · created Apr 04, 2024 by STEVAN Antoine
- Merged
updated Apr 04, 2024
fix hardcoded compress and validate values in `fs` module

!53 · created Apr 02, 2024 by STEVAN Antoine
- Merged
updated Apr 02, 2024
add a benchmark for the _trusted setup_

!52 · created Apr 02, 2024 by STEVAN Antoine
- Merged
updated Apr 02, 2024
Move functions defined in the main to the lib

!47 · created Mar 25, 2024 by DISSOUBRAY Nathan
- Merged
- 8
updated Mar 26, 2024
cleanup and documentation

!45 · created Mar 25, 2024 by STEVAN Antoine
updated Mar 26, 2024
add runtime checks for `--fec-params` in `komodo prove`

!49 · created Mar 26, 2024 by STEVAN Antoine
- Merged
- 1
updated Mar 26, 2024
bump Nushell to 0.91.0 in the CI

!50 · created Mar 26, 2024 by STEVAN Antoine
- Merged
updated Mar 26, 2024
benchmark the recoding process

!44 · created Mar 22, 2024 by STEVAN Antoine
- Merged
updated Mar 26, 2024
benchmark the `linalg` module

!43 · created Mar 22, 2024 by STEVAN Antoine
- Merged
updated Mar 26, 2024
write a better matrix display

!34 · created Mar 05, 2024 by STEVAN Antoine
updated Mar 26, 2024
split the fmt rule into fmt-check and fmt

!46 · created Mar 25, 2024 by STEVAN Antoine
- Merged
updated Mar 26, 2024
only check for bad format in the CI, do not format

!48 · created Mar 26, 2024 by STEVAN Antoine
- Merged
updated Mar 26, 2024
fix the installation of Rust in the CI

!42 · created Mar 21, 2024 by STEVAN Antoine
updated Mar 21, 2024
remove the `RUSTUP_CHANNEL` from CI

!40 · created Mar 21, 2024 by STEVAN Antoine
updated Mar 21, 2024
add a Rust toolchain file

!39 · created Mar 20, 2024 by STEVAN Antoine
- Merged
updated Mar 21, 2024
refactor the CI into a Makefile

!41 · created Mar 21, 2024 by STEVAN Antoine
- Merged
- 1
updated Mar 21, 2024