Evidential Transactions with Cyberlogic. (arXiv:2304.00060v1 [cs.CR])

Cyberlogic is an enabling logical foundation for building and analyzing
digital transactions that involve the exchange of digital forms of evidence. It
is based on an extension of (first-order) intuitionistic predicate logic with
an attestation and a knowledge modality. The key ideas underlying Cyberlogic
are extremely simple, as (1) public keys correspond to authorizations, (2)
transactions are specified as distributed logic programs, and (3) verifiable
evidence is collected by means of distributed proof search. Verifiable
evidence, in particular, are constructed …

attestation cryptographic signatures cyberlogic digital distributed documents exchange extension forms foundation ideas key keys knowledge logic order public search signatures simple the exchange the key transactions