Full threadbyteware·- Location: EU - Remote: depends - Willing to relocate: depends - Technologies: C++, formal verification, zk-stark - CV: on request - Email: on requestView on HN