• factoring_proof.lurk -rw-r--r-- 522 bytes
• factoring_protocol.lurk -rw-r--r-- 2677 bytes
• factoring_verification.lurk -rw-r--r-- 380 bytes
• factors-8616460799 -rw-r--r-- 34308 bytes
• factors-8616460799-proof -rw-r--r-- 2754335 bytes
• protocol-proof -rw-r--r-- 2142855 bytes
• protocol_examples.lurk -rw-r--r-- 1585 bytes
• simple-protocol-file -rw-r--r-- 11796 bytes