diff --git a/maths/fibonacci_fast.py b/maths/fibonacci_fast.py
new file mode 100644
index 000000000000..19d5b2afc60c
--- /dev/null
+++ b/maths/fibonacci_fast.py
@@ -0,0 +1,103 @@
+"""
+Fibonacci sequence via matrix exponentiation — O(log n) time complexity.
+
+The standard recursive Fibonacci runs in O(2^n) time. Using matrix exponentiation
+we can compute the n-th Fibonacci number in O(log n) multiplications.
+
+The key identity is:
+    | F(n+1)  F(n)   |   | 1  1 | ^ n
+    | F(n)    F(n-1) | = | 1  0 |
+
+So F(n) = (M^n)[0][1]  where M = [[1, 1], [1, 0]].
+
+References:
+  - https://en.wikipedia.org/wiki/Fibonacci_number#Matrix_form
+"""
+
+
+def _mat_mul(mat_a: list[list[int]], mat_b: list[list[int]]) -> list[list[int]]:
+    """Multiply two 2x2 integer matrices.
+
+    >>> _mat_mul([[1, 1], [1, 0]], [[1, 0], [0, 1]])
+    [[1, 1], [1, 0]]
+    """
+    return [
+        [
+            mat_a[0][0] * mat_b[0][0] + mat_a[0][1] * mat_b[1][0],
+            mat_a[0][0] * mat_b[0][1] + mat_a[0][1] * mat_b[1][1],
+        ],
+        [
+            mat_a[1][0] * mat_b[0][0] + mat_a[1][1] * mat_b[1][0],
+            mat_a[1][0] * mat_b[0][1] + mat_a[1][1] * mat_b[1][1],
+        ],
+    ]
+
+
+def _mat_pow(matrix: list[list[int]], power: int) -> list[list[int]]:
+    """Raise a 2x2 integer matrix to a non-negative integer power using
+    fast exponentiation (repeated squaring).
+
+    :param matrix: A 2x2 matrix represented as a list of lists.
+    :param power: Non-negative integer exponent.
+    :return: matrix ** power
+
+    >>> _mat_pow([[1, 1], [1, 0]], 0)
+    [[1, 0], [0, 1]]
+    >>> _mat_pow([[1, 1], [1, 0]], 1)
+    [[1, 1], [1, 0]]
+    >>> _mat_pow([[1, 1], [1, 0]], 2)
+    [[2, 1], [1, 1]]
+    """
+    # Identity matrix
+    result: list[list[int]] = [[1, 0], [0, 1]]
+    while power:
+        if power % 2 == 1:
+            result = _mat_mul(result, matrix)
+        matrix = _mat_mul(matrix, matrix)
+        power //= 2
+    return result
+
+
+def fibonacci(index: int) -> int:
+    """Return the n-th Fibonacci number using matrix exponentiation.
+
+    Time complexity: O(log n)
+    Space complexity: O(log n) due to the call stack of _mat_pow
+
+    :param index: Non-negative integer index into the Fibonacci sequence
+                  (0-indexed: F(0)=0, F(1)=1, F(2)=1, ...).
+    :raises ValueError: If *index* is negative.
+    :return: The Fibonacci number at the given index.
+
+    >>> fibonacci(0)
+    0
+    >>> fibonacci(1)
+    1
+    >>> fibonacci(2)
+    1
+    >>> fibonacci(10)
+    55
+    >>> fibonacci(20)
+    6765
+    >>> fibonacci(50)
+    12586269025
+    >>> fibonacci(-1)
+    Traceback (most recent call last):
+        ...
+    ValueError: fibonacci() only accepts non-negative integers
+    """
+    if index < 0:
+        raise ValueError("fibonacci() only accepts non-negative integers")
+    if index == 0:
+        return 0
+    mat: list[list[int]] = [[1, 1], [1, 0]]
+    return _mat_pow(mat, index)[0][1]
+
+
+if __name__ == "__main__":
+    import doctest
+
+    doctest.testmod()
+
+    for i in range(15):
+        print(f"fibonacci({i}) = {fibonacci(i)}")