Implement human-readable serde for `Witness` by tcharding · Pull Request #1068 · rust-bitcoin/rust-bitcoin

tcharding · 2022-06-28T06:24:10Z

This is dr-orlovsky's PR picked up at his permission in the discussion thread.

I went through the review comments and implemented everything except the perf optimisations. Also includes a patch at the front of the PR that adds a unit test that can be run to see the "before and after", not sure if we want it in, perhaps it should be removed before merge.

This PR implicitly fixes 942.

To test this PR works as advertised run cargo test display_transaction --features=serde -- --nocapture after creating a unit test as follows:

    // Used to verify that parts of a transaction pretty print.
    // `cargo test display_transaction --features=serde -- --nocapture`
    #[cfg(feature = "serde")]
    #[test]
    fn serde_display_transaction() {
        let tx_bytes = Vec::from_hex(
            "02000000000101595895ea20179de87052b4046dfe6fd515860505d6511a9004cf12a1f93cac7c01000000\
            00ffffffff01deb807000000000017a9140f3444e271620c736808aa7b33e370bd87cb5a078702483045022\
            100fb60dad8df4af2841adc0346638c16d0b8035f5e3f3753b88db122e70c79f9370220756e6633b17fd271\
            0e626347d28d60b0a2d6cbb41de51740644b9fb3ba7751040121028fa937ca8cba2197a37c007176ed89410\
            55d3bcb8627d085e94553e62f057dcc00000000"
        ).unwrap();
        let tx: Transaction = deserialize(&tx_bytes).unwrap();
        let ser = serde_json::to_string_pretty(&tx).unwrap();
        println!("{}", ser);
    }

Fixes: #942

src/blockdata/witness.rs

tcharding · 2022-06-28T23:58:46Z

Changes in force push:

Use loop suggestion from @RCasatta to remove allocation

Kixunil

Quick review for now.

Kixunil · 2022-06-29T11:53:24Z

src/blockdata/witness.rs

This allocates, however if we use collect_str it will be slower for default implementations because we can't reserve(). So I suggest not to worry about it at least for now.

Kixunil · 2022-06-29T11:58:00Z

src/blockdata/witness.rs

Please avoid as, use .into() instead.

Sure thing, I think you told me this before. I must not have fully groked it then, so I went looking :) Is it because as can be lossy and from only does lossless conversions?

ref: https://stackoverflow.com/questions/48795329/what-is-the-difference-between-fromfrom-and-as-in-rust

Yes, in this case as is guaranteed to be lossless but it's better to not have to manually check that and the property survives across refactors. (Such refactors almost certainly will not happen here but let's keep good habits, OK? :))

Why this still contains as and was marked resolved? Also still uses -.

Seems that fresh mountain air on my week off broke my brain, I thought we had a discussion about no using default '-' and I don't see that. Not to mention that the '-' is still there like you say. Anyways, I've removed it and use Unexpected::Unsigned when its not a char (like I remember you suggesting previously). Thanks for patiently, repeatedly pointing out my mistakes :)

src/blockdata/witness.rs

Kixunil · 2022-06-29T12:08:02Z

src/blockdata/witness.rs

I think we could avoid allocations if we used custom visitor. That's why I originally suggested to call the one above HRVisitor so that the other one can be called BinaryVisitor (suggest better name please).

Righto, I'll have a play with it.

I must not be fully understanding where all the allocations are occurring. I came up with the code below but it seems to me that this code is going to contain the exact same number of allocations as line 343 above (one for each element, and the one outer vector).

fn visit_seq<A: serde::de::SeqAccess<'de>>(self, mut a: A) -> Result<Self::Value, A::Error> { let mut ret = Vec::new(); while let Some(elem) = a.next_element::<Vec<u8>>()? { ret.push(elem); } Ok(Witness::from_vec(ret)) }

What am I missing?

I meant to build Witness as non-nested Vec directly. You need to use next_element_seed and a bit more machinery to support it. This example looks very similar to what we have here, you can pretty much copy it minus some generics (we have u8). Note that that example forgot to call reserve() in front of the inner for loop. Should have this:

if let Some(size_hint) = seq.size_hint() { self.0.reserve(size_hint); }

I had a good play with this, was educational. Its separate from this PR because its an optimisation, right? I think the correct way to go about it is merge this naive version (fixes the ugly serialization) and then create an separate issue/PR to do it as in the example you link. Would that be fair?

I don't care if it's merged in this one or a separate one.

Cool, I'll do it as a separate PR. Cheers.

9bf9591 Optimize Witness Serialization (DanGould) Pull request description: fix #942 > self.to_vec() allocates, it should be possible to avoid it - just feed the items into serializer. based on #1068 ACKs for top commit: Kixunil: ACK 9bf9591 apoelstra: ACK 9bf9591 Tree-SHA512: 14553dfed20aee50bb6361d44986b38556cbb3e112e1b4d9e3b401c3da831b6bdf159089966254cf371c225ae929fc78516c96a6114b40a7bc1fda7305295e4a

As is customary leave a line of white space between functions.

No need for a line of whitespace immediately starting an impl block.

Re-order the import statements in `witness` module to separate `crate` imports from dependency imports.

apoelstra · 2022-07-11T21:52:34Z

I suspect that serializaiton could also avoid the to_hex allocation -- but yes, let's go ahead and do that in another PR :)

apoelstra

ACK 4c1dfafcdd8284685fbb0bf880d3cb47bb46d541

Kixunil · 2022-07-12T20:32:59Z

@apoelstra It's not a clear win - if the serializer uses the default implementation we end up having slower code. I just posted to IRLO about this

Kixunil

Were some changes lost by accident?

Kixunil · 2022-07-12T20:34:38Z

src/blockdata/transaction.rs

I think we should use assert_eq. I know changes to serde would break this but seems less bad than manually checking with funny flags.

I decided to remove the test all together. I put it in the PR description in case anyone wants to verify that this PR works as advertised.

Kixunil · 2022-07-12T20:36:53Z

src/blockdata/witness.rs

with_capacity

Done, cheers.

Kixunil · 2022-07-12T20:39:13Z

src/blockdata/witness.rs

Why this still contains as and was marked resolved? Also still uses -.

This also removes tests for JSON backward-compatible encoding. Human-readable encoding will be changed in the next commit and this will break backward compatibility, thus that part of the test is removed.

Previous implementations of Witness (and Vec<Vec<u8>>) serde serialization didn't support human-readable representations. This resulted in long unreadable JSON/YAML byte arrays, which were especially ugly when pretty-printed (a line per each byte). Co-authored-by: Tobin C. Harding <me@tobin.cc>

tcharding · 2022-07-12T23:33:36Z

Changes in force push:

Dropped patch that added the unit test displaying Witness
Modified commit 68577dfb Witness human-readable serde by doing
- Added import for serde stuff to shorten types/lines
- Removed use of unwrap_or('-'), used multiple different serde error types
- Used into instead of as

apoelstra

ACK a1df62a

Kixunil

ACK a1df62a

9bf9591 Optimize Witness Serialization (DanGould) Pull request description: fix #942 > self.to_vec() allocates, it should be possible to avoid it - just feed the items into serializer. based on rust-bitcoin/rust-bitcoin#1068 ACKs for top commit: Kixunil: ACK 9bf9591 apoelstra: ACK 9bf9591 Tree-SHA512: 14553dfed20aee50bb6361d44986b38556cbb3e112e1b4d9e3b401c3da831b6bdf159089966254cf371c225ae929fc78516c96a6114b40a7bc1fda7305295e4a

…for `Witness` a1df62a Witness human-readable serde test (Dr Maxim Orlovsky) 68577df Witness human-readable serde (Dr Maxim Orlovsky) 93b66c5 Witness serde: test binary encoding to be backward-compatible (Dr Maxim Orlovsky) b409ae7 witness: Refactor import statements (Tobin C. Harding) e23d3a8 Remove unnecessary whitespace (Tobin C. Harding) ac55b10 Add whitespace between functions (Tobin C. Harding) Pull request description: This is dr-orlovsky's [PR](rust-bitcoin/rust-bitcoin#899) picked up at his permission in the discussion thread. I went through the review comments and implemented everything except the perf optimisations. Also includes a patch at the front of the PR that adds a unit test that can be run to see the "before and after", not sure if we want it in, perhaps it should be removed before merge. This PR implicitly fixes 942. To test this PR works as advertised run `cargo test display_transaction --features=serde -- --nocapture` after creating a unit test as follows: ```rust // Used to verify that parts of a transaction pretty print. // `cargo test display_transaction --features=serde -- --nocapture` #[cfg(feature = "serde")] #[test] fn serde_display_transaction() { let tx_bytes = Vec::from_hex( "02000000000101595895ea20179de87052b4046dfe6fd515860505d6511a9004cf12a1f93cac7c01000000\ 00ffffffff01deb807000000000017a9140f3444e271620c736808aa7b33e370bd87cb5a078702483045022\ 100fb60dad8df4af2841adc0346638c16d0b8035f5e3f3753b88db122e70c79f9370220756e6633b17fd271\ 0e626347d28d60b0a2d6cbb41de51740644b9fb3ba7751040121028fa937ca8cba2197a37c007176ed89410\ 55d3bcb8627d085e94553e62f057dcc00000000" ).unwrap(); let tx: Transaction = deserialize(&tx_bytes).unwrap(); let ser = serde_json::to_string_pretty(&tx).unwrap(); println!("{}", ser); } ``` Fixes: #942 ACKs for top commit: apoelstra: ACK a1df62a Kixunil: ACK a1df62a Tree-SHA512: d0ef5b8cbf1cf8456eaaea490a793f1ac7dfb18067c4019a2c3a1bdd9627a231a4dd0a0151a4df9af2b32b909d4b384a5bec1dd3e38d44dc6a23f9c40aa4f1f9

tcharding mentioned this pull request Jun 28, 2022

Witness human-readable serde #899

Closed

tcharding force-pushed the 06-28-display-witness branch from d3b3168 to ec9ca48 Compare June 28, 2022 06:28

RCasatta reviewed Jun 28, 2022

View reviewed changes

src/blockdata/witness.rs Outdated Show resolved Hide resolved

DanGould reviewed Jun 28, 2022

View reviewed changes

src/blockdata/witness.rs Outdated Show resolved Hide resolved

DanGould mentioned this pull request Jun 28, 2022

Optimize Witness Serialization #1071

Merged

tcharding force-pushed the 06-28-display-witness branch 2 times, most recently from 5e47fe4 to 2181c0a Compare June 28, 2022 23:58

tcharding added this to the 0.29.0 milestone Jun 29, 2022

Kixunil reviewed Jun 29, 2022

View reviewed changes

tcharding added 3 commits July 11, 2022 11:51

Add whitespace between functions

ac55b10

As is customary leave a line of white space between functions.

Remove unnecessary whitespace

e23d3a8

No need for a line of whitespace immediately starting an impl block.

witness: Refactor import statements

b409ae7

Re-order the import statements in `witness` module to separate `crate` imports from dependency imports.

tcharding force-pushed the 06-28-display-witness branch from 2181c0a to 4c1dfaf Compare July 11, 2022 01:57

apoelstra previously approved these changes Jul 11, 2022

View reviewed changes

Kixunil reviewed Jul 12, 2022

View reviewed changes

dr-orlovsky and others added 3 commits July 13, 2022 09:23

Witness serde: test binary encoding to be backward-compatible

93b66c5

This also removes tests for JSON backward-compatible encoding. Human-readable encoding will be changed in the next commit and this will break backward compatibility, thus that part of the test is removed.

Witness human-readable serde test

a1df62a

tcharding dismissed apoelstra’s stale review via a1df62a July 12, 2022 23:31

tcharding force-pushed the 06-28-display-witness branch from 4c1dfaf to a1df62a Compare July 12, 2022 23:31

apoelstra approved these changes Jul 13, 2022

View reviewed changes

tcharding requested review from Kixunil, RCasatta and dr-orlovsky July 18, 2022 04:31

tcharding added the one ack PRs that have one ACK, so one more can progress them label Jul 18, 2022

Kixunil approved these changes Jul 18, 2022

View reviewed changes

Kixunil added the API break This PR requires a version bump for the next release label Jul 18, 2022

apoelstra merged commit cd790dc into rust-bitcoin:master Jul 18, 2022

tcharding deleted the 06-28-display-witness branch July 20, 2022 01:37

Conversation

tcharding commented Jun 28, 2022 • edited by apoelstra Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

Uh oh!

tcharding commented Jun 28, 2022

Uh oh!

Kixunil left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Kixunil Jun 30, 2022 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

apoelstra commented Jul 11, 2022

Uh oh!

apoelstra left a comment

Choose a reason for hiding this comment

Uh oh!

Kixunil commented Jul 12, 2022

Uh oh!

Kixunil left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

tcharding commented Jul 12, 2022

Uh oh!

apoelstra left a comment

Choose a reason for hiding this comment

Uh oh!

Kixunil left a comment

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants

tcharding commented Jun 28, 2022 •

edited by apoelstra

Loading

Kixunil Jun 30, 2022 •

edited

Loading