Victor Lopes

Это правильно Basta atualizar a [linha 26](https://github.com/killerall/advpl-vscode/blob/master/src/smartclientlaunch.ts#L26) do smartclientlaunch para carregar uma propriedade a ser criada no arquivo de configuração. O valor default dessa propriedade naturalmente seria smartclient.exe

Broke down https://github.com/arkworks-rs/algebra/pull/294 into smaller steps - [x] Add `SWAffine` and `SWProjective` - [x] Add `TEAffine` and `TEProjective` - [ ] Add `Pairing` and `PairingOutput` - [ ] Add `CyclotomicField`,...

Upd for future ref: hasher was moved to chiplets https://github.com/maticnetwork/miden/blob/fb4df53942d36c2348ca926070a224fb37f18c57/processor/src/chiplets/hasher/mod.rs

One option to remove the stdlib as dependency of the assembly is to deprecate `use` and create a new token `import`. This new token will consume a given `SourceProvider` and...

#640 potentially closes this issue. We have a couple of pending topics that might lead to future improvements. 1) should we allow the CLI endpoints to execute programs with arbitrary...

For `5`, https://github.com/0xPolygonMiden/crypto/issues/36 might also be a blocker as we might want to include that as advice set

@bobbinth what if, instead of `ProgramInfo`, we use `ProgramCommitment`? That structure will be used to bind the kernel that was used to compile the program to the stark proof, as...

@grjte yes, the remainder item is `5`. This will intersect a bit with the work being performed in the tiered SMT https://github.com/0xPolygonMiden/crypto/pull/45 so we might want to leave this item...

I propose the following schema for our source map: ``` { "type":"object", "title":"Source", "description":"Mapped source", "properties":{ "path":{ "type":"string", "title":"Source path", "description":"Absolute path to the source file" }, "frames":{ "type":"array", "title":"CallFrames...

We can, of course, use any other schema/model with an available library in Rust. Ex: yaml