jasmin icon indicating copy to clipboard operation
jasmin copied to clipboard

Published 20 hours ago • verified publisher icon jasmin-lang

eclib: theory W8.SHIFT needs refactoring

Open vbgl opened this issue 3 years ago • 0 comments
trafficstars

There is a lot of duplication between the specific W8.SHIFT theory and the generic BitWordSH theory.

There is an attempt there: ca3785e63d8ae2d1315630c608e7bb6bb1506e33 but that triggers an EasyCrypt bug.

vbgl avatar Sep 29 '22 06:09 vbgl