Has web-based time and expense entry, fixed or variable pricing, comprehensive revenue recognition methods, profitability and WIP reporting, budgets and forecasts, flexible categories.
In a WIP, this zero-knowledge condition is weakened, and the only guarantee is that the verifier will not be able to distinguish between provers that use different witnesses.