assert! --- A promise that is always checked and must be verified on all paths.
assume! --- A promise that is always checked, but is assumed true in verification on all paths.
require! --- A promise that is always checked. Verified in honest mode and assumed true in dishonest mode. (This may sound backwards, but by verifying it in honest mode, then we are checking that the other participants fulfill the promise when acting honestly.)
assert!--- A promise that is always checked and must be verified on all paths.assume!--- A promise that is always checked, but is assumed true in verification on all paths.require!--- A promise that is always checked. Verified in honest mode and assumed true in dishonest mode. (This may sound backwards, but by verifying it in honest mode, then we are checking that the other participants fulfill the promise when acting honestly.)