My first amateur attempt at an explanatory video. Hope you find it useful! Let me know if any improvements, errors or general feedback.
About the algorithm - Freivalds' Algorithm is a randomized probabilistic algorithm that performs verification of matrix multiplication. It runs faster than the current fastest deterministic algorithm for matrix product calculation (not verification), but with a (very) small error rate.
I have used the below sources for the content and images:
1. https://courses.cs.washington.edu/courses/cse312/14wi/freivalds.pdf
2. https://en.wikipedia.org/wiki/Freivalds%27_algorithm
3. https://craigmbooth.com/blog/a-history-of-matrix-multiplication/