SwoirCore is a Swift package providing the shared core data structures utilised by Swoir and Swoirenberg, including the SwoirBackendProtocol
protocol, the SwoirBackendError
errors enum, and the Proof
data type.
The SwoirBackendProtocol
protocol defines the interface for a proving system backend. Backends conforming to this protocol, like Swoirenberg
, are compatible with Swoir for use as its proving backend.
Contributions are welcome! For major changes, please open an issue first to discuss what you would like to change.
Licensed under the Apache-2.0 License. See LICENSE for more information.