First commit

.github/workflows/tests.yml

@@ -0,0 +1,20 @@
+name: Tests
+
+on:
+  push:
+    branches: ["main"]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+
+      - uses: aiken-lang/[email protected]
+        with:
+          version: v1
+
+      - run: aiken fmt --check
+      - run: aiken check -D
+      - run: aiken build

.gitignore

@@ -0,0 +1,6 @@
+# Aiken compilation artifacts
+artifacts/
+# Aiken's project working directory
+build/
+# Aiken's default documentation export
+docs/

README.md

@@ -0,0 +1,55 @@
+# ak-381
+
+Write validators in the `validators` folder, and supporting functions in the `lib` folder using `.ak` as a file extension.
+
+For example, as `validators/always_true.ak`
+
+```gleam
+validator {
+  fn spend(_datum: Data, _redeemer: Data, _context: Data) -> Bool {
+    True
+  }
+}
+```
+
+## Building
+
+```sh
+aiken build
+```
+
+## Testing
+
+You can write tests in any module using the `test` keyword. For example:
+
+```gleam
+test foo() {
+  1 + 1 == 2
+}
+```
+
+To run all tests, simply do:
+
+```sh
+aiken check
+```
+
+To run only tests matching the string `foo`, do:
+
+```sh
+aiken check -m foo
+```
+
+## Documentation
+
+If you're writing a library, you might want to generate an HTML documentation for it.
+
+Use:
+
+```sh
+aiken docs
+```
+
+## Resources
+
+Find more on the [Aiken's user manual](https://aiken-lang.org).

aiken.lock

@@ -0,0 +1,15 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+[[requirements]]
+name = "aiken-lang/stdlib"
+version = "1.7.0"
+source = "github"
+
+[[packages]]
+name = "aiken-lang/stdlib"
+version = "1.7.0"
+requirements = []
+source = "github"
+
+[etags]

aiken.toml

@@ -0,0 +1,14 @@
+name = "modulo-p/ak-381"
+version = "0.0.0"
+license = "Apache-2.0"
+description = "Aiken contracts for project 'modulo-p/ak-381'"
+
+[repository]
+user = "modulo-p"
+project = "ak-381"
+platform = "github"
+
+[[dependencies]]
+name = "aiken-lang/stdlib"
+version = "1.7.0"
+source = "github"

lib/ak-381/groth16.ak

@@ -0,0 +1,25 @@
+use aiken/builtin.{bls12_381_final_verify, bls12_381_miller_loop}
+
+type VerificationKey {
+  nPublic: Int,
+  vkAlpha: List<Int>,
+  vkBeta: List<List<Int>>,
+  vkGamma: List<List<Int>>,
+  vkDelta: List<List<Int>>,
+  vkAlphaBeta: List<List<List<Int>>>,
+  vkIC: List<List<Int>>,
+}
+
+type Proof {
+  piA: List<Int>,
+  piB: List<List<Int>>,
+  piC: List<Int>,
+}
+
+pub fn pairing(alfa: G1, beta: G2) -> Bool {
+  todo
+}
+
+pub fn groth_verify(vk: VerificationKey, proof: Proof) -> Bool {
+  todo
+}