avatar

David Pearce

Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

Joined on Nov, 201077 repositories

Pull Requests

740

Code Reviews

214

Activity Feed (latest 50)

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 4, 2025, 4:49 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 4, 2025, 4:20 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 4, 2025, 3:58 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 4, 2025, 3:36 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 4, 2025, 3:28 AM

closed an issue in Consensys/linea-constraints

Jul 4, 2025, 12:05 AM

commented on issue Consensys/linea-constraints#678

Jul 4, 2025, 12:04 AM

commented on issue Consensys/go-corset#972

Jul 4, 2025, 12:00 AM

opened an issue in Consensys/go-corset

Jul 3, 2025, 11:58 PM

opened an issue in Consensys/go-corset

Jul 3, 2025, 11:42 PM

pushed to main in Consensys/go-corset

Jul 3, 2025, 11:19 PM

deleted branch feat/simplest-on-curve-fn at Consensys/go-corset

Jul 3, 2025, 11:19 PM

merged a pull request in Consensys/go-corset

Jul 3, 2025, 11:19 PM

pushed to feat/simplest-on-curve-fn in Consensys/go-corset

Jul 3, 2025, 10:45 PM

commented on issue Consensys/go-corset#955

Jul 3, 2025, 10:15 PM

opened an issue in Consensys/linea-tracer

Jul 2, 2025, 7:59 AM

reviewed a pull request in Consensys/linea-specification

Jul 2, 2025, 5:58 AM

pushed to 2116-feat-update-go-corset-and-linea-constraints in Consensys/linea-tracer

Jul 2, 2025, 4:42 AM

deleted branch 679-feat-make-use-of-defclookup at Consensys/linea-constraints

Jul 2, 2025, 4:32 AM

closed an issue in Consensys/linea-constraints

Jul 2, 2025, 4:32 AM

pushed to master in Consensys/linea-constraints

Jul 2, 2025, 4:32 AM

merged a pull request in Consensys/linea-constraints

Jul 2, 2025, 4:32 AM

opened a pull request in Consensys/linea-tracer

Jul 2, 2025, 4:18 AM

pushed to 2118-fix-daily-blockchain-tests-notification-failure in Consensys/linea-tracer

Jul 2, 2025, 4:17 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 2, 2025, 4:05 AM

created a branch 2118-fix-daily-blockchain-tests-notification-failure in Consensys/linea-tracer

Jul 2, 2025, 4:01 AM

opened an issue in Consensys/linea-tracer

Jul 2, 2025, 4:01 AM

pushed to 2116-feat-update-go-corset-and-linea-constraints in Consensys/linea-tracer

Jul 2, 2025, 2:47 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 2, 2025, 2:41 AM

pushed to 2116-feat-update-go-corset-and-linea-constraints in Consensys/linea-tracer

Jul 2, 2025, 2:38 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 2, 2025, 2:34 AM

commented on issue Consensys/go-corset#911

Jul 2, 2025, 2:16 AM

pushed to 2116-feat-update-go-corset-and-linea-constraints in Consensys/linea-tracer

Jul 2, 2025, 2:11 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 2, 2025, 2:09 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 2, 2025, 1:33 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 2, 2025, 1:24 AM

opened an issue in Consensys/go-corset

Jul 1, 2025, 10:55 PM

opened a pull request in Consensys/linea-tracer

Jul 1, 2025, 10:53 PM

pushed to 2116-feat-update-go-corset-and-linea-constraints in Consensys/linea-tracer

Jul 1, 2025, 10:52 PM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 10:45 PM

created a branch 2116-feat-update-go-corset-and-linea-constraints in Consensys/linea-tracer

Jul 1, 2025, 10:37 PM

opened an issue in Consensys/linea-tracer

Jul 1, 2025, 10:37 PM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 10:33 PM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 10:24 PM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 4:33 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 4:21 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 3:34 AM

pushed to 679-feat-make-use-of-defclookup in Consensys/linea-constraints

Jul 1, 2025, 3:31 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jul 1, 2025, 3:11 AM

pushed to 871-feat-support-generalised-register-splitting in Consensys/go-corset

Jun 30, 2025, 10:11 PM