$775,000 and creates $250,000 in dead money according to Overthecap.
Walton, who was drafted by the Denver Broncos in the third round back in the 2010 NFL draft, has started every game he's ever played, including his first two years with the Broncos and last season with the New York Giants.
Walton was presumably brought in to be the backup center to starter Mike Pouncey, but his performance has been sub-par all throughout camp and preseason, and he's been competing with fellow offensive linemen Sam Brenner and Jacques McClendon for a roster spot.
The release of Walton would indicate that the Dolphins are comfortable with Brenner as the backup center, but should things go awry, free agent lineman Samson Satele is still available after not being brought back from the 2014 season.