projects / dnssec-prover / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add a parse + validate fuzzer
2024-02-11 Matt CoralloAdd a parse + validate fuzzer
 commit | commitdiff | tree
2024-02-11 Matt CoralloAdd fuzzing of DNS server response parsing
 commit | commitdiff | tree
2024-02-11 Matt CoralloLimit recursion when reading name labels from other...
commit | commitdiff | tree
2024-02-11 Matt CoralloFix overflowing subtract in vec preallocation
 commit | commitdiff | tree
2024-02-11 Matt CoralloNote lack of proof verification in query method docs
 commit | commitdiff | tree
2024-02-10 Matt CoralloBump version for cross-zone CNAME proofs and new util...
commit | commitdiff | tree
2024-02-10 Matt CoralloCorrect cross-zone CNAME handling in proof generation
 commit | commitdiff | tree
2024-02-09 Matt CoralloFix various test runs in `test.sh`
 commit | commitdiff | tree
2024-02-09 Matt CoralloAdd testing of doc links in test.sh
 commit | commitdiff | tree
2024-02-09 Matt CoralloAdd a utility function to resolve CNAMEs in verified RRs
 commit | commitdiff | tree
2024-02-08 Matt CoralloBump version for SHA-1 validation
 commit | commitdiff | tree
2024-02-08 Matt CoralloSet a cache-control header on valid responses
 commit | commitdiff | tree
2024-02-08 Matt CoralloAllow validating SHA1 DS records
 commit | commitdiff | tree
2024-02-08 Matt CoralloBump version mostly for docs.rs to display all methods
 commit | commitdiff | tree
2024-02-08 Matt CoralloEnable all features for docs.rs builds
 commit | commitdiff | tree
2024-02-08 Matt CoralloReject names containing "s
 commit | commitdiff | tree
2024-02-08 Matt CoralloAdd JSON writing of records, primarily for the WASM...
commit | commitdiff | tree
2024-02-08 Matt CoralloBump release version for various cleanups
 commit | commitdiff | tree
2024-02-08 Matt CoralloClean up some comments
 commit | commitdiff | tree
2024-02-08 Matt CoralloAdd WASM validation library
 commit | commitdiff | tree
2024-02-08 Matt CoralloReturn early if we get a response with no answers
 commit | commitdiff | tree
2024-02-08 Matt CoralloInclude an octet-stream header/CORS headers in proof...
commit | commitdiff | tree
2024-02-07 Matt CoralloAccept query names by reference for downstream flexibility
 commit | commitdiff | tree
2024-02-07 Matt CoralloFeature-gate validation and document crate features
 commit | commitdiff | tree
2024-02-06 Matt CoralloBump version to 0.3.2 for bug fixes
 commit | commitdiff | tree
2024-02-06 Matt CoralloMake HTTP server large-req DoS safe rather than using...
commit | commitdiff | tree
2024-02-06 Matt CoralloCorrect TXT sort order on unlikely edge cases
 commit | commitdiff | tree
2024-02-06 Matt CoralloCorrect length calculation when writing TXT records
 commit | commitdiff | tree
2024-02-06 Matt CoralloBump version for bug fixes
 commit | commitdiff | tree
2024-02-06 Matt CoralloCorrect TXT record sort order
 commit | commitdiff | tree
2024-02-06 Matt CoralloCorrect proof validation for records at a zone root
 commit | commitdiff | tree
2024-02-06 Matt CoralloCorrect proof building for records at a zone root
 commit | commitdiff | tree
2024-02-06 Matt CoralloInclude the resolver-provided TTL in the response
 commit | commitdiff | tree
2024-02-06 Matt Coralloimpl Debug/Clone on VerifiedRRStream
 commit | commitdiff | tree
2024-02-06 Matt CoralloAdd test script
 commit | commitdiff | tree
2024-02-06 Matt CoralloBump version now that we're (relatively) feature-complete
 commit | commitdiff | tree
2024-02-06 Matt CoralloClean up documentation TODO
 commit | commitdiff | tree
2024-02-06 Matt CoralloAdd trivial HTTP server which serves proofs
 commit | commitdiff | tree
2024-02-06 Matt CoralloMove validation into a validation module, rather than...
commit | commitdiff | tree
2024-02-06 Matt CoralloMarginally resolve time rollovers, giving us until...
commit | commitdiff | tree
2024-02-06 Matt CoralloReturn the time bounds on validated RR sets
 commit | commitdiff | tree
2024-02-05 Matt CoralloBump version to 0.2 as we now have full proof building...
commit | commitdiff | tree
2024-02-05 Matt CoralloEnable querying async using tokio
 commit | commitdiff | tree
2024-02-05 Matt CoralloAdd support for building proofs using a local recursive...
commit | commitdiff | tree
2024-02-05 Matt CoralloAdd support for parsing compressed names out of wire...
commit | commitdiff | tree
2024-02-05 Matt CoralloAdd support for A/AAAA/NS records
 commit | commitdiff | tree
2024-02-05 Matt CoralloSplit the library into three modules for maintainability
 commit | commitdiff | tree
2024-02-05 Matt CoralloAdd support for wildcard validation
 commit | commitdiff | tree
2024-02-05 Matt CoralloAdd support for CNAME resource records
 commit | commitdiff | tree
2024-02-05 Matt CoralloSupport returning verified RRs from multiple zones...
commit | commitdiff | tree
2024-02-05 Matt CoralloFix repository link
 commit | commitdiff | tree
2024-02-05 Matt CoralloShuffle the ordering of RRs when validating an RR stream...
commit | commitdiff | tree
2024-02-05 Matt CoralloAdd license and Cargo metadata
 commit | commitdiff | tree
2024-02-05 Matt CoralloInitial checkin
 commit | commitdiff | tree
Generates and validates RFC 9102-formatted DNSSEC proofs