Skip to content

Commit

Permalink
Fix reader naming
Browse files Browse the repository at this point in the history
  • Loading branch information
sander committed Jan 17, 2025
1 parent e05b72d commit e146b2d
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions prototype.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -274,15 +274,15 @@

(defclass reader ()
((sk :reader sk :initarg :sk)
(kem :reader kem :initarg :kem)))
(defun make-reader (ec-dhkem)
(make-instance 'reader :sk (random-scalar (ec ec-dhkem))
:kem ec-dhkem))
(dh :reader dh :initarg :dh)))
(defun make-reader (ec-dh)
(make-instance 'reader :sk (random-scalar (ec ec-dh))
:dh ec-dh))
(defun verify (reader doc device-data)
(= (os2ip device-data)
(os2ip (create-shared-secret (kem reader) (sk reader) (pk doc)))))
(os2ip (create-shared-secret (dh reader) (sk reader) (pk doc)))))
(defmethod pk ((reader reader))
(scalar-base-mult (ec (kem reader)) (sk reader)))
(scalar-base-mult (ec (dh reader)) (sk reader)))

(loop with vectors =
`((""
Expand Down

0 comments on commit e146b2d

Please sign in to comment.