ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
solidity_crypto.c File Reference
#include <stddef.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include "solidity_types.h"
Include dependency graph for solidity_crypto.c:

Functions

uint256_t keccak256 (uint256_t x)
uint256_t sha256 (uint256_t x)
address_t ripemd160 (uint256_t x)
address_t ecrecover (uint256_t hash, unsigned int v, uint256_t r, uint256_t s)

Function Documentation

◆ ecrecover()

address_t ecrecover ( uint256_t hash,
unsigned int v,
uint256_t r,
uint256_t s )

◆ keccak256()

uint256_t keccak256 ( uint256_t x)

◆ ripemd160()

address_t ripemd160 ( uint256_t x)

◆ sha256()

uint256_t sha256 ( uint256_t x)