×

USP

Every time you pull a model, you also pull:

• All the STARK proofs thus proving the model has not been tampered with
• All the chunk-level proofs confirming the data's history
• All the replication proofs showing no Byzantine behaviour

×

FUSE Filesystem as formally verified user-space services.

FUSE split into three services reducing surface over which capability delegation needs to be applied:

• Metadata Service
• Storage Engine Service
• SCION Transfer Service

Proofs generated for:

• Integrity of data chunks
• Integrity of metadata
• Integrity of network transfer

Provides an object store abstraction for filesystem data. This works well as here as there is no shared state as required in traditional POSIX environemnts.

×

Sharded Object Store

Architecture of the sharded object store system...

×

ZKP Authentication

Zero-knowledge proof authentication process...