projects / dnssec-prover / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dnssec-prover
12 days ago Matt CoralloAvoid overriding $RUSTFLAGS when needed for rustc 1.63 main master commit | commitdiff
12 days ago Matt CoralloBump minor version for crypto speedup and validation... v0.5.4 commit | commitdiff
12 days ago Matt CoralloLimit the number of validation steps we'll take commit | commitdiff
2024-05-07 Matt CoralloProvide sources for the EC math and use a faster double... commit | commitdiff
2024-05-07 Matt CoralloAdd some comments about mont reduction to make it a... commit | commitdiff
2024-05-07 Matt CoralloCheck the assumption that P-N is tiny commit | commitdiff
2024-05-07 Matt CoralloWrite out "Point at Infinity" commit | commitdiff
2024-05-07 Matt CoralloRename `IntModP`/`IntModN` to `CurveField`/`ScalarField` commit | commitdiff
2024-05-07 Matt CoralloAdd a dummy `http.rs` main to make default rust builds... commit | commitdiff
2024-05-07 Matt CoralloAddress further clippy lints commit | commitdiff
2024-05-07 Matt CoralloMake crypto/ clippy-clean, mostly by telling clippy... commit | commitdiff
2024-05-07 Matt CoralloBetter support rustc 1.64+ by not requiring `RUSTC_BOOT... commit | commitdiff
2024-05-07 Matt CoralloAddress new rustc warnings around unused variables commit | commitdiff
2024-05-07 Matt CoralloFix const build error in the previous commits commit | commitdiff
2024-05-03 Matt CoralloClean up and better comment math somewhat further commit | commitdiff
2024-05-03 Matt CoralloClean up carry/debug assertions in multiplies/squaring commit | commitdiff
2024-05-03 Matt CoralloClean up + test add/sub/negate, fixing a debug assert... commit | commitdiff
2024-05-03 Matt CoralloSwap `add_one!(_)` for `add_u64!(_, 1)` commit | commitdiff
2024-04-14 Matt CoralloSet default-features = false on uniffi, not that it... commit | commitdiff
2024-04-14 Matt CoralloAdd the standard uniffi-bindgen bin target commit | commitdiff
2024-04-14 Matt CoralloExpose uniffi bindings for building and verifying proofs commit | commitdiff
2024-04-14 Matt CoralloBump crate version for new `Clone` impl commit | commitdiff
2024-04-14 Matt CoralloDerive `Clone` for `ProofBuilder` commit | commitdiff
2024-04-14 Matt CoralloFilter using `VerifiedRRStream::resolve_name` in wasm commit | commitdiff
2024-04-03 Matt CoralloBump version to 0.5.2 for dropping ring dep commit | commitdiff
2024-04-03 Matt CoralloIteratively hash rather than building a vec then hashing commit | commitdiff
2024-04-03 Matt CoralloMake `write_u16_len_prefixed_data` generic over the... commit | commitdiff
2024-04-03 Matt CoralloAdd the wycheproof test cases for our crypto implementation commit | commitdiff
2024-04-03 Matt CoralloSwap `ring` for our own in-crate ECDSA validator commit | commitdiff
2024-04-03 Matt CoralloAdd U256/U384 and mod-const-prime wrapper utilities... commit | commitdiff
2024-04-03 Matt CoralloAdd a simple benchmark of 2048-bit RSA validation commit | commitdiff
2024-04-03 Matt CoralloSwap `ring` for our own in-crate RSA validator commit | commitdiff
2024-04-03 Matt CoralloAdd a relatively simple mostly-const-fn bigint math... commit | commitdiff
2024-04-03 Matt CoralloEnable (minimal) optimization in tests commit | commitdiff
2024-04-03 Matt CoralloTest fuzzers build and release build in test.sh commit | commitdiff
2024-04-03 Matt CoralloAdd support back for SHA-384 DS records commit | commitdiff
2024-03-20 Matt CoralloMove RRSig loop to after DS loop to be more mindful... commit | commitdiff
2024-03-02 Matt CoralloBump version for NSEC/3 validation commit | commitdiff
2024-03-02 Matt CoralloAdd new tests to test NSEC validation behavior commit | commitdiff
2024-03-02 Matt CoralloDrop NSEC/3 records from `VerifiedRRStream::verified_rrs` commit | commitdiff
2024-03-02 Matt CoralloValidate NSec/3 records prove non-existence when handli... commit | commitdiff
2024-03-02 Matt CoralloRefresh existing test data and add NSEC/3 records commit | commitdiff
2024-03-02 Matt CoralloAdd base32 parser which is needed for NSEC3 validation commit | commitdiff
2024-03-02 Matt CoralloCorrect `NSecTypeMask::contains_type` and add `from_typ... commit | commitdiff
2024-03-02 Matt CoralloUse `bitcoin_hashes` rather than `ring` for hashing commit | commitdiff
2024-02-26 Matt CoralloBump version for NSEC/3 record type additions and proof... commit | commitdiff
2024-02-26 Matt CoralloInclude any relevant NSec/NSec3 records in generated... commit | commitdiff
2024-02-26 Matt CoralloAdd de/serialization and structs for NSec and NSec3... commit | commitdiff
2024-02-26 Matt CoralloDefine a util method to convert a type value to the... commit | commitdiff
2024-02-26 Matt CoralloAdd debug checks that we don't leave data behind after... commit | commitdiff
2024-02-26 Matt CoralloRefuse to include \s in the JSON output of a TXT record commit | commitdiff
2024-02-26 Matt CoralloForce all names to lowercase ASCII as it is the canonic... commit | commitdiff
2024-02-26 Matt CoralloAdd trivial helper method to get the label count in... commit | commitdiff
2024-02-12 Matt CoralloBump version number for DNAME support commit | commitdiff
2024-02-12 Matt CoralloSwap test domain to something more sustainable commit | commitdiff
2024-02-12 Matt CoralloAdd support for DNAME resolution commit | commitdiff
2024-02-12 Matt CoralloAdd note about DoH proof building usage. commit | commitdiff
2024-02-12 Matt CoralloBump version for bug fixes and new query APIs commit | commitdiff
2024-02-12 Matt CoralloAdd WASM/JS support for doing full lookups using DoH commit | commitdiff
2024-02-12 Matt CoralloExpose `QueryBuf` constructors and utilities commit | commitdiff
2024-02-12 Matt CoralloAdd a fuzzer of the proof building state machine commit | commitdiff
2024-02-12 Matt CoralloAvoid allocating for all message buffers, expose queryi... commit | commitdiff
2024-02-12 Matt CoralloUse (and expose) a `ProofBuilder` state machine for... commit | commitdiff
2024-02-12 Matt CoralloExpose constants for various supported record wire... commit | commitdiff
2024-02-11 Matt CoralloImplement Display for Name commit | commitdiff
2024-02-11 Matt CoralloAdd a parse + validate fuzzer commit | commitdiff
2024-02-11 Matt CoralloAdd fuzzing of DNS server response parsing commit | commitdiff
2024-02-11 Matt CoralloLimit recursion when reading name labels from other... commit | commitdiff
2024-02-11 Matt CoralloFix overflowing subtract in vec preallocation commit | commitdiff
2024-02-11 Matt CoralloNote lack of proof verification in query method docs commit | commitdiff
2024-02-10 Matt CoralloBump version for cross-zone CNAME proofs and new util... commit | commitdiff
2024-02-10 Matt CoralloCorrect cross-zone CNAME handling in proof generation commit | commitdiff
2024-02-09 Matt CoralloFix various test runs in `test.sh` commit | commitdiff
2024-02-09 Matt CoralloAdd testing of doc links in test.sh commit | commitdiff
2024-02-09 Matt CoralloAdd a utility function to resolve CNAMEs in verified RRs commit | commitdiff
2024-02-08 Matt CoralloBump version for SHA-1 validation commit | commitdiff
2024-02-08 Matt CoralloSet a cache-control header on valid responses commit | commitdiff
2024-02-08 Matt CoralloAllow validating SHA1 DS records commit | commitdiff
2024-02-08 Matt CoralloBump version mostly for docs.rs to display all methods commit | commitdiff
2024-02-08 Matt CoralloEnable all features for docs.rs builds commit | commitdiff
2024-02-08 Matt CoralloReject names containing "s commit | commitdiff
2024-02-08 Matt CoralloAdd JSON writing of records, primarily for the WASM... commit | commitdiff
2024-02-08 Matt CoralloBump release version for various cleanups commit | commitdiff
2024-02-08 Matt CoralloClean up some comments commit | commitdiff
2024-02-08 Matt CoralloAdd WASM validation library commit | commitdiff
2024-02-08 Matt CoralloReturn early if we get a response with no answers commit | commitdiff
2024-02-08 Matt CoralloInclude an octet-stream header/CORS headers in proof... commit | commitdiff
2024-02-07 Matt CoralloAccept query names by reference for downstream flexibility commit | commitdiff
2024-02-07 Matt CoralloFeature-gate validation and document crate features commit | commitdiff
2024-02-06 Matt CoralloBump version to 0.3.2 for bug fixes commit | commitdiff
2024-02-06 Matt CoralloMake HTTP server large-req DoS safe rather than using... commit | commitdiff
2024-02-06 Matt CoralloCorrect TXT sort order on unlikely edge cases commit | commitdiff
2024-02-06 Matt CoralloCorrect length calculation when writing TXT records commit | commitdiff
2024-02-06 Matt CoralloBump version for bug fixes commit | commitdiff
2024-02-06 Matt CoralloCorrect TXT record sort order commit | commitdiff
2024-02-06 Matt CoralloCorrect proof validation for records at a zone root commit | commitdiff
2024-02-06 Matt CoralloCorrect proof building for records at a zone root commit | commitdiff
2024-02-06 Matt CoralloInclude the resolver-provided TTL in the response commit | commitdiff
2024-02-06 Matt Coralloimpl Debug/Clone on VerifiedRRStream commit | commitdiff
2024-02-06 Matt CoralloAdd test script commit | commitdiff
next
Generates and validates RFC 9102-formatted DNSSEC proofs