Amxx

Follow

Hadrien Croubois Amxx

Follow

Normalien ▪︎ Distributed systems PhD ▪︎ Smart Contract Engineer @ OpenZeppelin ▪︎ Formerly Research Engineer @ iExec ▪︎ Ethereum Magician

474 followers · 1 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report Amxx

Report abuse

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

Report abuse

Pinned

iExecBlockchainComputing/PoCo Public

iExec Proof of Contribution - [hub + PoCo + marketplace] smart contracts

JavaScript 29 10
enslogin/sdk Public

SDK for integration en ENSLogin by web3 apps

TypeScript 7 4
enslogin/modules Public

Monorepo for provider modules

JavaScript 5 7
KitsuneWallet-ERC1836 Public

Kitsune Wallet (formerly known as Universally Upgradable Identity Proxy) - ERC1836

JavaScript 20 4
enslogin/login-with-ethereum Public

JavaScript 12 5
openzeppelin-contracts Public

Forked from OpenZeppelin/openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

JavaScript 13 6

777 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to OpenZeppelin/openzeppelin-contracts, OpenZeppelin/openzeppelin-subgraphs, p00ls/contracts and 45 other repositories

Contribution activity

March 2023

Created 13 commits in 3 repositories

Created 2 repositories

Amxx/cairo Rust Mar 19
Amxx/thirdweb-contracts Solidity Mar 15

Created a pull request in starkware-libs/cairo that received 15 comments

feature: add panic_with_felt252(felt252) to corelib

Some contract use assert to check a condition, and panic if the condition is not meet. There are cases where the panic is not conditional, or at le…

+28 −36 • 15 comments

Opened 19 other pull requests in 4 repositories

OpenZeppelin/openzeppelin-contracts 3 open 9 merged 3 closed

Cleanup timelockId on execution for gas refund Mar 14
Formal verification for the Governor system Mar 10
Add FV specification for ERC721 Mar 9
Add FV specification for ERC20Wrapper Mar 8
Add effect checks on the accesscontrol specs Mar 8
Add FV specs for TimelockController Mar 7
Add FV specs for Initializable Mar 7
Add FV specs for Ownable and Ownable2Steps Mar 7
Add FV specs for Initializable Mar 7
Add FV specs for Ownable and Ownable2Steps Mar 7
Add byteLengthWithFallback to ShortStrings Mar 3
Fix empty short string encoding Mar 3
Formal verification using Certora Mar 1
Formal verification using Certora Mar 1
Fix an upgrade replay bug in Governor.propose Mar 1

starkware-libs/cairo 1 closed 1 open

feature: add throw(felt252) to corelib Mar 20
Feature: add integer::max_u256() to corelib Mar 20

OpenZeppelin/cairo-contracts 1 open

ERC721 Mar 20

ethereum/EIPs 1 merged

Update EIP-1: Follow the style guide rules Mar 3

Reviewed 27 pull requests in 4 repositories

OpenZeppelin/openzeppelin-contracts 19 pull requests

Add FV specification for ERC721 Mar 17
Add AccessManager contracts Mar 17
Add Pausable FV Mar 16
Add FV specs for TimelockController Mar 13
Ability to set starting token id for ERC721Consecutive Mar 13
Formal verification for the Governor system Mar 10
Credit YieldBox for virtual offset Mar 9
Add FV specification for ERC20Wrapper Mar 8
Throw error when requested specs are not found Mar 8
Clarify Governor Bravo compatibility scope Mar 8
Add effect checks on the accesscontrol specs Mar 8
Add FV specs for Ownable and Ownable2Steps Mar 8
Add FV specs for Initializable Mar 8
Formal verification using Certora Mar 3
Add byteLengthWithFallback to ShortStrings Mar 3
Fix empty short string encoding Mar 3
docs: minor grammar fix Mar 2
Formal verification using Certora Mar 1
Make AccessControlDefaultAdminRules delay configurable Mar 1

OpenZeppelin/cairo-contracts 6 pull requests

starkware-libs/cairo 1 pull request

feature: add panic_with_felt252(felt252) to corelib Mar 21

OpenZeppelin/merkle-tree 1 pull request

Enable proof verification without full tree Mar 14

Created an issue in starkware-libs/cairo that received 2 comments

feat: better support of the "never" type.

Feature Request Describe the Feature Request Support ! as a type, as described here. As shown in the code above, this type is usefull in matching t…

1 of 3 tasks

• 2 comments