ctverif

A tool for verifying constant-time code.

Requirements

The basic requirements are:

which rely transitively on:

Install from npm:

$ npm i -g ctverif

Run without arguments for usage:

$ ctverif

Emulate installation of local repository:

$ npm link

Release a new version to npm:

$ npm version [major|minor|patch]
$ npm publish