15 releases
| new 0.3.4 | Feb 20, 2025 |
|---|---|
| 0.3.3 | Feb 7, 2025 |
| 0.3.0 | Jan 21, 2025 |
| 0.2.0 | Jan 16, 2025 |
| 0.1.10 | Dec 31, 2024 |
#4 in #charms
774 downloads per month
Used in charms
17KB
367 lines
charms-spell-checker is not a spelling checker: it's a validator for spells.
It is run inside a zkVM to produce recursive proofs of correctness for spells — metadata on top of transactions that specifies what charms are created on top of transactions' outputs.
Dependencies
~14MB
~230K SLoC