Rework log-to-witness communication pattern

See drafty proposal by filippo in !13 (closed). To be updated with a more detailed proposal.