github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 14:48:16 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
chriseth
2023-02-09 10:34:59 +01:00
committed by GitHub
parent 03bbabdcbc
commit bc15a2cfa7
1 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
README.md
View File

@@ -14,16 +14,16 @@ Main goal: Everything is written in the same language, if possible not even spre
Define constants directly in the pil file:
```
pol constant BYTE = |i| i % 0xff;
pol constant BYTE(i) { i % 0xff };
```
Constants can also depend on each other:
```
pol constant A = |i| i & 0xffff;
pol constant B = |i| (i / 0x10000) & 0xffff;
pol constant SUM = |i| (A[i] + B[i]) & 0xffff;
pol constant OVERFLOW = |i| (A[i] + B[i]) >> 16;
pol constant A(i) { i & 0xffff };
pol constant B(i) { (i / 0x10000) & 0xffff };
pol constant SUM(i) { (A[i] + B[i]) & 0xffff };
pol constant OVERFLOW(i) { (A[i] + B[i]) >> 16 };
```
By just declaring A and B to be of type u16, it might not be needed to define them?
@@ -65,6 +65,12 @@ The cross-product then first constructs polynomials of size `3 * 65536 * 65536 *
contains all combinations of rows. The function finally reduces the polynomials to size `3 * 65536 * 65536`,
because onyl one value of `C` is valid for each `OP`-`A`-`B`-combination.
### The "Polynomial" Terminology
While the terminology makes sense looking at the final encoding, polynomials should probably be called something
else, since they do not really resemble polynomials. The confusion is more apparent when you allow in-line definitions.
Maybe we should call them just "column".
### Types