24 Pull requests merged by 6 people

• Call JIT

  #2242 merged Dec 18, 2024

• "can process fully"

  #2255 merged Dec 18, 2024

• Introduce concept of assignment.

  #2244 merged Dec 18, 2024

• Specialized code for goldilocks.

  #2253 merged Dec 18, 2024

• Rename _start to _powdr_start

  #2254 merged Dec 18, 2024

• Fix bit operations.

  #2249 merged Dec 18, 2024

• Use truncate instead of pop.

  #2247 merged Dec 18, 2024

• Profile jit compilation separately.

  #2248 merged Dec 18, 2024

• Implement Neg for FieldElement.

  #2252 merged Dec 18, 2024

• default getenv

  #2250 merged Dec 18, 2024

• chore: remove duplicate words

  #2227 merged Dec 18, 2024

• prevent instr fail from being optimized away

  #2243 merged Dec 17, 2024

• Block machine processor

  #2226 merged Dec 17, 2024

• Effects to rust

  #2229 merged Dec 17, 2024

• Remove constant intermediates

  #2163 merged Dec 17, 2024

• Lift some tests from nightly to pr-tests

  #2216 merged Dec 17, 2024

• make the RISCV executor look at the optimized PIL for link information

  #2232 merged Dec 17, 2024

• executor fixes

  #2238 merged Dec 16, 2024

• Prepare block machine processor

  #2231 merged Dec 16, 2024

• RISCV executor trace

  #2207 merged Dec 16, 2024

• Use padded bitvec.

  #2230 merged Dec 16, 2024

• Various preparatory changes.

  #2228 merged Dec 12, 2024

• Witgen inference.

  #2219 merged Dec 12, 2024

• Prepare to call jit from block machine.

  #2098 merged Dec 12, 2024

12 Pull requests opened by 7 people

• free input data

  #2239 opened Dec 16, 2024

• fix: typos in documentation files

  #2240 opened Dec 16, 2024

• Support machine calls.

  #2241 opened Dec 16, 2024

• Reserved space for prover data in memory layout

  #2251 opened Dec 17, 2024

• use can_process

  #2256 opened Dec 18, 2024

• Introduce concept of assignment (2)

  #2257 opened Dec 18, 2024

• Add latch to phantom bus interaction

  #2258 opened Dec 18, 2024

• Prepare branching

  #2259 opened Dec 18, 2024

• Add benchmark for JITgen

  #2260 opened Dec 18, 2024

• Not-concrete-is-unknown eval

  #2261 opened Dec 18, 2024

• [Prototype] Simple Cache for JIT compilation

  #2262 opened Dec 18, 2024

• Sponge construction for keccak syscall

  #2263 opened Dec 19, 2024

4 Issues closed by 3 people

• Duplicate label: _start

  #2220 closed Dec 18, 2024

• Prover-function based fast witgen

  #2015 closed Dec 17, 2024

• EC acceleration

  #2032 closed Dec 13, 2024

• Creating a new powdrVM project from command line has no .gitignore

  #2210 closed Dec 12, 2024

4 Issues opened by 3 people

• auto-wit-jit-gen performance ideas

  #2246 opened Dec 17, 2024

• Implement segmentation faults

  #2245 opened Dec 17, 2024

• Runtime-branchnig for jit-witgen

  #2237 opened Dec 16, 2024

• ProverError("Unsupported query: Input(666,0)")

  #2233 opened Dec 14, 2024

7 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.

• pilopt: optimize until fixpoint

  #2225 commented on Dec 17, 2024 • 15 new comments

• pilopt: equal-constrained witness columns removal

  #2224 commented on Dec 12, 2024 • 7 new comments

• Make Plonky3 Keccak machine work with memory pointers

  #1803 commented on Dec 13, 2024 • 0 new comments

• Automatic Witgen: Introduce a notion of bus interaction

  #1829 commented on Dec 13, 2024 • 0 new comments

• Auto-generated prover functions

  #2066 commented on Dec 18, 2024 • 0 new comments

• Remove reset instruction

  #1718 commented on Dec 17, 2024 • 0 new comments

• Auto witgen

  #2071 commented on Dec 12, 2024 • 0 new comments