powdr-labs/powdr

Issues

• Change query function and set_hint function by more flexible "hint" code block

  #1688 opened a month ago by chriseth
  6

• Make the Fp2 in PIL also work for BabyBear

  #1714 opened 23 days ago by onurinanc
  0

• References to variables whose values have side-effects do not work properly inside query functions

  #1713 opened 23 days ago by chriseth
  0

• Implement permutation arguments via extension fields using BabyBear field in PIL

  #1701 opened a month ago by onurinanc
  0

• Implement permutation/lookup via bus using BabyBear Field Extension

  #1704 opened a month ago by onurinanc
  0

• Implement Bus using BabyBear extension field in PIL

  #1703 opened a month ago by onurinanc
  0

• Implement LogUp via extension fields using BabyBear field in PIL

  #1702 opened a month ago by onurinanc
  0

• Implement extension field of degree 4 (Fp4) for BabyBear Field in PIL

  #1691 opened a month ago by onurinanc
  0

• Explicit instantiation of machines

  #1699 opened a month ago by Schaeff
  0

• Open-source CPU targets

  #1695 opened a month ago by taqtiqa-mark
  1

• Fix BabyBear impl of `try_into_i32`

  #1698 opened a month ago by leonardoalt
  0

• Better representation of trait implementations in `ASMAnalysisFile`

  #1697 opened a month ago by Schaeff
  0

• Dynamic VADCOP

  #1572 opened a month ago by georgwiese
  6

• type checker performance

  #1649 opened a month ago by chriseth
  1

• proper `std` RNG support

  #1679 opened a month ago by pacheco
  0

• Plonky3 fails for high-degree constraints

  #1672 opened a month ago by georgwiese
  0

• Support BabyBear prime field

  #1671 opened a month ago by georgwiese
  0

• Witness generation for multiplicities in LogUp / bus argument

  #1573 opened 2 months ago by georgwiese
  8

• Bootloader scratch space soundness

  #1664 opened a month ago by leonardoalt
  0

• PIL Analyzing fails if degree is set to `None`

  #1570 opened a month ago by georgwiese
  0

• Consider changing Arc to Rc in evaluator

  #1663 opened a month ago by chriseth
  0

• Continuations: Fix register value publics

  #1658 opened a month ago by georgwiese
  0

• Change semantics of publics to be scalars

  #1633 opened a month ago by georgwiese
  0

• The pipeline::asm::reparse tests are horribly slow

  #1615 opened a month ago by chriseth
  0

• Plonky3 backend: Reduce cost of publics

  #1607 opened a month ago by georgwiese
  0

• Witgen not working for bus in block machines

  #1604 opened a month ago by georgwiese
  1

• `CompositeBackend`: Share randomness

  #1504 opened a month ago by georgwiese
  3

• Emulate shared challenges in `CompositeBackend`

  #1608 opened 2 months ago by georgwiese
  3

• Rust STD support

  #1505 opened 2 months ago by georgwiese
  2

• `CompositeBackend` does not work well with publics

  #1588 opened 2 months ago by georgwiese
  1

• Rewrite the RISCV machine as template + renders

  #1619 opened 2 months ago by leonardoalt
  0

• RISC-V machine Extract all lookups / permutations into machine calls

  #1571 opened 2 months ago by georgwiese
  0

• Implement basic bus

  #1497 opened 2 months ago by georgwiese
  0

• Compute Fixed Columns in several powers of 2

  #1496 opened 2 months ago by georgwiese
  0

• Witgen: Detect exact block shape of block machines

  #1593 opened 2 months ago by georgwiese
  0

• Witgen produces wrong witness when reordering constraints

  #1559 opened 2 months ago by Schaeff
  0

• Reordering type parameters leads to wrong inference

  #1569 opened 2 months ago by Schaeff
  1

• `CompositeBackend`: Implement explicit setup and verification

  #1506 opened 2 months ago by georgwiese
  0

• Plonky3: Implement fixed columns

  #1502 opened 2 months ago by georgwiese
  0

• Type inference ignores generic arguments

  #1550 opened 2 months ago by chriseth
  1

• Move constr_function_statement_type to lazy value in type_builtins.rs

  #1544 opened 2 months ago by chriseth
  0

• Implement RISC-V instruction fusion as optimization.

  #1540 opened 2 months ago by lvella
  0

• Performance: rows/finalizabledata: do finalize and transpose in one pass

  #1523 opened 2 months ago by chriseth
  0

• Rich assembly instruction syntax

  #1522 opened 2 months ago by chriseth
  0

• Allow PIL functions to declare more objects

  #1517 opened 2 months ago by georgwiese
  1

• Speed up witness generation

  #1501 opened 2 months ago by georgwiese
  1

• `CompositeBackend` verifier: Check partial accumulators sum to 1

  #1499 opened 2 months ago by georgwiese
  0

• Plonky3: Implement challenge API

  #1503 opened 2 months ago by georgwiese
  0

• Continuations via shared randomness

  #1500 opened 2 months ago by georgwiese
  0

• ASM-to-PIL linker: Use bus

  #1498 opened 2 months ago by georgwiese
  0