Danny Willems

icon indicating a website link https://dannywillems.github.io icon indicating an email [email protected]

icon company LeakIX icon location Mostly Belgium, but often moving icon location If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?

Results 171 issues of Danny Willems

CSV exporter

When we have a flat JSON, we can now export in CSV, follow https://github.com/LeakIX/LeakIXClient-Python/issues/14

Methods to flatten the JSON when sucessful answer

Provide a CLI

Features to provide: - [ ] export to CSV - [ ] export to JSON - [ ] Make a search with a plugin - [ ] Get only certain...

Add API for the alert channels

Nit: it might be more helpful in future to have `f : 'bool Option.t -> 'a -> unit`, but LGTM for now

Nit: it might be more helpful in future to have `f : 'bool Option.t -> 'a -> unit`, but LGTM for now _Originally posted by @mrmr1993 in https://github.com/MinaProtocol/mina/pull/14090#discussion_r1321856683_

o1VM plan

- [x] Testing folding instances of a zkVM instruction/constraint

Improving how trace with selectors are kept in memory

At the moment, there is a huge memory overhead as we keep a full columns for each selectors for each traces, i.e. if we have N relations columns and M...

WIP: define a trait that defines IVC properties of an env

We should follow the same design as in `o1vm/src/mips`. The witness environment carries some additional values that are updated over the rows. The state of the hash(es) is (are) saved...

Sketch prover

IVC: verify that the current design supports the MIPS interpreter

2 comment

This will help later verifying the IVC circuit can still be built. It is mostly checking that the changes in the [previous PR](https://github.com/o1-labs/proof-systems/pull/2367) does not change the fact that the...