Skip to content

Pi-Squared-Inc/blockchain-k-plugin

 
 

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

About

K plugin for KEVM

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 47.3%
  • Python 39.2%
  • Nix 7.0%
  • Makefile 5.4%
  • Other 1.1%