Search or jump to... Search code, repositories, users, issues, pull requests... Provide feedback We read every piece of feedback, and take your input very seriously. Include my email address so I can be contacted Cancel Submit feedback Saved searches Use saved searches to filter yo...
We present a new methodology for building formally verified cryptographic libraries that are optimized for multiple architectures. In particular, we show how to write and verify generic crypto code in the F* programming language that exploits single-instruction multiple data (SIMD) parallelism. We ...
boolcrypto_aegis128_have_simd(void) { returncpu_have_feature(cpu_feature(AES)); } voidcrypto_aegis128_update_simd(unionaegis_block*state,constvoid*msg) { kernel_neon_begin(); crypto_aegis128_update_neon(state,msg); kernel_neon_end(); ...
extern const char SM4_SIMD_FNAME[] = __FILE__; ANONYMOUS_NAMESPACE_BEGIN using CryptoPP::word32; #if (CRYPTOPP_AESNI_AVAILABLE) template <unsigned int R> inline __m128i ShiftLeft(const __m128i& val) { return _mm_slli_epi32(val, R); } template <unsigned int R> ...
We present a new methodology for building formally verified cryptographic libraries that are optimized for multiple architectures. In particular, we show how to write and verify generic crypto code in the F* programming language that exploits single-instruction multiple data (SIMD) parallelism. We show...
1 parent2ed4cd9commit5dfaa31 Show file tree Hide file tree Showing4 changed fileswith8 additionsand672 deletions. Whitespace Ignore whitespace Split Unified CREDITS cmd update-main.go go.mod go.sum 0 comments on commit5dfaa31 Pleasesign into comment....
This PR ports the AVX implementation of SHA-512 to simd128. It also implements the related version of SHA-256 from https://github.com/aws-samples/sha2-with-c-intrinsic/blob/master/src/sha256_compre...