]> git.bitcoin.ninja Git - dnssec-prover/history
dnssec-prover
2024-08-01 Matt CoralloBump version to 0.6.5 for new less-code-size feature main master v0.6.5
2024-08-01 Matt CoralloUse Karatsuba mul less when built with `slower_smaller_... smaller-bin
2024-08-01 Matt CoralloDrop 384-bit multiplication impl with `slower_smaller_b...
2024-08-01 Matt CoralloSkip squaring implementations when `slower_smaller_bina...
2024-08-01 Matt CoralloAdd a feature to slow things down for a smaller binary
2024-08-01 Matt CoralloVery marginally reduce branching in Karatsuba multiplic...
2024-08-01 Matt CoralloBump version to 0.6.4 for fixed MSRV, errors, and perf... v0.6.4
2024-08-01 Matt CoralloOptimize U256/384 `times_three` methods substantially
2024-08-01 Matt CoralloUse gradeschool multiplication for `mul_3/4` rather...
2024-08-01 Matt CoralloUse a single const-generic `sub` method rather than...
2024-08-01 Matt CoralloUse a single const generic `add` method rather than...
2024-08-01 Matt CoralloMake multiplication take array references rather than...
2024-08-01 Matt CoralloMake subtraction take array references rather than...
2024-08-01 Matt CoralloMake addition take array references rather than slices
2024-08-01 Matt CoralloMove mont reduction impls out of generic'd struct impl
2024-08-01 Matt CoralloAdd a dummy binary to test code size with `cargo bloat`
2024-07-26 Matt CoralloPrint info about which test failed when a test panics
2024-07-22 Matt CoralloMerge remote-tracking branch 'github/pull/2'
2024-07-22 Matt CoralloCorrect the MSRV tag as we use several 1.61-stable...
2024-07-22 Matt CoralloAdd a `RUST_VERSION` env argument to `test.sh` to enabl...
2024-07-22 Elias RohrerFix outdated docs
2024-07-12 Matt CoralloProvide readable errors when we fail to build proofs
2024-07-11 Matt CoralloAdd a simple README
2024-07-10 Matt CoralloBump patch version for new `Hash` impls v0.6.3
2024-07-10 Matt CoralloImplement `Hash` for all Resource Records and `Name`
2024-07-10 Matt CoralloBump patch version for new MSRV v0.6.2
2024-07-10 Matt CoralloDrop MSRV to 1.63 w/o `RUSTC_BOOTSTRAP` hacks with...
2024-07-09 Matt CoralloBump patch version for `TxtBytes` iteration behavior v0.6.1
2024-07-09 Matt CoralloCorrect `TxtBytes` iteration behavior, fixing `Txt...
2024-07-09 Matt CoralloBump minor version for corrected strange `Txt` signatur... v0.6.0
2024-07-09 Matt CoralloAdd a new query test hosted on an OVH DNS server
2024-07-09 Matt CoralloKeep encoding information in `Txt` `RR`s
2024-07-09 Matt CoralloBump patch version for length check and extra `RRSig... v0.5.5
2024-07-09 Matt CoralloCorrect length check in `read_nsec_typtes_bitmap`
2024-07-09 Matt CoralloRm debug assertions that `read_wire_packet_name` emptie...
2024-07-09 Matt CoralloFix fuzz test build
2024-07-09 Matt CoralloCall `RR.json()` when deserializing RRs in fuzzing
2024-07-09 Matt CoralloIgnore spurious `RRSig`s which sign `DNSKEY`s with...
2024-05-21 Matt CoralloAvoid overriding $RUSTFLAGS when needed for rustc 1.63
2024-05-21 Matt CoralloBump minor version for crypto speedup and validation... v0.5.4
2024-05-21 Matt CoralloLimit the number of validation steps we'll take
2024-05-07 Matt CoralloProvide sources for the EC math and use a faster double...
2024-05-07 Matt CoralloAdd some comments about mont reduction to make it a...
2024-05-07 Matt CoralloCheck the assumption that P-N is tiny
2024-05-07 Matt CoralloWrite out "Point at Infinity"
2024-05-07 Matt CoralloRename `IntModP`/`IntModN` to `CurveField`/`ScalarField`
2024-05-07 Matt CoralloAdd a dummy `http.rs` main to make default rust builds...
2024-05-07 Matt CoralloAddress further clippy lints
2024-05-07 Matt CoralloMake crypto/ clippy-clean, mostly by telling clippy...
2024-05-07 Matt CoralloBetter support rustc 1.64+ by not requiring `RUSTC_BOOT...
2024-05-07 Matt CoralloAddress new rustc warnings around unused variables
2024-05-07 Matt CoralloFix const build error in the previous commits
2024-05-03 Matt CoralloClean up and better comment math somewhat further
2024-05-03 Matt CoralloClean up carry/debug assertions in multiplies/squaring
2024-05-03 Matt CoralloClean up + test add/sub/negate, fixing a debug assert...
2024-05-03 Matt CoralloSwap `add_one!(_)` for `add_u64!(_, 1)`
2024-04-14 Matt CoralloSet default-features = false on uniffi, not that it...
2024-04-14 Matt CoralloAdd the standard uniffi-bindgen bin target
2024-04-14 Matt CoralloExpose uniffi bindings for building and verifying proofs
2024-04-14 Matt CoralloBump crate version for new `Clone` impl
2024-04-14 Matt CoralloDerive `Clone` for `ProofBuilder`
2024-04-14 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...
next