Chiro Hiro

> 5. Peer B sees both connections (hasn't yet seen the first die). I think peer B able to send a PING message to check the stream, isn't it?

Here is an example of `Bytes.sol`, my implementation could be found in #3998 ```solidity pragma solidity ^0.8.0; import "./Bytes.sol"; contract EncodingTx { using Bytes for bytes; function encodeTransaction(address from, address...

This library provide the minimal utility to unpack the data which was packed by `abi.encodePacked()`. I'm preparing a PR in #3998.

Upgrade the test suite and rewrite test cases. ``` ark-test-curves = "0.4.2" ark-algebra-test-templates = "0.4.2" ark-serialize="0.4.2" ```

Hi @dannywillems, I think update the whole proof-system to `0.4.2` would be a big task. So I tried to break down it to multiple PRs. If you think this PR...

Hi @dannywillems, I'm working on it, going to upgrade all other crates to make sure that everything will work fine with arkworks `0.4.2`

Hi @dannywillems, I have a problem with the migration. In the latest update we have `poly-commitment/src/pairing_proof.rs`, there are some test on curve `bn254` this curve still using `arkworks` `0.4.0`. I'm...

Hi @dannywillems, any update on this?

Hi @mrmr1993, thanks for your reply. We definitely need to inspect the root cause of this performance issue. Could you share with me your opinion on `bn254` issue and what...

Catch up with `upstream:master` one last remaining issue is trait bound of `PolyComm`. ```text Blocking waiting for file lock on build directory Compiling kimchi v0.1.0 (/home/chiro/Git/proof-systems/kimchi) error[E0369]: cannot subtract `&PolyComm`...