
#include "aes_common.h"

require_rv64;
require_extension(EXT_ZKND);

uint64_t temp = AES_INVSHIFROWS_LO(RS1,RS2);

         temp = (
    ((uint64_t)AES_DEC_SBOX[(temp >>  0) & 0xFF] <<  0) |
    ((uint64_t)AES_DEC_SBOX[(temp >>  8) & 0xFF] <<  8) |
    ((uint64_t)AES_DEC_SBOX[(temp >> 16) & 0xFF] << 16) |
    ((uint64_t)AES_DEC_SBOX[(temp >> 24) & 0xFF] << 24) |
    ((uint64_t)AES_DEC_SBOX[(temp >> 32) & 0xFF] << 32) |
    ((uint64_t)AES_DEC_SBOX[(temp >> 40) & 0xFF] << 40) |
    ((uint64_t)AES_DEC_SBOX[(temp >> 48) & 0xFF] << 48) |
    ((uint64_t)AES_DEC_SBOX[(temp >> 56) & 0xFF] << 56) 
);

WRITE_RD(temp);

