Nope. Government salaries are public information, and are reported all over the usual sites (levels.fyi, glassdoor, indeed, etc) More importantly though, the government doesn't give out stock options with a vesting schedule. Meanwhile, techs who were at Tesla and got a small grant when it was at $20 are likely pretty happy with the stock being at $170. (Tech's that got grants at $400, less so.)