Abstract: Classical computer systems can generate certified random bit strings using an untrusted quantum computer. The classical computer system can issue a sequence of challenges to the quantum computer, with each challenge involving execution of an apparently-random quantum circuit generated by the classical client. By executing the quantum circuits, the quantum computer can generate a high-entropy bit sequence, and the classical client can use the high-entropy bit sequence to generate sequences of random bits. The classical client can use models of quantum probability distributions for at least some of the challenges to verify that the bit sequence was generated by a quantum computer executing the quantum circuit generated by the classical client, thereby supporting certification of the randomness of the sequence of bits.

Abstract: A trigger safety system is presented herein. The trigger safety system provides a weight pawl with a rotor that precisely blocks a trigger of a firearm from activating when the firearm is pointed toward the ground and/or pointed downward. In this way, the trigger safety system presented herein prevents those at a firing range, or those in training, or at other locations from shooting projectiles in undesirable directions. Additionally, the disclosure herein presents a biometric safety system that can be retrofit onto a variety of trigger activated devices for safety measures.

Abstract: A trigger safety system is presented herein. The trigger safety system provides a weight pawl with a rotor that precisely blocks a trigger of a firearm from activating when the firearm is pointed toward the ground and/or pointed downward. In this way, the trigger safety system presented herein prevents those at a firing range, or those in training, or at other locations from shooting projectiles in undesirable directions. Additionally, the disclosure herein presents a biometric safety system that can be retrofit onto a variety of trigger activated devices for safety measures.