8c334d61ff
upgrade from nix-os 24.05 to 26.05
2026-06-05 06:39:53 +02:00
ee146bfe13
nix flake update
2026-06-05 06:29:07 +02:00
77830bb1b7
fix syntax error in GitHub Workflow doc-upload.yml introduced in 2ac2c84c71
2026-06-05 06:27:41 +02:00
8c2b60f898
fix: Security updates
2026-05-14 19:44:58 +02:00
01f76b9ded
fix minor formatting in dependabot configuration
2026-05-12 20:33:25 +02:00
069dfa154c
temporarily disable dependabot
2026-05-12 19:52:12 +02:00
b096cb1cc1
Regenerate cargo vet exemptions
2025-12-17 20:52:09 +01:00
9c555f0c98
chore(deps): bump actions/upload-artifact from 4 to 5
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 4 to 5.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2025-12-17 20:52:09 +01:00
433ff09c43
chore(deps): bump actions/checkout from 4 to 5 ( #700 )
2025-09-20 11:31:50 +02:00
11c055738e
chore(deps): bump actions/checkout from 4 to 5
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases )
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/checkout/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2025-09-16 08:45:06 +00:00
0c48cfb91f
feat: add preliminary miri support ( #699 )
2025-09-05 16:22:16 +02:00
3f0c71d74b
chore: Regenerate cargo vet exemptions
2025-09-05 16:22:02 +02:00
55ab57a1d0
fix: remove TODO via update of assert_tv
...
Before the fix from https://github.com/aminfa/assert_tv/issues/1 ,
`assert_tv` wouldn't pass through `#[cfg_attr(miri, ignore)]`. Now that
it is fixed, this works, thus we have one less miri test case failing.
Signed-off-by: wucke13 <wucke13+github@gmail.com >
2025-09-05 16:22:02 +02:00
49be83847b
feat: add preliminary miri support
...
- Adds a devShell with Miri
- Marks some of the tests which Miri cannot execute as ignored for Miri
Signed-off-by: wucke13 <wucke13+github@gmail.com >
2025-09-05 16:22:02 +02:00
aa42ba070b
Apply Steffens review Fixes ( #698 )
2025-09-05 16:21:45 +02:00
8bf9ca203e
feat(whitepaper): Update scientific illustrations to account for Steffen Vogel's reviews
2025-09-05 16:14:13 +02:00
8b98d4caca
fix(whitepaper): Typos
2025-09-05 16:12:11 +02:00
9d5996e71c
fix(whitepaper): Cookie feature is implemented but experimental
2025-09-05 16:12:11 +02:00
f59b63a4d3
fix(whitepaper): pidi naming typo in load_biscuit()
2025-09-05 16:12:11 +02:00
e3a88d9a5e
fix(whitepaper): Harmonize naming of package size sums in Fig 2 (Message Types)
...
Graphics to be updated later
2025-09-05 16:12:11 +02:00
3c6a3a3735
fix: Upgrade stacker
...
Potentially fixes issues with flaky tests using stacker.
2025-09-05 16:12:11 +02:00
f38949615f
feat(whitepaper): Move protocol code figure higher in white paper
2025-09-05 16:12:11 +02:00
f431301d1e
feat(whitepaper): Info about timers used
...
Text recovered from PR #145 : https://github.com/rosenpass/rosenpass/pull/145
2025-09-05 16:12:11 +02:00
771cacb8c8
feat(whitepaper): More info about initiator/responder roles
...
Text recovered from PR #145 : https://github.com/rosenpass/rosenpass/pull/145
2025-09-05 16:12:11 +02:00
6383231a6a
fix(whitepaper): biscuit_ct destructuring is destructuring a concatenation
2025-09-05 16:12:11 +02:00
4daca9ed56
chore(whitepaper): Biscuit and pidi cipher texts now called pidi_ct/biscuit_ct
2025-09-05 16:12:11 +02:00
75ff1e8292
chore(whitepaper): Nomenclature improvements
2025-09-05 16:12:11 +02:00
484af1654a
feat(whitepaper): Precise references to KEM versions
2025-09-05 16:12:11 +02:00
9c82424dee
fix(whitepaper): Relax requirements on biscuit key life times
...
…and harmonize with the implementation
2025-09-05 16:12:11 +02:00
823e5aca56
fix(whitepaper): Incorrect ordering of auth and biscuit in RespHello
...
Graphic fix to come later
2025-09-05 16:12:11 +02:00
22bf2e3990
fix(proverif): Incorrect parameter ordering in encaps_/decaps_and_mix
2025-09-05 16:12:11 +02:00
f39a43a821
fix(proverif): Remove broken protocol analysis code
...
The identity hiding and DOS protection models where never actually
functional. Here we just remove them so the CI and manual runs of
analysis.sh stop giving spurious errors.
2025-09-05 16:12:11 +02:00
bc6fa0d672
fix(whitepaper): Incorrect parameter ordering in encaps_/decaps_and_mix
...
Update of the figures in the white paper to come later.
2025-09-05 16:12:10 +02:00
db797ff11e
fix(whitepaper): Specify our incorrect (but likely secure) variant of HMAC
2025-09-05 16:12:10 +02:00
7790d82b51
fix(whitepaper): Inconsistency between implementation and whitepaper about blake2s/blake2b usage
2025-09-05 16:12:10 +02:00
b52c607efc
fix(whitepaper): Inconsistency between implementation and whitepaper about PROTOCOL label
2025-09-05 16:12:10 +02:00
d2a85a0d6b
fix(whitepaper): Inconsistency between implementation and whitepaper about labels for txki/txkr
...
Fix of Fig. 5 follows later.
2025-09-05 16:12:10 +02:00
221c583508
fix(whitepaper): Incorrect biscuit_no comparison in load_biscuit()
2025-09-05 16:12:10 +02:00
14c48cf069
fix(whitepaper): Incorrect name used
...
Fig. 5: Rosenpass Message Handling Code; in IHR5: `decaps_and_mix<SKEM>(sskr, spkr, ct1)` -> `decaps_and_mix<SKEM>(sskr, spkr, sctr)`
Actual update to the figure will be done later
2025-09-05 16:12:10 +02:00
6e43a21e74
feat(whitepaper): Brief section about endianness
2025-09-05 16:12:10 +02:00
6bfc29ef93
feat(whitepaper): Brief section about protocol roles
2025-09-05 16:12:10 +02:00
39341c0ef8
chore(whitepaper): Added an explaining paragraph to section 'Live Session State'
2025-09-05 16:12:10 +02:00
9ee86e01ec
feat(whitepaper): Comprehensive reference about packages, labels, and symmetric keys used in protocol
2025-09-05 16:12:10 +02:00
3721996f2d
chore(whitepaper): Stub for steffen vogel changelog entry
2025-09-05 16:12:10 +02:00
49ccb1ea95
fix: Spurious debug output in nix flake
2025-09-05 16:01:15 +02:00
baa534f2e2
Add integration tests ( #672 )
2025-09-03 15:52:39 +02:00
6e62cd7c36
chore(ci): Remove spurious debug output
2025-09-03 15:52:01 +02:00
a18e793a53
chore(test): Move debug print in integration tests to extra function for less repetition
2025-09-01 10:58:28 +02:00
48e9dd2a86
chore(test): Move the wireguard key generation in the integration tests to the test script to make the derivations deterministc while keeping random keys
2025-09-01 10:58:28 +02:00
7d4ae23db9
chore(test): Move generation of rosenpass keys in integration tests into test script as the frst of two steps to make the nix derivations deterministic
2025-09-01 10:58:28 +02:00
Ilka Schulz