Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
There has been observed that some marshalled data does not always match the original data. We are now changing the serialization to CBOR so we can ignore the problem with JSON, but we should check if this problem is present in the marshall/unmarshall of CBOR too, replicating the fuzzer provided for that case.
There has been observed that some marshalled data does not always match the original data. We are now changing the serialization to CBOR so we can ignore the problem with JSON, but we should check if this problem is present in the marshall/unmarshall of CBOR too, replicating the fuzzer provided for that case.
See
Marshal_Unmarshal_conflict.mdfor details