- Berlin
Pinned Loading
-
powdr-labs/powdr
powdr-labs/powdr PublicA modular stack for zkVMs, with a focus on productivity, security and performance.
1,177 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 10 commits in 1 repository
Created a pull request in powdr-labs/powdr that received 2 comments
Solving for inverse.
The main obstacle here is solving the following (low_addr
is known, inverse
is not):
(inverse * (low_addr - 65532) - 1) * (low_addr - 65532) = 0;
T…
+29
−0
lines changed
•
2
comments
Opened 16 other pull requests in 3 repositories
powdr-labs/powdr
5
open
9
merged
-
Quadratic symbolic expression only
This contribution was made on Apr 10
-
Combine symbol list
This contribution was made on Apr 10
-
Create concrete symbolic expression for concrete.
This contribution was made on Apr 10
-
Qse-based optimizer
This contribution was made on Apr 10
-
Move constraint analysis
This contribution was made on Apr 9
-
Make variable generic.
This contribution was made on Apr 9
-
Implement sub on symbolic expression.
This contribution was made on Apr 9
-
Use expression for branch condition.
This contribution was made on Apr 9
-
Quadratic symbolic expressions.
This contribution was made on Apr 2
-
Fix clippy further
This contribution was made on Apr 2
-
Fix clippy.
This contribution was made on Apr 2
-
Force jit for block machines on goldilocks
This contribution was made on Apr 2
-
Fix debug print for intermediates.
This contribution was made on Apr 2
-
Modernize 16 bit memory.
This contribution was made on Apr 1
chriseth/composer
1
open
-
Some more commands.
This contribution was made on Apr 12
chriseth/boolean-circuit
1
open
-
Add circuits as a concept.
This contribution was made on Apr 12
Reviewed 4 pull requests in 1 repository
powdr-labs/powdr
4 pull requests
-
Quadratic symbolic expression only
This contribution was made on Apr 10
-
Quadratic symbolic expressions.
This contribution was made on Apr 10
-
Linear constraint remover
This contribution was made on Apr 10
-
Enable JIT for permutations
This contribution was made on Apr 2
Opened 1 issue in 1 repository
powdr-labs/powdr
1
open
-
Determine equivalent columns that are the result of an add with carry
This contribution was made on Apr 9