S

Smart Contracts

Anura is an open-source harness platform built by the security research community to create an independent, realistic benchmark for AI systems used in security research. It runs models and agents against real public, authorized bug bounty scopes and security artifacts, then measures what they actually discover, validate, and reject in practical investigations.

A standard interface and XML binding schema that allows an EVM smart contract to define a static XML template with machine-readable bindings to its state and view functions. Reference implementation of an off-chain renderers that uses this template to build a canonical XML document representing the contract's state at a specific block, without incurring any on-chain gas cost.

Visual smart contract editor for Tezos based on Blockly