(unshift-rows) ( c0 c1 c2 c3 -- c0' c1' c2' c3' )


Vocabulary
crypto.aes.private

Inputs
c0an object
c1an object
c2an object
c3an object


Outputs
c0'an object
c1'an object
c2'an object
c3'an object


Definition


:: (unshift-rows) ( c0 c1 c2 c3 -- c0' c1' c2' c3' )
c1 gb0 c2 gb1 c3 gb2 c0 gb3 >ui32
c2 gb0 c3 gb1 c0 gb2 c1 gb3 >ui32
c3 gb0 c0 gb1 c1 gb2 c2 gb3 >ui32
c0 gb0 c1 gb1 c2 gb2 c3 gb3 >ui32 ;