Buffer write function for initial proof