| 6 | |
| 7 | |
| 8 | class Message: |
| 9 | def __init__(self, params : LDTParameters, name=""): |
| 10 | self.name = name |
| 11 | self.query_num = 0 |
| 12 | self.params = params |
| 13 | |
| 14 | def query(self, num = 1): |
| 15 | self.query_num += num |
| 16 | |
| 17 | def field_size(self): |
| 18 | return self.params.field_size_bits |
| 19 | |
| 20 | def queries(self): |
| 21 | return self.query_num |
| 22 | |
| 23 | def argument_size(self): |
| 24 | pass |
| 25 | |
| 26 | def proof_length(self): |
| 27 | pass |
| 28 | |
| 29 | def print(self): |
| 30 | pass |
| 31 | |
| 32 | def hash_size(self): |
| 33 | return self.params.rom.hashsize |
| 34 | |
| 35 | class GenericOracleMessage(Message): |
| 36 | def __init__(self, params: LDTParameters, length, name=""): |
nothing calls this directly
no outgoing calls
no test coverage detected