Merge pull request #1 from ericlagergren/init

initial implementation

.github/workflows/go.yml

@@ -0,0 +1,29 @@
+name: CI
+on: ['push', 'pull_request']
+
+jobs:
+  ci:
+    strategy:
+      fail-fast: false
+      matrix:
+        os: ['windows-latest', 'ubuntu-latest', 'macOS-latest']
+        go: ['1.17.x', '1.18.x']
+    runs-on: ${{ matrix.os }}
+    steps:
+    - uses: actions/checkout@v3
+    - name: Set up Go
+      uses: actions/setup-go@v3
+      with:
+        go-version: ${{ matrix.go }}
+        check-latest: true
+    - name: Build
+      run: go build -v ./...
+    - name: Test
+      run: go test -v -vet all ./...
+    - name: TestPureGo
+      run: go test -v -vet all -tags purego ./...
+    - uses: dominikh/staticcheck-action@v1.1.0
+      with:
+        version: '2022.1'
+        install-go: false
+        cache-key: ${{ matrix.go }}

.gitignore

@@ -13,3 +13,5 @@
 
 # Dependency directories (remove the comment below to include it)
 # vendor/
+
+ssa.txt

README.md

@@ -1 +1,45 @@
-# siv
+# AES-GCM-SIV
+
+[![Go Reference](https://pkg.go.dev/badge/github.com/ericlagergren/siv.svg)](https://pkg.go.dev/github.com/ericlagergren/siv)
+
+Nonce misuse-resistant AEAD
+
+- https://datatracker.ietf.org/doc/html/rfc8452
+- https://eprint.iacr.org/2017/168.pdf
+- https://eprint.iacr.org/2015/102.pdf
+
+## Installation
+
+```bash
+go get github.com/ericlagergren/siv@latest
+```
+
+## Performance
+
+The performance of HCTR2 is determined by two things: AES-CTR and
+POLYVAL. This module provides ARMv8 and x86-64 assembly AES-CTR
+implementations and uses a hardware-accelerated POLYVAL
+implementation (see [github.com/ericlagergren/polyval](https://pkg.go.dev/github.com/ericlagergren/polyval)).
+
+The ARMv8 assembly implementation of AES-CTR-256 with
+hardware-accelerated POLYVAL runs at about X cycle per byte.
+
+The x86-64 assembly implementation of AES-CTR-256 with
+hardware-accelerated POLYVAL runs at about X cycles per byte.
+
+The `crypto/aes` implementation of AES-CTR-256 with
+hardware-accelerated POLYVAL runs at about X cycles per byte.
+
+## Security
+
+### Disclosure
+
+This project uses full disclosure. If you find a security bug in
+an implementation, please e-mail me or create a GitHub issue.
+
+### Disclaimer
+
+You should only use cryptography libraries that have been
+reviewed by cryptographers or cryptography engineers. While I am
+a cryptography engineer, I'm not your cryptography engineer, and
+I have not had this project reviewed by any other cryptographers.

asm_amd64.s

@@ -0,0 +1,219 @@
+// Copyright 2012 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+//go:build gc && !purego
+
+#include "textflag.h"
+
+// func encryptBlockAsm(nr int, xk *uint32, dst, src *byte)
+TEXT ·encryptBlockAsm(SB), NOSPLIT, $0
+	MOVQ   nr+0(FP), CX
+	MOVQ   xk+8(FP), AX
+	MOVQ   dst+16(FP), DX
+	MOVQ   src+24(FP), BX
+	MOVUPS 0(AX), X1
+	MOVUPS 0(BX), X0
+	ADDQ   $16, AX
+	PXOR   X1, X0
+	SUBQ   $12, CX
+	JE     Lenc192
+	JB     Lenc128
+
+Lenc256:
+	MOVUPS 0(AX), X1
+	AESENC X1, X0
+	MOVUPS 16(AX), X1
+	AESENC X1, X0
+	ADDQ   $32, AX
+
+Lenc192:
+	MOVUPS 0(AX), X1
+	AESENC X1, X0
+	MOVUPS 16(AX), X1
+	AESENC X1, X0
+	ADDQ   $32, AX
+
+Lenc128:
+	MOVUPS     0(AX), X1
+	AESENC     X1, X0
+	MOVUPS     16(AX), X1
+	AESENC     X1, X0
+	MOVUPS     32(AX), X1
+	AESENC     X1, X0
+	MOVUPS     48(AX), X1
+	AESENC     X1, X0
+	MOVUPS     64(AX), X1
+	AESENC     X1, X0
+	MOVUPS     80(AX), X1
+	AESENC     X1, X0
+	MOVUPS     96(AX), X1
+	AESENC     X1, X0
+	MOVUPS     112(AX), X1
+	AESENC     X1, X0
+	MOVUPS     128(AX), X1
+	AESENC     X1, X0
+	MOVUPS     144(AX), X1
+	AESENCLAST X1, X0
+	MOVUPS     X0, 0(DX)
+	RET
+
+// func expandKeyAsm(nr int, key *byte, enc *uint32) {
+// Note that round keys are stored in uint128 format, not uint32
+TEXT ·expandKeyAsm(SB), NOSPLIT, $0
+	MOVQ   nr+0(FP), CX
+	MOVQ   key+8(FP), AX
+	MOVQ   enc+16(FP), BX
+	MOVUPS (AX), X0
+
+	// enc
+	MOVUPS X0, (BX)
+	ADDQ   $16, BX
+	PXOR   X4, X4      // _expand_key_* expect X4 to be zero
+	CMPL   CX, $12
+	JE     Lexp_enc192
+	JB     Lexp_enc128
+
+Lexp_enc256:
+	MOVUPS          16(AX), X2
+	MOVUPS          X2, (BX)
+	ADDQ            $16, BX
+	AESKEYGENASSIST $0x01, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	AESKEYGENASSIST $0x01, X0, X1
+	CALL            _expand_key_256b<>(SB)
+	AESKEYGENASSIST $0x02, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	AESKEYGENASSIST $0x02, X0, X1
+	CALL            _expand_key_256b<>(SB)
+	AESKEYGENASSIST $0x04, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	AESKEYGENASSIST $0x04, X0, X1
+	CALL            _expand_key_256b<>(SB)
+	AESKEYGENASSIST $0x08, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	AESKEYGENASSIST $0x08, X0, X1
+	CALL            _expand_key_256b<>(SB)
+	AESKEYGENASSIST $0x10, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	AESKEYGENASSIST $0x10, X0, X1
+	CALL            _expand_key_256b<>(SB)
+	AESKEYGENASSIST $0x20, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	AESKEYGENASSIST $0x20, X0, X1
+	CALL            _expand_key_256b<>(SB)
+	AESKEYGENASSIST $0x40, X2, X1
+	CALL            _expand_key_256a<>(SB)
+	JMP             Lexp_done
+
+Lexp_enc192:
+	MOVQ            16(AX), X2
+	AESKEYGENASSIST $0x01, X2, X1
+	CALL            _expand_key_192a<>(SB)
+	AESKEYGENASSIST $0x02, X2, X1
+	CALL            _expand_key_192b<>(SB)
+	AESKEYGENASSIST $0x04, X2, X1
+	CALL            _expand_key_192a<>(SB)
+	AESKEYGENASSIST $0x08, X2, X1
+	CALL            _expand_key_192b<>(SB)
+	AESKEYGENASSIST $0x10, X2, X1
+	CALL            _expand_key_192a<>(SB)
+	AESKEYGENASSIST $0x20, X2, X1
+	CALL            _expand_key_192b<>(SB)
+	AESKEYGENASSIST $0x40, X2, X1
+	CALL            _expand_key_192a<>(SB)
+	AESKEYGENASSIST $0x80, X2, X1
+	CALL            _expand_key_192b<>(SB)
+	JMP             Lexp_done
+
+Lexp_enc128:
+	AESKEYGENASSIST $0x01, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x02, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x04, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x08, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x10, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x20, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x40, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x80, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x1b, X0, X1
+	CALL            _expand_key_128<>(SB)
+	AESKEYGENASSIST $0x36, X0, X1
+	CALL            _expand_key_128<>(SB)
+
+Lexp_done:
+	RET
+
+TEXT _expand_key_128<>(SB), NOSPLIT, $0
+	PSHUFD $0xff, X1, X1
+	SHUFPS $0x10, X0, X4
+	PXOR   X4, X0
+	SHUFPS $0x8c, X0, X4
+	PXOR   X4, X0
+	PXOR   X1, X0
+	MOVUPS X0, (BX)
+	ADDQ   $16, BX
+	RET
+
+TEXT _expand_key_192a<>(SB), NOSPLIT, $0
+	PSHUFD $0x55, X1, X1
+	SHUFPS $0x10, X0, X4
+	PXOR   X4, X0
+	SHUFPS $0x8c, X0, X4
+	PXOR   X4, X0
+	PXOR   X1, X0
+
+	MOVAPS X2, X5
+	MOVAPS X2, X6
+	PSLLDQ $0x4, X5
+	PSHUFD $0xff, X0, X3
+	PXOR   X3, X2
+	PXOR   X5, X2
+
+	MOVAPS X0, X1
+	SHUFPS $0x44, X0, X6
+	MOVUPS X6, (BX)
+	SHUFPS $0x4e, X2, X1
+	MOVUPS X1, 16(BX)
+	ADDQ   $32, BX
+	RET
+
+TEXT _expand_key_192b<>(SB), NOSPLIT, $0
+	PSHUFD $0x55, X1, X1
+	SHUFPS $0x10, X0, X4
+	PXOR   X4, X0
+	SHUFPS $0x8c, X0, X4
+	PXOR   X4, X0
+	PXOR   X1, X0
+
+	MOVAPS X2, X5
+	PSLLDQ $0x4, X5
+	PSHUFD $0xff, X0, X3
+	PXOR   X3, X2
+	PXOR   X5, X2
+
+	MOVUPS X0, (BX)
+	ADDQ   $16, BX
+	RET
+
+TEXT _expand_key_256a<>(SB), NOSPLIT, $0
+	JMP _expand_key_128<>(SB)
+
+TEXT _expand_key_256b<>(SB), NOSPLIT, $0
+	PSHUFD $0xaa, X1, X1
+	SHUFPS $0x10, X2, X4
+	PXOR   X4, X2
+	SHUFPS $0x8c, X2, X4
+	PXOR   X4, X2
+	PXOR   X1, X2
+
+	MOVUPS X2, (BX)
+	ADDQ   $16, BX
+	RET