Then, a Smart Contract calculates the CO² saved by the use of non-motorized vehicles.

A Blockchain can contain « statistic » informations, but can also be the carrier of self-executing programs, called Smart Contracts beacause they can act as « self-supporting » and automatic contracts.
In a nutshell, these are computerized (program) contracts that can run automatically, based on a set of rules and triggers