The Düsseldorf startup is developing a reconfigurable chip that combines sensing, AI inference and real-time control for drones, robots, vehicles and industrial equipment.
The completed proofs cover Jolt’s first formal-verification stage, while seven instructions and the broader zkVM verification project remain unfinished.
