multipaz-longfellow/org.multipaz.mdoc.zkp.longfellow/LongfellowZkSystem

LongfellowZkSystem

Abstract base class for Longfellow-based ZK systems implementing ZkSystem.

Provides core logic for proof generation and verification using native Longfellow libraries. Circuit files are expected to be name with the format: <version>_<numAttributes>_<circuitHash>.

Constructors

LongfellowZkSystem

constructor()

Types

Companion

object Companion

Properties

name

open override val name: String

systemSpecs

open override val systemSpecs: List<ZkSystemSpec>

Functions

addCircuit

fun addCircuit(circuitFilename: String, circuitBytes: ByteString): Boolean

Longfellow encodes a version number, the number of attributes, and the circuit hash in the filename with the circuit data so in addition to circuitBytes, pass this information in circuitFilename encoded in the following way: <version>_<numAttributes>_<circuitHash>. circuitFilename should be only the name of the file, and must not include any path separators.

addDefaultCircuits

fun addDefaultCircuits()

Adds the default circuits recommended by the Longfellow authors.

generateProof

open override fun generateProof(zkSystemSpec: ZkSystemSpec, document: MdocDocument, sessionTranscript: DataItem, timestamp: Instant): ZkDocument

getMatchingSystemSpec

open override fun getMatchingSystemSpec(zkSystemSpecs: List<ZkSystemSpec>, requestedClaims: List<RequestedClaim>): ZkSystemSpec?

Finds the best matching ZkSystemSpec from a given list based on the number of signed attributes.

verifyProof

open override fun verifyProof(zkDocument: ZkDocument, zkSystemSpec: ZkSystemSpec, sessionTranscript: DataItem)