| Commit message (Collapse) | Author | Age | Files | Lines |
| ... | |
| | | |
| | |
| | |
| | |
| | | |
When trying to repro a live consensus, I discovered that `reject 25`
turned into `accept 1-24,26-65535`.
|
| | | |
| | |
| | |
| | |
| | |
| | | |
Use // to force rustdoc to multi-line layout. That makes the layout
uniform across all these test cases, and will make the next commit
clearer.
|
| | | |
| | |
| | |
| | |
| | | |
We'll want this in a moment, not just invert in place. I was tempted
to remove the mutating form, but there are at least two call sites.
|
| | | | |
|
| | | |
| | |
| | |
| | | |
It's Copy, in fact. But Copy iterators are a hazard.
|
| | | |
| | |
| | |
| | | |
We're going to want this for a more clever formatting algorithm.
|
| |\ \ \
| | | |
| | | |
| | | |
| | | | |
Encoding for RelayPlatform
See merge request tpo/core/arti!4114
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | |
| | | | |
ItemArgumentParseable does not make much sense because the field is
effectively a free-form field similar to ContactInfo.
|
| | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
As a follow up to !4022 and discussed on IRC:
> Since we don't think we need to check the keys are different I think
> it's OK to delete the thing in the tests that insists we have such a
> check.
> [...]
> We are the relying party here. That MUST is directed to the signing
> party. As reliers we don't need to check it.
|
| |/ / /
| | |
| | |
| | |
| | |
| | | |
Fixes a TODO as discussed in !4022.
Review with --color-moved.
|
| |\ \ \
| | | |
| | | |
| | | |
| | | | |
tor-netdoc: fix EncodedAuthCert parsing
See merge request tpo/core/arti!4104
|
| | |/ /
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
It would swallow the whole rest of the document, leading to bizarre
output on re-encoding.
There is no test case for this in-tree (which is why this is cfg
"incomplete"), but I have a full roundtrip test of a vote (which
contains an authcert) in a wip branch, which detected this problem.
|
| |\ \ \
| |_|/
|/| |
| | |
| | | |
Avoid string slices in netdoc types
See merge request tpo/core/arti!4103
|
| | | |
| | |
| | |
| | |
| | | |
This commit replaces the use of string slices in LongIdent by using
.strip_prefix() and .split_once() instead.
|
| | | |
| | |
| | |
| | |
| | | |
Replaces the use of a string slice in conjuction with .rfind() with a
call to .rsplit_once().
|
| | | |
| | |
| | |
| | |
| | |
| | |
| | | |
This commit replaces the use of a string slice in an address parse
helper by replacing calls to `.starts_with` / `.ends_with` to calls with
`.strip_prefix` / `.strip_suffix` and using the respective `.is_some()`
for the boolean like value, making the result functionally equivalent.
|
| | | |
| | |
| | |
| | |
| | | |
This commit replaces the use of string slices in IpPattern with a call
to split_once(). Either review as it is or with --word-diff=color.
|
| | |/
| |
| |
| |
| |
| |
| |
| |
| |
| | |
This commit replaces a string slice use in PortRange with a call to
.split_string().
Either review the change as an entire rewrite, as the function in itself
is pretty small or use --color-moved --color-moved-ws=ignore-all-space
if you want to verify that the lines regarding a port range without a
hyphen is still using the same logic.
|
| | | |
|
| |/ |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
In a wip branch I added a variant, and clippy complained. In this
case, I agree with clippy.
warning: all variants have the same postfix: `Authorities`
--> crates/tor-netdoc/src/doc/netstatus.rs:2335:1
|
2335 | / pub(crate) enum VerifyGeneralTrustedAuthorities<'r> {
2336 | | /// Trust these authorities.
2337 | | TrustTheseAuthorities {
2338 | | /// The HKP_auth_id_rsa
... |
2357 | | },
2358 | | }
| |_^
|
= help: remove the postfixes and use full paths to the variants instead of glob imports
= help: for further information visit https://rust-lang.github.io/rust-clippy/beta/index.html#enum_variant_names
note: the lint level is defined here
--> crates/tor-netdoc/src/lib.rs:9:9
|
9 | #![warn(clippy::all)]
| ^^^^^^^^^^^
= note: `#[warn(clippy::enum_variant_names)]` implied by `#[warn(clippy::all)]`
|
| |\
| |
| |
| |
| | |
tor-netdoc: overhaul consensus verification, in preparation for parse2 ns verification
See merge request tpo/core/arti!4065
|
| | |
| |
| |
| |
| | |
As per
https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/4065#note_3423331
|
| | | |
|
| | | |
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
This avoids passing the threshold around as a bare usize, separated
out from the list of trusted authorities.
Roughly as discussed in
https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/4065#note_3423775
But, VGTA::HazardouslyAssumeAllAuthCertsAreRealAuthorities contains
n_authorities, not the thtreshold. That's what its user has, and that
allows us to centralise the threshold calculation somewhat.
The situation with votes in poc is a bit odd now: we pass one cert and
then there's one authority so the threshold of 1 is calculated rather
than literal. That's OK, but also we perhaps aren't going to use
verify_general for votes in the production.
|
| | | |
|
| | | |
|
| | |
| |
| |
| | |
No functional change with the existing caller.
|
| | |
| |
| |
| |
| |
| |
| | |
Introduce ConsensusVerifiabilityError.
No functional change with the existing callere, which discards the
error value.
|
| | |
| |
| |
| |
| |
| | |
Now the caller can use .map_err rather than if .ok().
No functional change.
|
| | |
| |
| |
| | |
No functional change.
|
| | |
| |
| |
| |
| |
| |
| |
| | |
Move the body of check_signature into verify_general.
check_signature was the only thing that returned SigCheckResult.
No functional change.
|
| | |
| |
| |
| |
| |
| |
| |
| |
| | |
And split check_signature into signature_to_verify which obtains a
ConsensusSignatureToVerify, and then a call to .verify().
The return values are still a bit janky.
No functional change.
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
In an attempt to check that the new verification code makes sense, we
compare it with the freshly rewritten one in poc.
To review this, compare the code being deleted with the body of
verify_general (doc/netstatus.rs, line 2164 et seq).
You'll also want to refer to the body of find_cert and
check_signature (lines 2068-2086).
|
| | |
| |
| |
| |
| |
| |
| | |
Like verify_general does.
(This wasn't a bug before, because we could the length of ok, so all
that would happen is we'd do some extra work.)
|
| | |
| |
| |
| |
| |
| | |
Obtain the hash first, like verify_general does.
No significant functional change, and this is poc code anyway.
|
| | | |
|
| | |
| |
| |
| |
| |
| | |
This makes the code more like that in verify_general.
No functional change, and this is poc code anyway.
|
| | |
| |
| |
| |
| |
| |
| | |
Previously this was arguably needed for clarity. With the new hash
finding arrangements, much less so.
No functional change.
|
| | |
| |
| |
| |
| |
| |
| | |
Use an exhaustive pattern. This allows us to spot any fields which
we omit to look at, which would be an indication of a possible bug.
No functional change.
|
| | |
| |
| |
| | |
No functional change with the current caller.
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
This does not fix the bug with the old parser. The old parser always
uses the `sha1` field in `hashes` even when `sha1_unnamed` would be
right. But it also always sets `sha1`.
Or to put it another way, because the old parser parses an unspecified
algorithm as if it were explicitly `sha1`, it then both sets the
digest_algo to DigestAlgoInSignature(Some(...)), and writes the hash
to the `sha1` field.
So this does not have an overall functional change with the old
parser, and nothing else calls this.
I'm fixing this here, now, so that the new parser doesn't inherit the
bug. The new parser will set `digest_algo` correctly, and correctly
write the hash to `sha1` or `sha1_unnamed`.
What a terrible protocol this is.
|
| | |
| |
| |
| | |
No functional change.
|
| | |
| |
| |
| |
| |
| |
| |
| | |
This is going to be the entrypoint for sharing verification code with
parse2. For now it must be pub(crate) since we're going to call it
from poc.
No functional change.
|
| | |
| |
| |
| |
| |
| |
| |
| |
| | |
This commit adds a unit test for NtorOnionKeyCrossCert that tests
whether it can be successfully decoded and verified if enough fields are
given.
The test itself is performed on keys with a negative as well as keys
with a positive sign as the argument.
|
| | |
| |
| |
| |
| |
| |
| |
| |
| | |
This commit adds the NtorOnionKeyCrossCert data type; a data type
implementing ItemValueParseable, intended for use within RouterDesc and
parse2.
This type wraps around the previously added Ed25519NtorCrossCert type in
a fashion that honors the `bit` argument.
|
| | |
| |
| |
| |
| | |
As per
https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/4059#note_3424494
|