Stars
Interfaces for Relations and SNARKs for these relations
An improved lotus toolchain for Filecoin cluster mining
Software licensing, copy protection in C++. It has few dependencies and it's cross-platform.
Example to create merkle path proof using libsnark
Smart contracts which are formally verified