Add belt-benchmarks
Update writing