Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
ioc.exchange is one of the many independent Mastodon servers you can use to participate in the fediverse.
INDICATORS OF COMPROMISE (IOC) InfoSec Community within the Fediverse. Newbies, experts, gurus - Everyone is Welcome! Instance is supposed to be fast and secure.

Administered by:

Server stats:

1.3K
active users

ioc.exchange: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Lúcás Meier

@zkproofs Yeah, tactics proofs are very write only for me. I guess you can kind of "embrace it", since you just need to be able to read the definition right, since you're confident the theorem is actually true.

Feb 07, 2023, 08:41 PM·Public·Web
1boost·1favorite
Public
Lúcás Meier

@zkproofs I guess, an automated proof is not a substitute for explanation. (Nor is a pen and paper proof I guess)

ExploreLive feeds
About