sentri-generator-move 0.2.1

Sentri: Code generator for Move modules using Sentri invariants and security constraints.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

# sentri-generator-move

Code generator for Move modules using Sentri invariants.

Generates Move module code and runtime checks to enforce Sentri invariants in Move programs.

## Usage

```toml
[dependencies]
sentri-generator-move = "0.1.3"
sentri-core = "0.1.3"
sentri-ir = "0.1.3"
```

## Key Components

- `MoveCodeGenerator`: Generates Move module code with invariant checks
- `ResourceValidator`: Creates resource safety validators
- `AccessControlGenerator`: Generates access control checks
- `TypeSafetyChecker`: Enforces Move type system constraints

## Example

```rust
use sentri_generator_move::MoveCodeGenerator;

let mut generator = MoveCodeGenerator::new();
let invariants = vec!["balance > 0", "owner != @0x0"];

let generated_module = generator.generate(&invariants)?;
println!("Generated module with {} checks", generated_module.check_count);
```

## Generation Targets

- Aptos Move modules
- Movement ecosystem programs
- Resource lifecycle enforcement
- Type-safe invariant checks

## Features

- Module-level invariant enforcement
- Resource safety validation
- Access control generation
- Type system compliance
- Atomic operation safety

See [Sentri documentation](https://github.com/geekstrancend/Sentri) for Move generation options.

## License

MIT