dnssec-prover
12 days ago Matt CoralloAdd the standard uniffi-bindgen bin target main master
12 days ago Matt CoralloExpose uniffi bindings for building and verifying proofs
12 days ago Matt CoralloBump crate version for new `Clone` impl
12 days ago Matt CoralloDerive `Clone` for `ProofBuilder`
12 days ago Matt CoralloFilter using `VerifiedRRStream::resolve_name` in wasm
2024-04-03 Matt CoralloBump version to 0.5.2 for dropping ring dep
2024-04-03 Matt CoralloIteratively hash rather than building a vec then hashing
2024-04-03 Matt CoralloMake `write_u16_len_prefixed_data` generic over the...
2024-04-03 Matt CoralloAdd the wycheproof test cases for our crypto implementation
2024-04-03 Matt CoralloSwap `ring` for our own in-crate ECDSA validator
2024-04-03 Matt CoralloAdd U256/U384 and mod-const-prime wrapper utilities...
2024-04-03 Matt CoralloAdd a simple benchmark of 2048-bit RSA validation
2024-04-03 Matt CoralloSwap `ring` for our own in-crate RSA validator
2024-04-03 Matt CoralloAdd a relatively simple mostly-const-fn bigint math...
2024-04-03 Matt CoralloEnable (minimal) optimization in tests
2024-04-03 Matt CoralloTest fuzzers build and release build in test.sh
2024-04-03 Matt CoralloAdd support back for SHA-384 DS records
2024-03-20 Matt CoralloMove RRSig loop to after DS loop to be more mindful...
2024-03-02 Matt CoralloBump version for NSEC/3 validation
2024-03-02 Matt CoralloAdd new tests to test NSEC validation behavior
2024-03-02 Matt CoralloDrop NSEC/3 records from `VerifiedRRStream::verified_rrs`
2024-03-02 Matt CoralloValidate NSec/3 records prove non-existence when handli...
2024-03-02 Matt CoralloRefresh existing test data and add NSEC/3 records
2024-03-02 Matt CoralloAdd base32 parser which is needed for NSEC3 validation
2024-03-02 Matt CoralloCorrect `NSecTypeMask::contains_type` and add `from_typ...
2024-03-02 Matt CoralloUse `bitcoin_hashes` rather than `ring` for hashing
2024-02-26 Matt CoralloBump version for NSEC/3 record type additions and proof...
2024-02-26 Matt CoralloInclude any relevant NSec/NSec3 records in generated...
2024-02-26 Matt CoralloAdd de/serialization and structs for NSec and NSec3...
2024-02-26 Matt CoralloDefine a util method to convert a type value to the...
2024-02-26 Matt CoralloAdd debug checks that we don't leave data behind after...
2024-02-26 Matt CoralloRefuse to include \s in the JSON output of a TXT record
2024-02-26 Matt CoralloForce all names to lowercase ASCII as it is the canonic...
2024-02-26 Matt CoralloAdd trivial helper method to get the label count in...
2024-02-12 Matt CoralloBump version number for DNAME support
2024-02-12 Matt CoralloSwap test domain to something more sustainable
2024-02-12 Matt CoralloAdd support for DNAME resolution
2024-02-12 Matt CoralloAdd note about DoH proof building usage.
2024-02-12 Matt CoralloBump version for bug fixes and new query APIs
2024-02-12 Matt CoralloAdd WASM/JS support for doing full lookups using DoH
2024-02-12 Matt CoralloExpose `QueryBuf` constructors and utilities
2024-02-12 Matt CoralloAdd a fuzzer of the proof building state machine
2024-02-12 Matt CoralloAvoid allocating for all message buffers, expose queryi...
2024-02-12 Matt CoralloUse (and expose) a `ProofBuilder` state machine for...
2024-02-12 Matt CoralloExpose constants for various supported record wire...
2024-02-11 Matt CoralloImplement Display for Name
2024-02-11 Matt CoralloAdd a parse + validate fuzzer
2024-02-11 Matt CoralloAdd fuzzing of DNS server response parsing
2024-02-11 Matt CoralloLimit recursion when reading name labels from other...
2024-02-11 Matt CoralloFix overflowing subtract in vec preallocation
2024-02-11 Matt CoralloNote lack of proof verification in query method docs
2024-02-10 Matt CoralloBump version for cross-zone CNAME proofs and new util...
2024-02-10 Matt CoralloCorrect cross-zone CNAME handling in proof generation
2024-02-09 Matt CoralloFix various test runs in `test.sh`
2024-02-09 Matt CoralloAdd testing of doc links in test.sh
2024-02-09 Matt CoralloAdd a utility function to resolve CNAMEs in verified RRs
2024-02-08 Matt CoralloBump version for SHA-1 validation
2024-02-08 Matt CoralloSet a cache-control header on valid responses
2024-02-08 Matt CoralloAllow validating SHA1 DS records
2024-02-08 Matt CoralloBump version mostly for docs.rs to display all methods
2024-02-08 Matt CoralloEnable all features for docs.rs builds
2024-02-08 Matt CoralloReject names containing "s
2024-02-08 Matt CoralloAdd JSON writing of records, primarily for the WASM...
2024-02-08 Matt CoralloBump release version for various cleanups
2024-02-08 Matt CoralloClean up some comments
2024-02-08 Matt CoralloAdd WASM validation library
2024-02-08 Matt CoralloReturn early if we get a response with no answers
2024-02-08 Matt CoralloInclude an octet-stream header/CORS headers in proof...
2024-02-07 Matt CoralloAccept query names by reference for downstream flexibility
2024-02-07 Matt CoralloFeature-gate validation and document crate features
2024-02-06 Matt CoralloBump version to 0.3.2 for bug fixes
2024-02-06 Matt CoralloMake HTTP server large-req DoS safe rather than using...
2024-02-06 Matt CoralloCorrect TXT sort order on unlikely edge cases
2024-02-06 Matt CoralloCorrect length calculation when writing TXT records
2024-02-06 Matt CoralloBump version for bug fixes
2024-02-06 Matt CoralloCorrect TXT record sort order
2024-02-06 Matt CoralloCorrect proof validation for records at a zone root
2024-02-06 Matt CoralloCorrect proof building for records at a zone root
2024-02-06 Matt CoralloInclude the resolver-provided TTL in the response
2024-02-06 Matt Coralloimpl Debug/Clone on VerifiedRRStream
2024-02-06 Matt CoralloAdd test script
2024-02-06 Matt CoralloBump version now that we're (relatively) feature-complete
2024-02-06 Matt CoralloClean up documentation TODO
2024-02-06 Matt CoralloAdd trivial HTTP server which serves proofs
2024-02-06 Matt CoralloMove validation into a validation module, rather than...
2024-02-06 Matt CoralloMarginally resolve time rollovers, giving us until...
2024-02-06 Matt CoralloReturn the time bounds on validated RR sets
2024-02-05 Matt CoralloBump version to 0.2 as we now have full proof building...
2024-02-05 Matt CoralloEnable querying async using tokio
2024-02-05 Matt CoralloAdd support for building proofs using a local recursive...
2024-02-05 Matt CoralloAdd support for parsing compressed names out of wire...
2024-02-05 Matt CoralloAdd support for A/AAAA/NS records
2024-02-05 Matt CoralloSplit the library into three modules for maintainability
2024-02-05 Matt CoralloAdd support for wildcard validation
2024-02-05 Matt CoralloAdd support for CNAME resource records
2024-02-05 Matt CoralloSupport returning verified RRs from multiple zones...
2024-02-05 Matt CoralloFix repository link
2024-02-05 Matt CoralloShuffle the ordering of RRs when validating an RR strea...
2024-02-05 Matt CoralloAdd license and Cargo metadata
2024-02-05 Matt CoralloInitial checkin