Can you explain the difference between a witness table and a virtual table in object-oriented systems?

In object-oriented systems, a vtable (virtual table) is a data structure used to support dynamic polymorphism, containing pointers to virtual functions. It is often synonymous with 'virtual table' and is used for method dispatching.