FaCT is an actively used programming language created in 2017. FaCT is a domain-specific language that aids you in writing constant-time code for cryptographic routines that need to be free from timing side channels. This is the compiler for the Flexible and Constant Time cryptographic programming language.

3Years Old 60Users ?Jobs
  • FaCT on github
  • FaCT first appeared in 2017
  • Have a question about FaCT not answered here? Email me and let me know how I can help.

Example code from the web:

void
swap_conditional(secret mut uint64[5] a, secret mut uint64[5] b, secret uint64 swapi) {
  if (swapi == 1) {
    for (uint32 i from 0 to 5) {
      secret uint64 x = a[i];
      a[i] = b[i];
      b[i] = x;
    }
  }
}

Last updated January 18th, 2020

Edit FaCT on GitHub