set up factoring example for better running

Changes

2 changed files (+34/-34)

• factoring_test/factoring_protocol.lurk
  • @@ -2,18 +2,18 @@
    ;; Define and dump a protocol to demonstrate knowledge of factoring 8616460799 = 89681 x 96079 ;; Making sure code works - !(def and (lambda (x y) (if x (if y t nil) nil))) - !(def a 89681) - !(def b 96079) - !(def comm_a_real (hide #0x8239548349 a)) - !(def comm_b_real (hide #0x3895383045 b)) - (let ((open_a (open comm_a_real)) - (open_b (open comm_b_real))) - (and (and (and (< 1 open_a) (< open_a 8616460799)) - (and (< 1 open_b) (< open_b 8616460799))) - (eq 8616460799 (* open_a open_b)) - ) - ) + ;; !(def and (lambda (x y) (if x (if y t nil) nil))) + ;; !(def a 89681) + ;; !(def b 96079) + ;; !(def comm_a_real (hide #0x8239548349 a)) + ;; !(def comm_b_real (hide #0x3895383045 b)) + ;; (let ((open_a (open comm_a_real)) + ;; (open_b (open comm_b_real))) + ;; (and (and (and (< 1 open_a) (< open_a 8616460799)) + ;; (and (< 1 open_b) (< open_b 8616460799))) + ;; (eq 8616460799 (* open_a open_b)) + ;; ) + ;; ) ;; Defining the actual protocol !(defprotocol factors_found (comm_a comm_b)
  • @@ -50,25 +50,25 @@
    !(dump-expr factors_found "factors-8616460799") - (eval (list 'eq (list 'open 'comm_a) 89681) (let ((comm_a comm_a_real)) (current-env))) + ;; (eval (list 'eq (list 'open 'comm_a) 89681) (let ((comm_a comm_a_real)) (current-env))) - (eval - (emit - (list 'let - ( - list (list 'open_a (list 'open comm_a_real)) - (list 'open_b (list 'open comm_b_real)) - (list 'and (list 'lambda (list 'x 'y) (list 'if 'x (list 'if 'y t nil) nil))) - ) - (list 'and - (list 'and - (list 'and - (list '< 1 'open_a) - (list '< 'open_a 8616460799)) - (list 'and - (list '< 1 'open_b) - (list '< 'open_b 8616460799))) - (list 'eq 8616460799 (list '* 'open_a 'open_b)) - ) - ) - ) (empty-env)) + ;; (eval + ;; (emit + ;; (list 'let + ;; ( + ;; list (list 'open_a (list 'open comm_a_real)) + ;; (list 'open_b (list 'open comm_b_real)) + ;; (list 'and (list 'lambda (list 'x 'y) (list 'if 'x (list 'if 'y t nil) nil))) + ;; ) + ;; (list 'and + ;; (list 'and + ;; (list 'and + ;; (list '< 1 'open_a) + ;; (list '< 'open_a 8616460799)) + ;; (list 'and + ;; (list '< 1 'open_b) + ;; (list '< 'open_b 8616460799))) + ;; (list 'eq 8616460799 (list '* 'open_a 'open_b)) + ;; ) + ;; ) + ;; ) (empty-env))
• factoring_test/factoring_verification.lurk
  • @@ -5,7 +5,7 @@
    !(defq the-protocol !(load-expr "factors-8616460799")) ;; Inspect to see that nothing was leaked - !(inspect "3e15a128f3c233ca51fe94b9bf17bbca769bc14c332fa003d7808d525d54c") + ;; !(inspect "3e15a128f3c233ca51fe94b9bf17bbca769bc14c332fa003d7808d525d54c") ;; Now verify the proof (stored at factors-8616460799-proof) !(verify-protocol the-protocol "factors-8616460799-proof")