patronus
| Crates.io | patronus |
| lib.rs | patronus |
| version | 0.22.0 |
| source | src |
| created_at | 2024-08-06 17:00:20.191345 |
| updated_at | 2024-11-08 21:05:42.757153 |
| description | Hardware bug-finding toolkit. |
| homepage | https://kevinlaeufer.com |
| repository | https://github.com/ekiwi/patron |
| max_upload_size | |
| id | 1327537 |
| size | 49,391,965 |
Kevin Laeufer (ekiwi)
documentation
README
Patronus
TODO
Some things we will hopefully get to one day.
- simulator
- JIT based implementation
getfor any expression- better debugging, add option to print expressions with trace
- waveform generation
- quickly update only parts of the circuit
- use baa to represent and compute with concrete values
- this will allow us to implement a more efficient witness struct