12 releases
| 0.3.0 | Jan 21, 2025 |
|---|---|
| 0.3.0-dev | Jan 18, 2025 |
| 0.2.0 | Jan 16, 2025 |
| 0.1.11 | Jan 2, 2025 |
| 0.1.10 | Dec 31, 2024 |
#885 in Magic Beans
940 downloads per month
Used in charms
18KB
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
~222K SLoC