charms-spell-checker
| Crates.io | charms-spell-checker |
| lib.rs | charms-spell-checker |
| version | 0.4.1 |
| created_at | 2024-12-17 03:09:16.75939+00 |
| updated_at | 2025-02-24 06:09:20.418056+00 |
| description | Recursive validation of spells creating Charms |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1485744 |
| size | 29,879 |
Ivan Mikushin (imikushin)
documentation
README
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.