Search results

Installation should emit an event with bytecode checksum

Status: Open.

#18 In seeblock/easyguard;

· valeryz opened on Apr 18, 2025

Normal contract can't pass <code>checkEvmByteCode</code>

Status: Open.

#17 In seeblock/easyguard;

· its-saeed opened on Apr 18, 2025

Measure gas usage of typical verifier programs

Status: Open.

#15 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

Optimization: introduce an inner loop to handle passthroughs of control stack

Status: Open.

#14 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

Optimization: use a proper linked list in memory for "visited"

Status: Open.

#13 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

Analyze existing deployed Guard contracts

Status: Open.

#12 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

In the test framework, create a mechanism to take deployedCode of test contracts

Status: Open.

#11 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

Create fuzzed programs that attack checkEvmByteCode

Status: Open.

#10 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

Check if cycle detection is robust

Status: Open.

#9 In seeblock/easyguard;

· valeryz opened on Apr 9, 2025

Write a Compiler from some policy langauge to EVM

Status: Open.

#6 In seeblock/easyguard;

· valeryz opened on Apr 4, 2025

Testing: add a variety of valid and invalid checker programs

Status: Open.

Task

#5 In seeblock/easyguard;

· valeryz opened on Apr 4, 2025