Difference between revisions of "SNARK: SRI's New Automated Reasoning Kit"
Jump to navigation
Jump to search
Tags: Mobile web edit, Mobile edit |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
[[wikipedia:SNARK (theorem prover)]] | [[wikipedia:SNARK (theorem prover)]] | ||
| + | |||
| + | * [[Automated theorem proving]] (ATP) | ||
| + | |||
| + | * [[zk-SNARK]] | ||
== See also == | == See also == | ||
| + | * {{SNARK}} | ||
* {{eth2}} | * {{eth2}} | ||
| − | [[Category: | + | [[Category:ATP]] |
Latest revision as of 22:48, 1 September 2022
wikipedia:SNARK (theorem prover)
See also[edit]
- SNARK, zk-SNARK
- Ethereum 2.0, API, Ethereum tasks, Beacon Chain, Ethereum Staking, validator, Consensus clients, Execution clients, Validation clients, Mainnet, testnets: Prater, Goerli ETH, Inclusion distance, Ethereum attestation, Attestation effectiveness, Attestation Reward Scale, slot, Ethereum upgrades: The Merge, Epoch, Slots, rETH, sETH, stETH, Lido Staked ETH, faucet, Ethereum ports, Subjectivity, Lido Staked ETH, ENR, Sharding,
Ethers.js, Yellow paper, synchronization, ECFSDS
Advertising:
