Skip to content

Aiken implementation of the Groth16 verifier contract using BN128 curve.

Notifications You must be signed in to change notification settings

Modulo-P/ak-128

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

ak-128

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

validator {
  fn spend(_datum: Data, _redeemer: Data, _context: Data) -> Bool {
    True
  }
}

Building

aiken build

Testing

You can write tests in any module using the test keyword. For example:

test foo() {
  1 + 1 == 2
}

To run all tests, simply do:

aiken check

To run only tests matching the string foo, do:

aiken check -m foo

Documentation

If you're writing a library, you might want to generate an HTML documentation for it.

Use:

aiken docs

Resources

Find more on the Aiken's user manual.

About

Aiken implementation of the Groth16 verifier contract using BN128 curve.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published