aboutsummaryrefslogtreecommitdiff
path: root/crates/tor-netdoc/src
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'extra-info-init' into 'main'Nick Mathewson7 days2-0/+245
|\ | | | | | | | | Initialize extra-info module See merge request tpo/core/arti!4284
| * tor-netdoc: Initialize extra-info moduleClara Engler2026-08-052-0/+245
| | | | | | | | | | | | | | | | | | | | | | This commit initializes the doc::extra_info module in tor-netdoc, which is still marked as incomplete and will be extended in the future. Right now, it is very barebones by only supporting the introduction item as well as the bare minimum required for verification. It also adds a simple unit test, which iterates over the available test data, parses and verifies it.
* | tor-netdoc: Fix outdated rustdoc for misc.rsClara Engler2026-08-121-2/+0
| | | | | | | | | | | | | | | | This commit fixes an outdated rustdoc comment with regard to the misc.rs types and their publicity. Most of these types have been public for a while now and this comment is outdated.
* | tor-netdoc: Derive PartialEq and Eq for LifetimeClara Engler2026-08-101-1/+1
| | | | | | | | Needed for tor-dirserver testing.
* | Merge branch 'fix-incomplete' into 'main'Nick Mathewson2026-08-051-2/+0
|\ \ | | | | | | | | | | | | tor-netdoc: Fix left-over incompletes See merge request tpo/core/arti!4273
| * | tor-netdoc: Fix left-over incompletesClara Engler2026-08-041-2/+0
| | | | | | | | | | | | | | | This removes two left over incomplete feature flags. Follow-up to c20df8c5f879806f7044c6e26d9e69404c88cfa3.
* | | Merge branch 'rd-comment-outdated' into 'main'gabi-2502026-08-051-5/+0
|\ \ \ | |_|/ |/| | | | | | | | tor-netdoc: Remove outdated top-level RouterDesc comment See merge request tpo/core/arti!4274
| * | tor-netdoc: Remove outdated top-level RouterDesc commentClara Engler2026-08-041-5/+0
| |/ | | | | | | | | | | | | | | This feature is no longer present and we now always compile with router descriptors enabled, deferring the optimization to the Rust compiler and linker respectively. Follow-up to arti!3972
* | Merge branch 'consistent-rd-doclinks' into 'main'opara2026-08-041-37/+18
|\ \ | | | | | | | | | | | | Make RouterDesc item docs consistent See merge request tpo/core/arti!4279
| * | tor-netdoc: Make RouterDesc item docs consistentClara Engler2026-08-041-37/+18
| |/ | | | | | | | | | | | | | | | | | | Right now, the documentation for the items is inconsistent in the sense that some items contain specification links whereas others contain copies of the specification. This has historic reasons during the development, but ultimately links to the specification are superior, as they provide up-to-date information and are the canonical source.
* | tor-netdoc: Run cargo-fmt subsequentiallyClara Engler2026-08-044-9/+15
| | | | | | | | No functional change, purely formatting.
* | tor-netdoc: Move misc::routerdesc into types::descriptorClara Engler2026-08-045-178/+186
| | | | | | | | | | | | | | | | | | | | This commit moves the remainder of misc::routerdesc into a new module called types::descriptor, which contains the shared types needed in router descriptors as well as extra-info documents. Please review with --color-moved --color-moved-ws=allow-indentation-change, as this is mainly code motion, except for parts where inputs and type aliases had to be fixed.
* | tor-netdoc: Split types::misc::routerdesc into routerdescClara Engler2026-08-042-181/+177
|/ | | | | | | | | | | | | | This commit moves all non-signature related parts from types::misc::routerdesc into doc::routerdesc, because they are only required for that specific netdoc. The signature related parts will be moved in the next commits, as we will need those for extra info documents as well. Review with --color-moved --color-moved-ws=allow-indentation-change. This is mostly code motion with small import/type name fixes being the notable exception.
* tor-netdoc: Mark RouterDesc verification as completeClara Engler2026-08-031-4/+1
|
* tor-netdoc: Run cargo-fmtClara Engler2026-08-031-68/+68
| | | | | No functional change, please review with --minimal --color-moved --color-moved-ws=allow-indentation-change.
* tor-netdoc: Use TimeRangeBoundBuilder for verificationClara Engler2026-08-031-34/+13
| | | | | | | | | | | This commit utilizes TimeRangeBoundBuilder for the verification of router descriptors by replacing all calls of `.dangerously_unwrap_timely()` with `.unwrap_with()`, while also wrapping the actual logic inside a closure which is then called by `TimeRangeBound::build_intersect()` in the end. Keep in mind, that the replacement also leads to the removal of the use of tuples, as `.unwrap_with()` only returns the actual item.
* Merge branch 'test-support-more' into 'main'Clara Engler2026-08-034-70/+71
|\ | | | | | | | | tor-netdoc: testing: Expose some more test utilities See merge request tpo/core/arti!4250
| * tor-netdoc: testing: Expose regsubIan Jackson2026-07-303-9/+14
| | | | | | | | Involves code motion. Review with --color-moved.
| * tor-netdoc: testing: Expose assert_eq_or_diff (fmt)Ian Jackson2026-07-301-7/+1
| | | | | | | | I don't understand why this suddenly, but whatever.
| * tor-netdoc: testing: Expose assert_eq_or_diffIan Jackson2026-07-303-60/+63
| | | | | | | | Involves lots of code motion. Review with --color-moved.
| * tor-netdoc: testing: Remove a spurious cfgIan Jackson2026-07-301-1/+0
| | | | | | | | This whole module is gated by the very same condition.
| * tor-netdoc: testing: Actually expose the test_support moduleIan Jackson2026-07-301-1/+1
| | | | | | | | I discovered this didn't work, when I tried to use it.
* | tor-netdoc: Mark RouterDescUnverified::verify() incompleteClara Engler2026-07-301-0/+3
| | | | | | | | Better do it before the release so we can think about it a bit more.
* | tor-netdoc: Properly obtain min/max for start and end timeClara Engler2026-07-301-2/+2
| | | | | | | | | | | | | | | | | | | | | | We need to obtain the maximum of the lower bound and the minimum of the upper bound instead of vice versa. Another example on why we should replace this with a better implementation. Likewise, `expiry` in the legacy verification code is also obtained like that.
* | tor-netdoc: Rename min/max to start and end timeClara Engler2026-07-301-5/+7
| | | | | | | | | | This makes it more clear, besides it will sound more "correct" with the next commit applied.
* | tor-netdoc: Add various TODO follow-upsClara Engler2026-07-302-3/+8
| |
* | tor-netdoc: Make RouterDescUnverified::verify() publicClara Engler2026-07-301-2/+1
| |
* | tor-netdoc: Run cargo-fmtClara Engler2026-07-301-3/+13
| |
* | tor-netdoc: Allow dead_code for RouterDesc::verifyClara Engler2026-07-301-0/+1
| | | | | | | | Otherwise clippy complains.
* | tor-netdoc: Add large RouterDesc verification testClara Engler2026-07-301-1/+169
| | | | | | | | | | This commit adds a comprehensive test for router descriptor verification that tests various valid and invalid edge cases.
* | tor-netdoc: Add test only rd_encode_sign() methodClara Engler2026-07-301-0/+46
| | | | | | | | | | | | | | This is a bad encode_sign() method for RouterDesc that is testing only and will be used soon to implement testing for invalid router descriptors, for which we may need to create invalid ones in the first place.
* | tor-netdoc: Call .verify() in test_parse2_simpleClara Engler2026-07-301-1/+8
| |
* | tor-netdoc: Add RouterDescUnverified::verify()Clara Engler2026-07-301-5/+118
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit implements verification for router descriptors. 🎉 For this, the following checks are performed: * RouterDesc::identity_ed25519 is validly signed. * RouterDesc::master_key_ed25519 is as implied by identity_ed25519. * RouterDesc::fingerprint is as implied by RouterDesc::signing_key. * RouterDesc::ntor_onion_key_crosscert is validly signed. * RouterDesc::signing_key has correct length and exponent. * All RouterDesc::family_cert elements are valid. * The inner and outer RouterDescSignatures are valid. Unfortunately, we now have two implementations for that, as the legacy parse_internal() also implements its own verification logic for this. It seems merging these two together however would probably cause more harm than good, as the legacy verification is closely intertwined with legacy parsing, making a commonly shared verification logic hard to achieve. In other words: parse2 parses the descriptor in its entirety first, followed by verification afterwards, whereas the legacy code parses and verifies every field before advancing towards the next. Instead, I suggest to read through RouterDesc::parse_internal() and ensure that every verification related check present there is also present here. The notable exception to this is everything TAP related, which is absent on purpose here. Right now, this code is untested. I will add unit tests shortly afterwards.
* | tor-netdoc: Derive Copy for Ed25519PublicClara Engler2026-07-291-1/+1
|/ | | | The underlying type also implements Copy. We will need it later.
* tor-netdoc: routerdesc: Abolish onion-key & -crosscert handling in old parserIan Jackson2026-07-291-38/+0
| | | | | | | `onion_key_crosscert` was already absent from `RouterDesc`, even though its item `onion-key-crosscert` was processed by the old parser. Delete it all.
* tor-netdoc: routerdesc: Abolish onion-key (obsolete TAP) fieldIan Jackson2026-07-291-11/+1
| | | | | | | | | | | | | | | | | See prop350 https://spec.torproject.org/proposals/350-remove-tap.html This is part of "Phase 3, Item 2: Remove vestigial TAP code in Arti". Technically we are not at phase 3 yet, because we haven't yet sunsetted C Tor 0.4.8 and made the dirauth changes in Phase 2. However, this field is not used in Arti right now. RouterDescs are used by client code for handling bridges (but we never use TAP keys), and the RouterDesc type will be used for generation and mirroring by by Arti Relay/Dirauth. In prop350 we have decided that we won't be deploying Arti Relay until this as been done.
* Merge branch 'clippy' into 'main'opara2026-07-272-6/+2
|\ | | | | | | | | Fix some recently-appearing clippy lints See merge request tpo/core/arti!4240
| * tor-netdoc: Replace two open-coded slice::fillIan Jackson2026-07-272-6/+2
| | | | | | | | Placates recent clippy.
* | Merge branch 'intern' into 'main'Ian Jackson2026-07-272-7/+4
|\ \ | | | | | | | | | | | | Tidy some uses of Intern See merge request tpo/core/arti!4233
| * | tor-netdoc: Make RouterStatus.port_policy use Intern, not ArcIan Jackson2026-07-272-2/+1
| | | | | | | | | | | | We intern these in Microdesc, and should be consistent.
| * | tor-netdoc: Make the str in a SoftwareVersion be Intern (fmt)Ian Jackson2026-07-271-3/+1
| | |
| * | tor-netdoc: Make the str in a SoftwareVersion be InternIan Jackson2026-07-271-3/+3
| |/ | | | | | | Rather than converting it to an Arc. This is the new idiom for Intern.
* | Merge branch 'testdata-export-bis' into 'main'Ian Jackson2026-07-271-61/+7
|\ \ | |/ |/| | | | | tor-netdoc testdata-live: More shell script, less macrology See merge request tpo/core/arti!4238
| * tor-netdoc testdata-live: Switch to generated_consts.rsIan Jackson2026-07-271-61/+7
| | | | | | | | | | This gits rid of the macrology, apart from the generated macro module file.
* | Merge branch 'netdoc-affordances' into 'main'Ian Jackson2026-07-275-20/+36
|\ \ | | | | | | | | | | | | tor-netdoc: Add a few affordances See merge request tpo/core/arti!4235
| * | tor-netdoc: docs: fix typos and linkifyIan Jackson2026-07-271-2/+2
| | | | | | | | | | | | | | | | | | As per https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/4235#note_3439437 https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/4235#note_3439438
| * | tor-netdoc: Don't writhe in a doc commentIan Jackson2026-07-271-1/+1
| | | | | | | | | | | | | | | As per https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/4235#note_3439436
| * | tor-netdoc: derive Hash for netstatus::ConsensusMethodsIan Jackson2026-07-231-1/+1
| | |
| * | tor-netdoc: Use encode_netdoc_unsigned in several placesIan Jackson2026-07-233-19/+9
| | |
| * | tor-netdoc: Provide free functions for encodingIan Jackson2026-07-231-0/+26
| | | | | | | | | | | | | | | I keep finding I want to encode things and then I have to prat about with a NetdocEncoder. Let's provide potted versions.