kuilt-deal/us.tractat.kuilt.deal/CommutativeScheme

CommutativeScheme

interface CommutativeScheme

Inheritors

SraScheme

Functions

encrypt

abstract fun encrypt(plaintext: ByteArray, key: SchemeKey): Pair<ByteArray, EncryptProof>

generateKey

abstract fun generateKey(): SchemeKeyPair

strip

abstract fun strip(ciphertext: ByteArray, key: SchemeKey): Pair<ByteArray, StripProof>

verifyEncrypt

abstract fun verifyEncrypt(prev: ByteArray, next: ByteArray, proof: EncryptProof, pubKey: SchemeKey): Boolean

Verify that next was produced by applying the key corresponding to pubKey to prev. Initial implementations may return true unconditionally — the GSet membership check is the primary double-encode defence. A full ZK proof is a follow-up.

verifyStrip

abstract fun verifyStrip(prev: ByteArray, next: ByteArray, proof: StripProof, pubKey: SchemeKey): Boolean