Istravex — XDR conformance and replay kit for Stellar. Read the proposal at /proposal.md.