powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

powdr-labs/powdr Issues

Performance: rows/finalizabledata: do finalize and transpose in one pass
Updated 5 days ago
Rich assembly instruction syntax
Updated 6 days ago
Allow PIL functions to declare more objects
Updated 6 days ago1
Re-parsing optimized PIL files does not always work
Updated 6 days ago
Allow passing machines as arguments
Closed 7 days ago
`CompositeBackend`: Implement explicit setup and verification
Updated 7 days ago
Compute Fixed Columns in several powers of 2
Updated 7 days ago
Speed up witness generation
Updated 7 days ago1
Rust STD support
Updated 7 days ago
`CompositeBackend` verifier: Check partial accumulators sum to 1
Updated 7 days ago
`CompositeBackend`: Share randomness
Updated 7 days ago
Plonky3
Closed 7 days ago1
Plonky3: Implement challenge API
Updated 7 days ago
Plonky3: Implement fixed columns
Updated 7 days ago
Continuations via shared randomness
Updated 7 days ago
Benchmark RISC-V zkVM
Updated 7 days ago
Implement basic bus
Updated 7 days ago
ASM-to-PIL linker: Use bus
Updated 7 days ago
`CompositeBackend`: Generate a proof for each machine
Updated 7 days ago
Witness Generation: Generate columns of different length
Updated 7 days ago
Registers in Memory
Updated 7 days ago
Witgen annotations in PIL
Updated 7 days ago1
Implement LogUp in PIL
Closed 7 days ago1
Permutation argument with extension field example results incorrect when it supposed to be correct
Closed 10 days ago2
Odd analyzed output for public inputs
Closed 19 days ago3
Allow patterns and type variables in asm declarations
Updated 21 days ago2
std::math::Fp2 implementation for BN254 is not correct due to choice of quadratic non residue
Updated 21 days ago2
Implement Display function for BinaryOperation for AlgebraicExpression in a similar way as for Expression's BinaryOperation
Closed 21 days ago
Next operator not defined on literals
Closed 25 days ago1
Documentation inconsistency - Rust subcommand
Closed a month ago1
Single syscall modmul and modadd submachine
Updated a month ago2
Output stats of each machine (number of columns etc)
Updated a month ago
Improve poseidon call
Updated a month ago
Inline ecall syscalls if possible by using a one-instruction context when compiling riscv to powdr-asm
Updated a month ago
Witness generation: Make CSV export work even if the solver fails
Updated a month ago1
Witgen: Range constraints not transferred for machine-to-machine call
Closed a month ago1
Remove dependency on PILCOM and do the verification internally.
Updated a month ago1
PIL Analyzer does not catch removed challenge used in hint
Updated 2 months ago2
Support publics in Halo2 aggregation proofs
Updated 2 months ago
PIL: Test runner
Updated 2 months ago2
Give hints access to any cell
Updated 2 months ago1
Copy constraints: Connect PIL with witgen
Updated 2 months ago3
Witgen for Copy Constraints: Handle copy constraints to fixed columns
Updated 2 months ago
Multiple permutations into a VM are generated incorrectly
Updated 2 months ago1
Witgen: Block machines "forget" that they already completed a block
Updated 2 months ago
Allow types in let statements in blocks
Updated 2 months ago
Figure out why clippy does not warn on format!("-{}", x) any more.
Closed 2 months ago2
PIL Bug - identifiers in match patterns
Updated 2 months ago1
Move Halo2 crate to a module inside the backend crate
Closed 2 months ago1
Test `evm` from `powdr-riscv::riscv` fails with OOM error
Updated 2 months ago