frangio

Follow

Francisco frangio

Follow

626 followers · 107 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report frangio

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

OpenZeppelin/openzeppelin-contracts Public

OpenZeppelin Contracts is a library for secure smart contract development.

JavaScript 21.7k 11.1k
cacheable-beacon-proxy Public

Upgradeable proxy with the least possible gas overhead.

Solidity 101 6
hardhat-exposed Public

Automatically expose internal Solidity functions for smart contract testing.

TypeScript 69 10
hardhat-ignore-warnings Public

Hardhat plugin that adds ways to ignore Solidity warnings

TypeScript 10 3
OpenZeppelin/merkle-tree Public

A JavaScript library to generate merkle trees and merkle proofs.

TypeScript 228 44

1,851 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to OpenZeppelin/openzeppelin-contracts, OpenZeppelin/solidity-docgen, OpenZeppelin/openzeppelin-upgrades and 87 other repositories

Contribution activity

March 2023

Created 28 commits in 6 repositories

Created a pull request in OpenZeppelin/openzeppelin-contracts that received 12 comments

Add AccessManager contracts

Implements a pattern of access control where permissions for a multi-contract system are managed in a central location (an AccessManager instance) …

+437 −0 • 12 comments

Opened 4 other pull requests in 2 repositories

OpenZeppelin/openzeppelin-contracts 3 merged

Run formal verification when label is added Mar 13
Credit YieldBox for virtual offset Mar 9
Throw error when requested specs are not found Mar 8

OpenZeppelin/openzeppelin-upgrades 1 merged

Fix constructor docs Mar 3

Reviewed 20 pull requests in 5 repositories

OpenZeppelin/openzeppelin-contracts 16 pull requests

Add AccessManager contracts Mar 16
Update certora/README.md Mar 15
Make AccessControlDefaultAdminRules delay configurable Mar 15
Add FV specs for TimelockController Mar 14
Formal verification for the Governor system Mar 10
Bump and pin Forge Std submodule Mar 9
Add FV specification for ERC20Wrapper Mar 8
Add FV specs for Initializable Mar 8
Add FV specs for Ownable and Ownable2Steps Mar 8
Add effect checks on the accesscontrol specs Mar 8
Clarify Governor Bravo compatibility scope Mar 7
Formal verification using Certora Mar 6
Add byteLengthWithFallback to ShortStrings Mar 6
Fix empty short string encoding Mar 3
Formal verification using Certora Mar 1
Fix an upgrade replay bug in Governor.propose Mar 1

OpenZeppelin/merkle-tree 1 pull request

Enable proof verification without full tree Mar 15

frangio/hardhat-linearization 1 pull request

Enable non-qualified names as input Mar 6

OpenZeppelin/contracts-wizard 1 pull request

Update OpenZeppelin Contracts to v4.8.2 Mar 3

OpenZeppelin/openzeppelin-upgrades 1 pull request

Remove test contracts from source code verification Mar 2

35 contributions in private repositories Mar 2 – Mar 15