labdao / bacalhau

Compute over Data framework for public, transparent, and optionally verifiable computation