Another tool for interactive verification
#ETH #Ethereum If I understand your model correctly, for a particular computation you need to supply 1) a VM specification and 2) input data...Read More
Showing posts with label @adlerjohn John Adler. Show all posts
Showing posts with label @adlerjohn John Adler. Show all posts
Subscribe to:
Posts
(
Atom
)
