16 unstable releases (3 breaking)
| 0.4.1 | Feb 24, 2025 |
|---|---|
| 0.3.4 | Feb 20, 2025 |
| 0.3.0 | Jan 21, 2025 |
| 0.2.0 | Jan 16, 2025 |
| 0.1.10 | Dec 31, 2024 |
#4 in #charms
721 downloads per month
9KB
146 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
~232K SLoC