Auditor tagging

From Erights

Revision as of 15:10, 9 March 2008 by Kevin Reid (Talk | contribs)
Jump to: navigation, search

It is possible for an auditor to tag an object with arbitrary data, by encoding it in a pattern of approvals by additional auditors (see code below).

Since this is possible, and could be useful, it should be made possible to do so without inefficient gimmicks.

  def makeStamp() { return def stamp { to audit(_) { return true } } }
  def bits := accum [] for i in 0..!4 { _.with(makeStamp()) }
  def encodingAuditor {
    to audit(a :Audition) :boolean {
      def toEncode := (a.getSource().getOName() \
                        .getOptName().last() - '0') % (2**bits.size())
      for i => bit in bits {
        if ((toEncode & (1 << i)) > 0) {
          a.ask(bit)
        }
      }
      return true
    }
    to retrieve(specimen :any) :int {
      var result := 0
      for i => bit in bits {
        if (__auditedBy(bit, specimen)) {
          result |= (1 << i)
        }
      }
      return result
    }
  }
  ? def x7 implements encodingAuditor {}
  # value: <x7>
  
  ? encodingAuditor.retrieve(x7)
  # value: 7

Proposals

Discussion

Personal tools
more tools