Constants§
- The file descriptor for the
ecreover
hook. - The file descriptor for hints.
- The file descriptor for public values.
Functions§
- Commit a serializable object to the public values stream.
- Commit bytes to the public values stream.
- Hint a serializable object to the hint stream.
- Hint bytes to the hint stream.
- Read a deserializable object from the input stream.
- Read a buffer from the input stream.
- Write the data
buf
to the file descriptorfd
.