A rough structure for attestation signing.
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<ts:card …>
<asnx:module name="cheque">
<namedType name="redeem-by-email">
<type>
<sequence>
<element name="amount" type="asn:Integer"/>
<element name="riddle" type="asn:BitStream"/>
</sequence>
</type>
</namedType>
</asnx:module>
<ts:view xmlns="http://www.w3.org/1999/xhtml">
<script type="text/javascript">…</script>
</ts:view>
<ts:sign module="cheque" type="redeem-by-email"/>
</ts:card>
More to be updated from meeting notes.