Matter Labs, the development company for ZKsync, lays off 16% of its workforce.