Skip to content

runtimeverification/blockchain-k-plugin

Folders and files

NameName
Last commit message
Last commit date

Latest commit

0528d6a · Dec 3, 2024
Sep 4, 2024
Dec 3, 2024
Nov 28, 2024
Jul 26, 2024
Jul 3, 2024
Jul 26, 2024
Mar 24, 2024
Jan 7, 2020
Aug 6, 2024
Apr 22, 2024
Nov 28, 2024
Nov 28, 2024

Repository files navigation

Blockchain K Plugin

For integrating cryptographic hooks into your K definition.

Building

These instructions are for Ubuntu, assuming that Clang12 is installed.

  • Update submodules: git submodule update --init --recursive
  • Build dependencies: make CXX=clang++-12 -j3 libff libcryptopp libsecp256k1
  • Build: make CXX=clang++-12 build -j3

Testing

  • Run tests: make test