ZK-STARK Master Project