17 Pull requests merged by 6 people

• Lazy substitution

  #1656 merged Aug 6, 2024

• Fix witgen for bus accumulators

  #1628 merged Aug 5, 2024

• fake std support

  #1641 merged Aug 5, 2024

• Implement LogUp via Bus

  #1624 merged Aug 5, 2024

• Change intermediate column syntax.

  #1630 merged Aug 3, 2024

• Improve evaluator

  #1648 merged Aug 2, 2024

• Plonky public values constrained by fixed columns

  #1610 merged Aug 1, 2024

• Plonky3 and Halo2: Use bincode for serialization

  #1644 merged Aug 1, 2024

• Enable the linker to output dynamic namespaces

  #1640 merged Aug 1, 2024

• Add set_hint to asm.

  #1643 merged Aug 1, 2024

• Updating RISC-V toolchain

  #1642 merged Aug 1, 2024

• CompositeBackend: Fix machine stats

  #1637 merged Jul 31, 2024

• Activate parallel feature for Plonky3

  #1638 merged Jul 31, 2024

• Set hint

  #1609 merged Jul 31, 2024

• Added halt system call.

  #1636 merged Jul 31, 2024

• Saving one deep clone.

  #1635 merged Jul 31, 2024

• More sane multimap when parsing debug symbols from Elf.

  #1616 merged Jul 30, 2024

9 Pull requests opened by 4 people

• [Prototype] Keccak benchmark p3

  #1639 opened Jul 31, 2024

• Support captured vars

  #1645 opened Aug 1, 2024

• [WIP] Memory machine: Assert that the first memory access is a bootloader write

  #1647 opened Aug 2, 2024

• [WIP] Witgen for public references

  #1650 opened Aug 5, 2024

• [WIP] Reproduce many_chunks bug

  #1652 opened Aug 5, 2024

• Delay array expression solving until constant evaluator

  #1653 opened Aug 5, 2024

• Turn `FixedLookup` into proper Machine

  #1654 opened Aug 5, 2024

• Fix registers memory used by bootloader inputs

  #1655 opened Aug 6, 2024

• Detect submachine not being a machine

  #1657 opened Aug 6, 2024

8 Issues closed by 4 people

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

  #1615 closed Aug 6, 2024

• Plonky3 backend: Reduce cost of publics

  #1607 closed Aug 6, 2024

• Witgen not working for bus in block machines

  #1604 closed Aug 5, 2024

• `CompositeBackend`: Share randomness

  #1504 closed Aug 5, 2024

• Let statements turn into intermediate columns depending on explicit type

  #1190 closed Aug 3, 2024

• Re-parsing optimized PIL files does not always work

  #1488 closed Aug 3, 2024

• Instruction delegation

  #1077 closed Jul 31, 2024

• Allow types in let statements in blocks

  #1363 closed Jul 31, 2024

2 Issues opened by 2 people

• type checker performance

  #1649 opened Aug 5, 2024

• Change semantics of publics to be scalars

  #1633 opened Jul 30, 2024

11 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Traits overlapping

  #1601 commented on Aug 6, 2024 • 34 new comments

• Make `ArrayLiteralExpression` sugar for PIL implementation

  #1623 commented on Aug 6, 2024 • 6 new comments

• [WIP] Traits unification

  #1625 commented on Aug 6, 2024 • 1 new comment

• Dynamic VADCOP

  #1572 commented on Jul 30, 2024 • 0 new comments

• traits in pil

  #1286 commented on Aug 1, 2024 • 0 new comments

• Rust STD support

  #1505 commented on Aug 2, 2024 • 0 new comments

• Emulate shared challenges in `CompositeBackend`

  #1608 commented on Aug 5, 2024 • 0 new comments

• Witness generation for multiplicities in LogUp / bus argument

  #1573 commented on Aug 5, 2024 • 0 new comments

• PIL -> rust compiler

  #1416 commented on Aug 3, 2024 • 0 new comments

• Use poseidon with memory in the riscv machine

  #1599 commented on Aug 6, 2024 • 0 new comments

• Run Halo2 MockProver even when `POWDR_GENERATE_PROOFS=false`

  #1629 commented on Aug 2, 2024 • 0 new comments