Add version compatability

[sinui0]

At the beginning of things, the prover and notary should exchange which versions they are running with each other. We can start using semver and both parties can check whether they support their peers' version.

[Sicolas-Flamel]

Prover's Code

prover_version = "1.2.3" # Your software version

Notary's Code

notary_version = "1.2.0" # Notary's software version

Compare versions

def check_compatibility(v1, v2):
major1, minor1, patch1 = map(int, v1.split("."))
major2, minor2, patch2 = map(int, v2.split("."))

if major1 != major2:
    return False
if minor1 < minor2 or (minor1 == minor2 and patch1 < patch2):
    return False
return True

Check compatibility

if check_compatibility(prover_version, notary_version):
print("Versions are compatible. Proceed with verification.")
else:
print("Versions are not compatible. Please update software.")

like this？

[sinui0]

For parsing and assertions, I had in mind to use this semver crate.

We would store the cargo package version as a static at build time:

const VERSION: &'static str = env!("CARGO_PKG_VERSION");

Then introduce a new message variant to

tlsn/tlsn/tlsn-core/src/msg.rs

Lines 8 to 17 in 832d1ba

	#[derive(Debug, Serialize, Deserialize)]
	#[allow(missing_docs)]
	pub enum TlsnMessage {
	/// Contains the merkle root of the merkle tree of the commitments to transcripts
	TranscriptCommitmentRoot(MerkleRoot),
	/// Contains the session header signed by the notary
	SignedSessionHeader(SignedSessionHeader),
	/// Contains the session header
	SessionHeader(SessionHeader),
	}

which is used to exchange configuration information, including VERSION, at the beginning of the protocol.

[yuroitaki]

Addressed by #513.