Skip to content

v0.0.61

Choose a tag to compare

@patrick-ogrady patrick-ogrady released this 08 Sep 18:00
· 1056 commits to main since this release
dc1ead8

Changes

New Contributors

Full Changelog: v0.0.60...v0.0.61

Stats

 .github/workflows/quint.yml                        |    2 +-
 AGENTS.md                                          |   31 +-
 Cargo.lock                                         |   69 +-
 Cargo.toml                                         |   30 +-
 broadcast/Cargo.toml                               |    2 +-
 codec/Cargo.toml                                   |    2 +-
 codec/fuzz/Cargo.toml                              |    2 +-
 codec/src/types/vec.rs                             |   45 +-
 coding/Cargo.toml                                  |    2 +-
 coding/fuzz/Cargo.toml                             |    2 +-
 collector/Cargo.toml                               |    3 +-
 collector/src/lib.rs                               |   12 +-
 collector/src/p2p/engine.rs                        |   12 +-
 collector/src/p2p/ingress.rs                       |    8 +-
 collector/src/p2p/mocks/mod.rs                     |    1 +
 collector/src/p2p/mocks/sender.rs                  |   42 +
 collector/src/p2p/mod.rs                           |  119 +-
 consensus/Cargo.toml                               |    2 +-
 consensus/src/aggregation/engine.rs                |    2 +-
 consensus/src/ordered_broadcast/engine.rs          |    2 +-
 consensus/src/simplex/actors/voter/actor.rs        |    2 +-
 .../src/threshold_simplex/actors/voter/actor.rs    |    2 +-
 cryptography/Cargo.toml                            |    5 +-
 cryptography/fuzz/Cargo.toml                       |    3 +-
 cryptography/fuzz/fuzz_targets/blake3_hasher.rs    |   26 +-
 cryptography/fuzz/fuzz_targets/metamorph_lthash.rs |    3 +
 cryptography/fuzz/fuzz_targets/sha256_hasher.rs    |   53 +-
 cryptography/src/blake3/mod.rs                     |    4 +-
 cryptography/src/bls12381/dkg/dealer.rs            |    4 +-
 cryptography/src/bls12381/dkg/mod.rs               |   22 +-
 cryptography/src/bls12381/dkg/ops.rs               |    4 +-
 cryptography/src/bls12381/primitives/group.rs      |    4 +-
 cryptography/src/bls12381/primitives/ops.rs        |    4 +-
 cryptography/src/bls12381/primitives/poly.rs       |    4 +-
 cryptography/src/bls12381/primitives/variant.rs    |    8 +-
 cryptography/src/bls12381/scheme.rs                |    6 +-
 cryptography/src/bls12381/tle.rs                   |    6 +-
 cryptography/src/ed25519/scheme.rs                 |    7 +-
 cryptography/src/lib.rs                            |   10 +-
 cryptography/src/secp256r1/scheme.rs               |    4 +-
 cryptography/src/sha256/mod.rs                     |    4 +-
 cryptography/src/transcript.rs                     |  367 +++++
 deployer/Cargo.toml                                |    2 +-
 docs/shared.js                                     |    2 +-
 examples/bridge/Cargo.toml                         |    2 +-
 examples/chat/Cargo.toml                           |    2 +-
 examples/estimator/Cargo.toml                      |    2 +-
 examples/flood/Cargo.toml                          |    2 +-
 examples/log/Cargo.toml                            |    2 +-
 examples/sync/Cargo.toml                           |    2 +-
 examples/sync/src/bin/server.rs                    |    3 +
 examples/sync/src/databases/any.rs                 |    5 +-
 examples/sync/src/databases/immutable.rs           |    4 +-
 examples/sync/src/databases/mod.rs                 |    4 +-
 examples/vrf/Cargo.toml                            |    3 +-
 examples/vrf/src/handlers/contributor.rs           |    6 +-
 macros/Cargo.toml                                  |    2 +-
 p2p/Cargo.toml                                     |    2 +-
 p2p/src/lib.rs                                     |    4 +-
 pipeline/minimmit/minimmit.md                      |   40 +-
 pipeline/minimmit/quint/defs.qnt                   |    2 +-
 .../quint/{main_n6f0.qnt => main_n6f1b0.qnt}       |    5 +-
 .../quint/{main_n6f1.qnt => main_n6f1b1.qnt}       |    3 +-
 .../quint/{main_n6f2.qnt => main_n6f2b2.qnt}       |    3 +-
 .../quint/{main_n7f1.qnt => main_n7f1b1.qnt}       |    3 +-
 pipeline/minimmit/quint/makefile                   |   33 +-
 pipeline/minimmit/quint/option.qnt                 |    2 +-
 pipeline/minimmit/quint/replica.qnt                |  448 +++---
 pipeline/minimmit/quint/scripts/invariant.sh       |    2 +-
 pipeline/minimmit/quint/scripts/smoke.sh           |   50 +
 pipeline/minimmit/quint/tests/tests_n6f0.qnt       |  851 -----------
 pipeline/minimmit/quint/tests/tests_n6f1.qnt       |  174 ---
 pipeline/minimmit/quint/tests/tests_n6f1b0.qnt     | 1600 ++++++++++++++++++++
 pipeline/minimmit/quint/tests/tests_n6f1b1.qnt     |  175 +++
 pipeline/minimmit/quint/tests/tests_n7f1.qnt       |  176 ---
 pipeline/minimmit/quint/tests/tests_n7f1b1.qnt     |  175 +++
 pipeline/minimmit/quint/twins_n6f1b1.qnt           |   41 +
 pipeline/minimmit/quint/types.qnt                  |   40 +-
 resolver/Cargo.toml                                |    8 +-
 runtime/Cargo.toml                                 |    2 +-
 runtime/fuzz/Cargo.toml                            |    2 +-
 storage/Cargo.toml                                 |    2 +-
 storage/fuzz/Cargo.toml                            |    2 +-
 .../fuzz/fuzz_targets/adb_current_operations.rs    |   59 +-
 storage/fuzz/fuzz_targets/adb_operations.rs        |   23 +-
 storage/fuzz/fuzz_targets/adb_sync.rs              |   25 +-
 storage/fuzz/fuzz_targets/journal_operations.rs    |   18 +-
 storage/src/adb/any/fixed/mod.rs                   |  711 ++++-----
 storage/src/adb/any/fixed/sync.rs                  |  225 +--
 storage/src/adb/any/variable/mod.rs                |  464 +++---
 storage/src/adb/any/variable/sync.rs               |   23 +-
 storage/src/adb/benches/bench.rs                   |    8 +-
 storage/src/adb/benches/current_init.rs            |    3 +-
 storage/src/adb/benches/fixed_generate.rs          |  131 ++
 storage/src/adb/benches/fixed_init.rs              |    3 +-
 storage/src/adb/benches/keyless_generate.rs        |  110 ++
 storage/src/adb/benches/variable_generate.rs       |  138 ++
 storage/src/adb/current.rs                         |  380 ++---
 storage/src/adb/immutable/mod.rs                   |  121 +-
 storage/src/adb/immutable/sync/mod.rs              |    2 +-
 storage/src/adb/keyless.rs                         |  841 ++++++++--
 storage/src/adb/mod.rs                             |   37 +
 storage/src/adb/sync/resolver.rs                   |    8 +-
 storage/src/archive/prunable/storage.rs            |    2 +-
 storage/src/cache/storage.rs                       |    2 +-
 storage/src/freezer/storage.rs                     |    1 +
 storage/src/journal/fixed.rs                       |   52 +-
 storage/src/journal/variable.rs                    |  156 +-
 storage/src/mmr/journaled.rs                       |   54 +-
 storage/src/mmr/mem.rs                             |   12 +-
 storage/src/store/mod.rs                           |  174 ++-
 stream/Cargo.toml                                  |    2 +-
 stream/fuzz/Cargo.toml                             |    2 +-
 utils/Cargo.toml                                   |    4 +-
 utils/fuzz/Cargo.toml                              |    2 +-
 utils/fuzz/fuzz_targets/bitvec.rs                  |  169 ++-
 utils/fuzz/fuzz_targets/lib_functions.rs           |    6 +-
 utils/fuzz/fuzz_targets/priority_set.rs            |   38 +-
 utils/src/lib.rs                                   |   35 +-
 119 files changed, 5707 insertions(+), 3164 deletions(-)