David Pearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.
Pull Requests
740
Code Reviews
214
Top Repositories
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