Abstract: The present disclosure relates to a method method for performing a disjunctive proof for two relations R0 and R1. The relation R0 is between an instance set X0 and a witness set W0 and defines a language L(R0) containing those elements x0?X0 for which there exists a witness w0 that is related to x0 in accordance with R0. The relation R1 is between an instance set X1 and a witness set W1 and defining a language L(R1) containing those elements x1?X1 for which there exists a witness w1 that is related to x1 in accordance with R1. For proving knowledge of a witness wb of at least one of instances x0 and x1, where b is 0 or 1, of the respective relations R0 and R1, the prover may generate using a bijective function a challenge from a simulated challenge c1-b.

Abstract: The present disclosure relates to a method method for performing a disjunctive proof for two relations R0 and R1. The relation R0 is between an instance set X0 and a witness set W0 and defines a language L(R0) containing those elements x0?X0 for which there exists a witness w0 that is related to x0 in accordance with R0. The relation R1 is between an instance set X1 and a witness set W1 and defining a language L(R1) containing those elements x1?X1 for which there exists a witness w1 that is related to x1 in accordance with R1. For proving knowledge of a witness wb of at least one of instances x0 and x1, where b is 0 or 1, of the respective relations R0 and R1, the prover may generate using a bijective function a challenge from a simulated challenge c1-b.

Abstract: A trigger circuit for an engine starter relay includes: (a) a switching device for switching an output of the engine starter relay to a reference potential and for activating the engine starter relay as a function of a trigger signal, which is applied to a trigger input of the switching device; (b) a first logic circuit for the logical linking of a first digital signal of a computer device and a second digital signal of an operating device; (c) a second logic circuit for logically linking the output signal of the first logic circuit with the first digital signal; and a storage device for temporarily storing the state at the outputs of the first and second logic circuit, an output of the storage device being connected with the trigger input of the switching device, the activation of an engine starter relay being ensured in the event that the supply voltage at a computer device falls below a specified value with the result of activating a reset signal.

Abstract: A trigger circuit for an engine starter relay includes: (a) a switching device for switching an output of the engine starter relay to a reference potential and for activating the engine starter relay as a function of a trigger signal, which is applied to a trigger input of the switching device; (b) a first logic circuit for the logical linking of a first digital signal of a computer device and a second digital signal of an operating device; (c) a second logic circuit for logically linking the output signal of the first logic circuit with the first digital signal; and a storage device for temporarily storing the state at the outputs of the first and second logic circuit, an output of the storage device being connected with the trigger input of the switching device, the activation of an engine starter relay being ensured in the event that the supply voltage at a computer device falls below a specified value with the result of activating a reset signal.