avatar

Thomas Coratger

PhD in applied mathematics. Research at Ethereum Foundation.

Joined on Jan, 2020114 repositories

Pull Requests

1,999

Code Reviews

2,147

Activity Feed (latest 50)

pushed to challenger-big-change in tcoratger/whir-p3

Jun 23, 2025, 10:16 PM

pushed to main in tcoratger/whir-p3

Jun 23, 2025, 10:15 PM

merged a pull request in tcoratger/whir-p3

Jun 23, 2025, 10:15 PM

reviewed a pull request in tcoratger/whir-p3

Jun 23, 2025, 10:15 PM

pushed to challenger-big-change in tcoratger/whir-p3

Jun 23, 2025, 5:07 PM

pushed to challenger-big-change in tcoratger/whir-p3

Jun 23, 2025, 5:00 PM

pushed to challenger-big-change in tcoratger/whir-p3

Jun 23, 2025, 4:58 PM

pushed to challenger-big-change in tcoratger/whir-p3

Jun 23, 2025, 4:57 PM

opened a pull request in tcoratger/whir-p3

Jun 23, 2025, 11:02 AM

created a branch challenger-big-change in tcoratger/whir-p3

Jun 23, 2025, 11:02 AM

pushed to main in tcoratger/whir-p3

Jun 22, 2025, 7:52 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 7:31 PM

opened a pull request in Plonky3/Plonky3

Jun 21, 2025, 6:45 PM

created a branch uni-stark-verifier in tcoratger/Plonky3

Jun 21, 2025, 6:44 PM

opened a pull request in TomWambsgans/Whirlaway

Jun 21, 2025, 4:28 PM

created a branch rm-field-utils in tcoratger/Whirlaway

Jun 21, 2025, 4:27 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 4:14 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 4:10 PM

merged a pull request in tcoratger/whir-p3

Jun 21, 2025, 4:10 PM

opened a pull request in tcoratger/whir-p3

Jun 21, 2025, 4:08 PM

created a branch fiat-shamir-errors in tcoratger/whir-p3

Jun 21, 2025, 4:08 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 3:57 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 3:53 PM

merged a pull request in tcoratger/whir-p3

Jun 21, 2025, 3:53 PM

opened a pull request in tcoratger/whir-p3

Jun 21, 2025, 3:43 PM

created a branch domsep-simplify in tcoratger/whir-p3

Jun 21, 2025, 3:43 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 3:40 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 3:28 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 3:27 PM

merged a pull request in tcoratger/whir-p3

Jun 21, 2025, 3:27 PM

pushed to prover-challenger in tcoratger/whir-p3

Jun 21, 2025, 3:25 PM

opened a pull request in tcoratger/whir-p3

Jun 21, 2025, 3:15 PM

created a branch prover-challenger in tcoratger/whir-p3

Jun 21, 2025, 3:15 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 2:54 PM

merged a pull request in tcoratger/whir-p3

Jun 21, 2025, 2:54 PM

opened a pull request in tcoratger/whir-p3

Jun 21, 2025, 2:52 PM

created a branch simplify-sho in tcoratger/whir-p3

Jun 21, 2025, 2:52 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 2:48 PM

closed a pull request in tcoratger/whir-p3

Jun 21, 2025, 2:48 PM

pushed to challenger-verifier in tcoratger/whir-p3

Jun 21, 2025, 2:39 PM

pushed to challenger-verifier in tcoratger/whir-p3

Jun 21, 2025, 2:30 PM

opened a pull request in tcoratger/whir-p3

Jun 21, 2025, 2:24 PM

created a branch challenger-verifier in tcoratger/whir-p3

Jun 21, 2025, 2:24 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 2:13 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 2:11 PM

pushed to main in tcoratger/whir-p3

Jun 21, 2025, 2:05 PM

merged a pull request in tcoratger/whir-p3

Jun 21, 2025, 2:05 PM

opened a pull request in tcoratger/whir-p3

Jun 21, 2025, 2:02 PM

created a branch ChallengerWithInstructions-checks in tcoratger/whir-p3

Jun 21, 2025, 2:02 PM

pushed to main in tcoratger/whir-p3

Jun 20, 2025, 7:57 PM