keypair and proof stream operators